iiinova — where your digital self keeps evolving

noerdman/Rolf Drechsler, Uni Bremen/DFKI/truscova @noerdman.bsky.social · 11h

Aufbau des Standes abgeschlossen - morgen geht es los: Feierlichkeiten zum #TagDerDeutschenEinheit in #Bremen... und #noerdman ist auch mit dabei; besucht uns beim #Wissenschaftsforum noerdman.de/ausstellung_... #DFKI #comic #comics @unibremen.bsky.social @dfki.bsky.social #TdDE #tde #tde2026

000

noerdman/Rolf Drechsler, Uni Bremen/DFKI/truscova @noerdman.bsky.social · 25/09/2026

Mohamed Nadeem finished his PhD – congratulations! agra.informatik.uni-bremen.de/team_me.php?... @unibremen.bsky.social @dfki.bsky.social #PolyVer

000

noerdman/Rolf Drechsler, Uni Bremen/DFKI/truscova @noerdman.bsky.social · 24/09/2026

Proceedings of 9th #ICMETE2025 are now available; incl. our #keynote paper on "Polynomial Representation of Rounded Floating-Point Addition Using *PHDDs" link.springer.com/book/10.1007... @unibremen.bsky.social @dfki.bsky.social #PolyVer #FloatingPoint #addition #arithmetic

001

noerdman/Rolf Drechsler, Uni Bremen/DFKI/truscova @noerdman.bsky.social · 23/09/2026

Our paper in #SpringerNature Journal of Signal Processing Systems on "Hardware Non-Idealities and Reliability in RRAM Crossbar Neuromorphic Character Recognition Systems" is available #online link.springer.com/article/10.1... @unibremen.bsky.social #RRAM #IMC #InMemoryComputing @springernature.com

020

noerdman/Rolf Drechsler, Uni Bremen/DFKI/truscova @noerdman.bsky.social · 23/09/2026

#INFORMATIK2026 - Data- und Digital-Science-Community Workshop: Aktuelle Entwicklungen und Perspektiven (an Hochschulen) im Bereich Data und Digital Science ( #DaDiSC ) in #Dresden; mit Beiträgen von @dsc-ub.bsky.social dadisc.org/informatikfe... #INFORMATIK26 #DataScience @informatik.eurosky.social

021

noerdman/Rolf Drechsler, Uni Bremen/DFKI/truscova @noerdman.bsky.social · 21/09/2026

#IWSBP2026 - 17th International Workshop on Boolean Problems in #Bremen www.informatik.uni-bremen.de/iwsbp/ #IWSBP @unibremen.bsky.social

000

noerdman/Rolf Drechsler, Uni Bremen/DFKI/truscova @noerdman.bsky.social · 18/09/2026

#IWSBP2026 - keynote by Ahmed Hemani on "SiLago – A Lego Inspired Design Framework for CMOS and Beyond CMOS" at the 17th International Workshop on Boolean Problems informatik.uni-bremen.de/iwsbp/progra... @unibremen.bsky.social #LEGO #IWSBP

000

noerdman/Rolf Drechsler, Uni Bremen/DFKI/truscova @noerdman.bsky.social · 17/09/2026

#IWSBP2026 - keynote by Frank Sill Torres on "Resilience of Cyber-physical Systems" at the 17th International Workshop on Boolean Problems www.informatik.uni-bremen.de/iwsbp/progra... @unibremen.bsky.social @dfki.bsky.social @dlr-spaceagency.bsky.social @dlr-en.bsky.social #resilience #IWSBP

000

noerdman/Rolf Drechsler, Uni Bremen/DFKI/truscova @noerdman.bsky.social · 17/09/2026

#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 ieeexplore.ieee.org/document/116... @unibremen.bsky.social #PolyVer

000

noerdman/Rolf Drechsler, Uni Bremen/DFKI/truscova @noerdman.bsky.social · 17/09/2026

#IWSBP2026 - 17th International Workshop on Boolean Problems in #Bremen: Opening and Welcome www.informatik.uni-bremen.de/iwsbp/index.... @unibremen.bsky.social @dfki.bsky.social #IWSBP

000

noerdman/Rolf Drechsler, Uni Bremen/DFKI/truscova @noerdman.bsky.social · 17/09/2026

#QCE2026 - Till Schnittka presenting our paper on "Low T-Depth Clifford+T Decomposition of Large Toffoli Gates using Dynamic Phase Correction" at IEEE International Conference on Quantum Computing and Engineering qce.quantum.ieee.org/2026/ #IEEEQuantumWeek @unibremen.bsky.social #QCE

000

noerdman/Rolf Drechsler, Uni Bremen/DFKI/truscova @noerdman.bsky.social · 16/09/2026

Our paper on "LLM-enabled Behavior Driven Development Workflow for Formally Verified Hardware Designs" is available #online on #arxiv arxiv.org/abs/2609.15318 @unibremen.bsky.social @dfki.bsky.social #LLM #LLMs #BDD #formal #verification

020

noerdman/Rolf Drechsler, Uni Bremen/DFKI/truscova @noerdman.bsky.social · 15/09/2026

#QCE2026 - Abhoy Kole presenting our paper on "An Efficient Encoding for Subset Sum Problem Exploiting QFT-Based Arithmetic Operators" at IEEE International Conference on Quantum Computing and Engineering qce.quantum.ieee.org/2026/ #IEEEQuantumWeek #quantum @unibremen.bsky.social

010

noerdman/Rolf Drechsler, Uni Bremen/DFKI/truscova @noerdman.bsky.social · 14/09/2026

Our #REACT Network-wide Event is held in #Bremen: Self-AwaRe NEuromorphic ArChiTectures: Security, Reliability and Energy-Efficiency cordis.europa.eu/project/id/1... @unibremen.bsky.social

000

noerdman/Rolf Drechsler, Uni Bremen/DFKI/truscova @noerdman.bsky.social · 10/09/2026

#FDL2026 - our team from #AGRA @unibremen.bsky.social and @dfki.bsky.social #CPS at 29th Forum on specification and Design Languages ( #FDL ) in #Rome fdl-conference.com/index.html

020

noerdman/Rolf Drechsler, Uni Bremen/DFKI/truscova @noerdman.bsky.social · 10/09/2026

#FDL2026 - Milan Funck presenting our paper on "FormalHandshake — Open Source Design and Verification Flow for complex Hardware Circuits" at 29th Forum on specification and Design Languages (#FDL) in #Rome fdl-conference.com/index.html @dfki.bsky.social #formal #verification #OpenSource

030

noerdman/Rolf Drechsler, Uni Bremen/DFKI/truscova @noerdman.bsky.social · 10/09/2026

#FDL2026 - Jan Kleinekathöfer presenting our paper on "Polynomial Formal Verification of Structurally Simple Multipliers" at 29th Forum on specification and Design Languages ( #FDL ) in #Rome fdl-conference.com/index.html @unibremen.bsky.social #formal #verification #SCA #PolyVer

020

noerdman/Rolf Drechsler, Uni Bremen/DFKI/truscova @noerdman.bsky.social · 10/09/2026

#FDL2026 - Lennart Weingarten presenting our paper on "Scalable Verification for Dot-Product Architectures using Symbolic Computer Algebra" at 29th Forum on specification and Design Languages (#FDL) in #Rome www.fdl-conference.com/index.html @unibremen.bsky.social #formal #verification #SCA

020

noerdman/Rolf Drechsler, Uni Bremen/DFKI/truscova @noerdman.bsky.social · 10/09/2026

#FDL2026 - panel on "The Virtual Prototype (VP) is Dead – Why do we invest so much effort in something that is rarely used" at 29th Forum on specification and Design Languages ( #FDL ) in #Rome www.fdl-conference.com/program.html...

020

noerdman/Rolf Drechsler, Uni Bremen/DFKI/truscova @noerdman.bsky.social · 10/09/2026

#FDL2026 - Luca Müller presenting our paper on "Exploring the Parameter Space for Constrained Random Verification of RISC-V CPUs" at 29th Forum on specification and Design Languages (#FDL) in #Rome; paper available #online agra.informatik.uni-bremen.de/doc/konf/FDL... @unibremen.bsky.social #riscv

020

noerdman/Rolf Drechsler, Uni Bremen/DFKI/truscova @noerdman.bsky.social · 09/09/2026

Our paper on "SAQC: A SAT-Aware Compilation Framework for QAOA-Based Quantum Optimization" is available on #arxiv arxiv.org/abs/2609.05737 #SAT #quantum #QAOA @unibremen.bsky.social @dfki.bsky.social

030

noerdman/Rolf Drechsler, Uni Bremen/DFKI/truscova @noerdman.bsky.social · 08/09/2026

#MLCAD2026 - presentation of our paper "Reinforcement Learning Guided Boundary Activity Passing for Incremental Bounded Model Checking" at 8th ACM/IEEE International Symposium on Machine Learning for CAD ( #MLCAD ); paper available #online agra.informatik.uni-bremen.de/doc/konf/MLC...

011

noerdman/Rolf Drechsler, Uni Bremen/DFKI/truscova @noerdman.bsky.social · 08/09/2026

#COINS2026 - presentation of our paper "Towards Reliable LLM-Assisted Verification Artifact Generation in EDA" at the IEEE International Conference on Omni-Layer Intelligent Systems ( #COINS ); paper available #online agra.informatik.uni-bremen.de/doc/konf/COI... @unibremen.bsky.social #verification

010

noerdman/Rolf Drechsler, Uni Bremen/DFKI/truscova @noerdman.bsky.social · 07/09/2026

#COINS2026 - presentation of our paper "Finding a Needle in a Haystack: Scenario Coverage Verification for Single-UAV Missions Using SMT" at IEEE International Conference on Omni-Layer Intelligent Systems ( #COINS ); paper available #online agra.informatik.uni-bremen.de/doc/konf/COI...

000

noerdman/Rolf Drechsler, Uni Bremen/DFKI/truscova @noerdman.bsky.social · 03/09/2026

#DSD2026 - Luca Müller presenting our paper on "Scalability Matters: Future-Proof Formal Verification of a RISC-V Arithmetic Logic Unit" at the Euromicro Conference Series on Digital System Design (DSD); paper available #online agra.informatik.uni-bremen.de/doc/konf/DSD... @unibremen.bsky.social

000

noerdman/Rolf Drechsler, Uni Bremen/DFKI/truscova @noerdman.bsky.social · 03/09/2026

#DSD2026 - our team from #AGRA @unibremen.bsky.social and @dfki.bsky.social #CPS at the Euromicro Conference Series on Digital System Design (DSD) dsd-seaa.com/dsd2026/

000

noerdman/Rolf Drechsler, Uni Bremen/DFKI/truscova @noerdman.bsky.social · 03/09/2026

#DSD2026 - Saeideh Nabipour presenting our paper on "A Design Automation Framework for Approximate MAGIC-Based Dadda Tree Multipliers in Memristive In-Memory Computing" at the Euromicro Conference Series on Digital System Design (DSD) dsd-seaa.com/dsd2026/ @unibremen.bsky.social @dfki.bsky.social

000

noerdman/Rolf Drechsler, Uni Bremen/DFKI/truscova @noerdman.bsky.social · 02/09/2026

#DSD2026 - on my way to Krakow for 29th Euromicro Conference Series on Digital System Design ( #DSD ) 2026 dsd-seaa.com/dsd2026/ @unibremen.bsky.social

000

noerdman/Rolf Drechsler, Uni Bremen/DFKI/truscova @noerdman.bsky.social · 01/09/2026

Informatik (Bachelor) an der #UniBremen: Für das Wintersemester 2026/27 ist die Einschreibung vom 01. – 30. September 2026 möglich www.uni-bremen.de/studium/orie... #Informatik #Studium #Lehre #Bremen @unibremen.bsky.social

uni-bremen.de

Informatik (Bachelor) - Universität Bremen

DBS

000

noerdman/Rolf Drechsler, Uni Bremen/DFKI/truscova @noerdman.bsky.social · 27/08/2026

Our paper in IEEE Embedded Systems Letters on "PolySAT: A Fast Cache-SAT Implementation for Solving Boolean Problems with Parameterized Complexity" is available #online ieeexplore.ieee.org/document/116... @unibremen.bsky.social @dfki.bsky.social #PolyVer #verification #FormalVerification #SAT

020