Top Tweets for #Polyver
Proceedings of 9th #ICMETE2025 are now available; incl. our #keynote paper on "Polynomial Representation of Rounded Floating-Point Addition Using *PHDDs" https://t.co/mCY3lOKr0q @agra_uni_bremen #PolyVer #FloatingPoint #addition #arithmetic
#IWSBP2026 - presentation of our paper on "PolySAT: A Fast Cache-SAT Implementation for Solving Boolean Problems with Parameterized Complexity" at the 17th International Workshop on Boolean Problems; paper available #online https://t.co/1Gk7yLqZsc @agra_uni_bremen #PolyVer
Our paper in IEEE Embedded Systems Letters on "PolySAT: A Fast Cache-SAT Implementation for Solving Boolean Problems with Parameterized Complexity" is available #online https://t.co/1Gk7yLqZsc @agra_uni_bremen #PolyVer #verification #FormalVerification #SAT #PolySAT
Our paper in Microprocessors and Microsystems on "Synthesis for testability and verifiability: Polynomial formal verification and test pattern generation for KFDD circuits" is now available #online https://t.co/SYq1pAWcW1 @agra_uni_bremen #test #verification #PolyVer
#VTS2026 - Luca Müller presents our paper on "Automation of Polynomial Formal Verification using Large Language Models" at IEEE VLSI Test Symposium 2026; paper is available #online https://t.co/3H46hgZ7AL @agra_uni_bremen @mdothassan #PolyVer #LLMs
#ISQED2026 - Luca Müller from @agra_uni_bremen and #DFKI presents on "Cutwidth Decomposition on Circuit-AIGs: Taming Verification Complexity of Arithmetic Circuits"; paper is available #online https://t.co/6QXPrfPk50 #verification #arithmetic #PolyVer
#MBMV2026 - team of @agra_uni_bremen at 29. Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV 2026) in #Würzburg https://t.co/dFGG0seWWG #CAUSE #PolyVer #verification
Our paper in ACM Transactions on Design Automation of Electronic Systems (#TODAES) on "Linear Formal Verification of Sequential Circuits using Weighted-AIGs" is available #online as #OpenAccess https://t.co/gUsWNVijun @agra_uni_bremen #PolyVer #verification @TheOfficialACM
Our paper in #ACM Transactions on Design Automation of Electronic Systems (#TODAES) on "Advanced And-Inverter Graph Decomposition Technique for Reducing Circuit Complexity" is available #online as #OpenAccess https://t.co/QjpvOoXQY4 #PolyVer @TheOfficialACM #verification
Rolf Drechsler als Keynote Speaker auf der #INCOWOCO2025. Thema "Polynomial Formal Verification: Towards Efficient and Provable System Design" auf der 2025 IEEE International Conference for Women in Computing (#INCOWOCO).
*
https://t.co/F5wAEwIxRM
*
@Rolf_Drechsler #PolyVer
Kamalika Datta and Lennart Weingarten präsentieren unsere Paper auf der #DTTIS2025
*
Programm: https://t.co/ToLOwKKi6i
*
#verification #synthesis #Plim #PolyVer
#DSD2025 - Jan Kleinekathöfer from @agra_uni_bremen presenting our paper on "Automatic Polynomial Formal Verification of a Floating Point Multiplier" https://t.co/loRjv6laSO @DSC_unibremen #PolyVer #verification
#DSD2025 - Martha Schnieber from @agra_uni_bremen presenting our paper on "Synthesis for Testability: Polynomial Test Pattern Generation for KFDD Circuits"; paper is available #online https://t.co/POBUupAavh @DSC_unibremen
#PolyVer #testing #testability
Feastival favourite footwear, sorted. The #Polyver SL25 Chelsea boot - waterproof, lightweight, built for all-weather dancing in fields. Congrats to the winners, your pairs are signed and ready to roll.
Our paper in IEEE Transactions on Nanotechnology on "Polynomial Formal Verification of a RISC-V Processor" is available #online https://t.co/sV05laxQos @agra_uni_bremen @DSC_unibremen #verification #PolynomialFormalVerification #PolyVer #riscv #risc @risc_v
Final version of our paper in Information Processing Letters on "Lower Bound Proof for the Size of BDDs representing a Shifted Addition" now available #online as #OpenAccess https://t.co/oDUaOVaKGp @agra_uni_bremen @DFKI @DSC_unibremen #verification #PolyVer @ElsevierConnect
#ISED2024 - #keynote on "Towards Polynomial Formal Verification of Neuromorphic Architectures" at the International Conference on Intelligent Systems and Embedded Design at NIT Rourkela, #India
https://t.co/RPnFxeo30U @agra_uni_bremen @DSC_unibremen @DFKI #PolyVer #verification
#ATS2024 - delivering #keynote on "The Future is Hybrid: Next Generation Data Structures for Formal Verification" at The 33rd IEEE Asian Test Symposium ATS-2024 https://t.co/ZvamN4qJo9 @agra_uni_bremen @DSC_unibremen @DFKI #verification #PolyVer
Very happy that our paper has been accepted for publication in Philosophical Transactions of the Royal Society A - established in 1665 and the oldest scientific journal in the English-speaking world https://t.co/TOhywrLcOb @agra_uni_bremen @DSC_unibremen @DFKI #PolyVer
#RSP2023 - our paper published at the 34th International Workshop on Rapid System Prototyping on "#PolynomialFormalVerification exploiting Constant Cutwidth" is now available #online as #freeaccess https://t.co/oXugli61xG @agra_uni_bremen @DSC_unibremen @DFKI #PolyVer
Most Popular Users
Elon Musk 
@elonmusk
241.7M followers
Barack Obama
@barackobama
119M followers
Cristiano Ronaldo
@cristiano
114.4M followers
Donald J. Trump
@realdonaldtrump
111.9M followers
Narendra Modi
@narendramodi
107.2M followers
Rihanna
@rihanna
98.7M followers
NASA
@nasa
92.4M followers
Justin Bieber
@justinbieber
91.8M followers
KATY PERRY
@katyperry
90M followers
Taylor Swift
@taylorswift13
83.9M followers
Lady Gaga
@ladygaga
75.4M followers
Virat Kohli
@imvkohli
73.3M followers
Kim Kardashian
@kimkardashian
70.9M followers
YouTube
@youtube
68.8M followers
Neymar Jr
@neymarjr
66.4M followers
Bill Gates
@billgates
65.2M followers
Selena Gomez
@selenagomez
63M followers
The Ellen Show
@theellenshow
62.3M followers
CNN
@cnn
61.8M followers
X
@x
60.7M followers