Top Tweets for #DateConf
#DATE2025 - team from #Bremen at #DATEconf in #Lyon
@agra_uni_bremen @MohamedNad54528 @DFKI @DSC_unibremen @DateConference

#DATE2024 - Lennart Weingarten from @agra_uni_bremen presenting on "Complete and Efficient Verification for a RISC-V Processor using Formal Verification" https://t.co/98fQjaDAWU @DFKI @DSC_unibremen #dateconf @DateConference #riscv @risc_v #PolynomialFormalVerification #PolyVer

#DATE2024 - Sajjad Parvin from @agra_uni_bremen presenting on "Hidden Cost of Circuit Design with RFETs" https://t.co/7KSzS4Vfow @DFKI @DSC_unibremen
#dateconf @DateConference @SstuParstu

#DATE2024 - Khushboo Qayyum from @DFKI #CPS presenting on "LLM-guided Formal Verification Coupled with Mutation Testing" https://t.co/DmgBnZuDQ9 @mdothassan @agra_uni_bremen #LLMs #ChatGPT #DeepLearning #testing #dateconf @DateConference

#DATE2024 - our team from @agra_uni_bremen and @DFKI #CPS at #dateconf in #Valencia
@DateConference @DSC_unibremen @mdothassan @SstuParstu

Today at #DATE2024 Christoph Lüth will present a poster about "Evaluating an open-source hardware approach from HDL to GDS for a security chip design - A review of the final stage of project HEP".
*
Programme: https://t.co/QATyuivetO
*
#design #automation #test @DateConference

#DATE2024 - books on display at the booth of #Springer at #dateconf
@agra_uni_bremen @DFKI @DSC_unibremen @rbrtwll @mdothassan @Daniel_Grosse @SpringerCompSci @DateConference

#DATE2024 - Workshop on #NanoSecurity: From Nano-Electronics to Secure Systems; lot of interest in presentations from @agra_uni_bremen/@DFKI#CPS https://t.co/1bdMxa9mGs #dateconf #security @DSC_unibremen @SstuParstu

#DATE2024 - Sajjad Parvin from @agra_uni_bremen presenting at #PhD Forum of @DateConference
@SstuParstu #dateconf #NanoSecurity #security

#DATE2024 - presentation by Caroline Dominik showing that #PolynomialFormalVerification can be carried out not only for #combinational but also for #sequential circuits
@agra_uni_bremen @DFKI @DSC_unibremen #PolyVer #dateconf @DateConference

Today at #DATE2024 Caroline Dominik will talk about "Polynomial Formal Verification of Sequential Circuits".
*
Paper: https://t.co/M16aGQ5gIn
*
#conference #design #automation #test @DateConference

#DATE2024 - Abhoy Kole presenting our paper on "Dynamic Realization of Multiple Control Toffoli Gate" - a Best Paper Award candidate https://t.co/CEgzu9y6Vm
@agra_uni_bremen @DFKI @DSC_unibremen #dateconf @DateConference

Tomorrow at #DATE2024 Abhoy Kole will talk about "Dynamic Realization of Multiple Control Toffoli Gate".
*
Paper: https://t.co/TPIGNev6b7
*
#conference #design #automation #test @DateConference



#DATE2024 - very happy to see that our paper on "Dynamic Realization of Multiple Control Toffoli Gate" accepted for @DateConference 2024 has been nominated as a #BestPaperAwardCandidate
#dateconf @agra_uni_bremen @DFKI @DSC_unibremen

Last Seen Hashtags on Sotwe
Trends for you
Most Popular Users

Elon Musk 
@elonmusk
240.7M followers

Barack Obama 
@barackobama
119.2M followers

Donald J. Trump 
@realdonaldtrump
111.7M followers

Cristiano Ronaldo 
@cristiano
110.8M followers

Narendra Modi 
@narendramodi
107M followers

Rihanna 
@rihanna
97.7M followers

NASA 
@nasa
92.2M followers

Justin Bieber 
@justinbieber
90.9M followers

KATY PERRY 
@katyperry
87.8M followers

Taylor Swift 
@taylorswift13
81.6M followers

Lady Gaga 
@ladygaga
73.1M followers

Virat Kohli 
@imvkohli
70M followers

Kim Kardashian 
@kimkardashian
69.8M followers

YouTube 
@youtube
68.7M followers

Bill Gates 
@billgates
63.9M followers

Neymar Jr 
@neymarjr
62.8M followers

The Ellen Show
@theellenshow
62.4M followers

CNN 
@cnn
61.9M followers

Selena Gomez 
@selenagomez
60.8M followers

X 
@x
60.8M followers












