| 2025 | FDL | Designing Imperfect Cyber-Physical Systems. | Samarjit Chakraborty, Klaus Schneider |
| 2025 | FDL | Digital Twin and Digital Thread for System Security and Performance applied to an Electrical Vehicle Charging Use Case. | Hagen Heermann, Johannes Koch, Christoph Grimm, Daniela Genius, Ludovic Apvrille, Ahlem Mifdaoui, Klaus Schneider |
| 2025 | FDL | Performance Modeling and Analysis of Exposed Datapath Architectures. | Klaus Schneider, Demyana Selim, Nadine Kercher |
| 2023 | COMPSAC | Program Balancing in Compilation for Buffered Hybrid Dataflow Processors. | Anoop Bhagyanath, Klaus Schneider |
| 2023 | FDL | Formal Methods-Based Optimization of Dataflow Models with Translation to Synchronous Models. | Marcel Christian Werner, Klaus Schneider |
| 2023 | MEMOCODE | Allocation and Scheduling of Dataflow Graphs on Hybrid Dataflow/von Neumann Architectures. | Anoop Bhagyanath, Nadine Kercher, Klaus Schneider |
| 2023 | MEMOCODE | Towards a Basis for Endochronous Functions in Dataflow Process Networks. | Daniel Theis, Klaus Schneider |
| 2023 | MICRO | Network-On-Chip Performance Evaluation by Synchronous Circuit Simulation. | Leon Werner, Julius Roob, Klaus Schneider |
| 2022 | FDL | From IEC 61131-3 Function Block Diagrams to Sequentially Constructive Statecharts. | Marcel Christian Werner, Klaus Schneider |
| 2021 | COMPSAC | Synthesis of Heterogeneous Dataflow Models from Synchronous Specifications. | Omair Rafique, Yu Bai, Klaus Schneider, Guangxi Yan |
| 2021 | DATE | A Model-based Design Flow for Asynchronous Implementations from Synchronous Specifications. | Yu Bai, Omair Rafique, Klaus Schneider |
| 2021 | DSD | Efficient Implementation of Heterogeneous Dataflow Models using Synchronous IO Patterns. | Omair Rafique, Yu Bai, Klaus Schneider, Guangxi Yan |
| 2021 | MEMOCODE | Translating structured sequential programs to dataflow graphs. | Klaus Schneider |
| 2021 | MEMOCODE | Translation of continuous function charts to imperative synchronous quartz programs. | Marcel Christian Werner, Klaus Schneider |
| 2021 | MODELSWARD | Integrating Kahn Process Networks as a Model of Computation in an Extendable Model-based Design Framework. | Omair Rafique, Klaus Schneider |
| 2020 | DSD | SHeD: A Framework for Automatic Software Synthesis of Heterogeneous Dataflow Process Networks. | Omair Rafique, Klaus Schneider |
| 2020 | INFOCOM | Hop-by-Hop Multipath Routing: Choosing the Right Nexthop Set. | Klaus Schneider, Beichuan Zhang, Lotfi Benmohamed |
| 2020 | SCOPES | Compiling synchronous languages to optimal move code for exposed datapath architectures. | Marc Dahlem, Klaus Schneider |
| 2019 | DSD | Generating Efficient Parallel Code from the RVC-CAL Dataflow Language. | Omair Rafique, Florian Krebs, Klaus Schneider |
| 2019 | ICA3PP | Flexible Data Flow Architecture for Embedded Hardware Accelerators. | Jens Froemmer, Nico Bannow, Axel Aue, Christoph Grimm, Klaus Schneider |
| 2019 | MODELS | Automatic Software Synthesis of Static and Dynamic Dataflow Process Networks. | Omair Rafique, Klaus Schneider |
| 2019 | MODELSWARD | Evaluating OpenCL as a Standard Hardware Abstraction for a Model-based Synthesis Framework: A Case Study. | Omair Rafique, Klaus Schneider |
| 2018 | MEMOCODE | Optimal Self-Routing Split Modules for Radix-based Interconnection Networks. | Tripti Jain, Klaus Schneider |
| 2017 | LPNMR | Automatic Synthesis of Optimal-Size Concentrators by Answer Set Programming. | Marc Dahlem, Tripti Jain, Klaus Schneider, Michael Gillmann |
| 2017 | MICRO | An Efficient Self-Routing and Non-Blocking Interconnection Network on Chip. | Tripti Jain, Klaus Schneider, Ankesh Jain |
| 2016 | ICSE | Evaluating the benefits of systematic project management in large public sector projects. | Liliana Guzmn, Silke Steinbach, Philipp Diebold, Thomas Zehler, Klaus Schneider, Matthias Habbe |
| 2016 | MEMOCODE | Optimal compilation for exposed datapath architectures with buffered processing units by SAT solvers. | Anoop Bhagyanath, Klaus Schneider |
| 2016 | MEMOCODE | Verifying the concentration property of permutation networks by BDDs. | Tripti Jain, Klaus Schneider |
| 2016 | MEMOCODE | Control-flow guided property directed reachability for imperative synchronous programs. | Xian Li, Klaus Schneider |
| 2016 | SCOPES | Introducing MoC Drivers for the Integration of Sensor-Actuator Behaviors in Model-Based Design Flows of Embedded Systems. | Omair Rafique, Klaus Schneider |
| 2016 | VECoS | Specifying Weak Memory Consistency with Temporal Logic. | Maximilian Senftleben, Klaus Schneider |
| 2015 | MEMOCODE | Verification condition generation for hybrid systems. | Xian Li, Klaus Schneider |
| 2015 | RTSS | A Time-Predictable Model of Computation. | Anoop Bhagyanath, Tripti Jain, Klaus Schneider |
| 2014 | DATE | Isochronous networks by construction. | Yu Bai, Klaus Schneider |
| 2014 | FCCM | A New Algorithm for Carry-Free Addition of Binary Signed-Digit Numbers. | Klaus Schneider, Adrian Willenbcher |
| 2014 | MEMOCODE | From clock-driven to data-driven models. | Yu Bai, Klaus Schneider, Nikita Bhardwaj, Badarinath Katti, Tania Shazadi |
| 2014 | MODELSWARD | Using the Base Semantics given by fUML for Verification. | Alessandro Gerlinger Romero, Klaus Schneider, Maurcio Gonalves Vieira Ferreira |
| 2014 | PDP | Reducing the Communication of Message-Passing Systems Synthesized from Synchronous Programs. | Daniel Baudisch, Yu Bai, Klaus Schneider |
| 2014 | SOFSEM | Integrating UML Composite Structures and fUML. | Alessandro Gerlinger Romero, Klaus Schneider, Maurcio Gonalves Vieira Ferreira |
| 2013 | DSD | Automatic Hard Block Inference on FPGAs. | Adrian Willenbcher, Klaus Schneider |
| 2013 | FedCSIS | Interactive Verification of Cyber-physical Systems: Interfacing Averest and KeYmaera. | Xian Li, Kerstin Bauer, Klaus Schneider |
| 2013 | FedCSIS | Towards the Applicability of Alf to Model Cyber-Physical Systems. | Alessandro Gerlinger Romero, Klaus Schneider, Maurcio Gonalves Vieira Ferreira |
| 2013 | IFM | Solving Games Using Incremental Induction. | Andreas Morgenstern, Manuel Gesell, Klaus Schneider |
| 2013 | LFCS | Constructive Polychronous Systems. | Jean-Pierre Talpin, Jens Brandt, Mike Gemnde, Klaus Schneider, Sandeep K. Shukla |
| 2013 | MEMOCODE | Translating synchronous guarded actions to interleaved guarded actions. | Manuel Gesell, Klaus Schneider |
| 2013 | RTCSA | Targeting different abstraction layers by model-based design methods for embedded systems: A case study. | Omair Rafique, Manuel Gesell, Klaus Schneider |
| 2013 | SCOPES | Generating hardware specific code at different abstraction levels using Averest. | Omair Rafique, Manuel Gesell, Klaus Schneider |
| 2013 | SEFM | Lifting Verification Results for Preemption Statements. | Manuel Gesell, Andreas Morgenstern, Klaus Schneider |
| 2012 | HPCC | Efficient Handling of Arrays in Dataflow Process Networks. | Daniel Baudisch, Jens Brandt, Klaus Schneider |
| 2012 | LPAR | An Asymptotically Correct Finite Path Semantics for LTL. | Andreas Morgenstern, Manuel Gesell, Klaus Schneider |
| 2012 | MEMOCODE | Preservation of LTL properties in desynchronized systems. | Yu Bai, Jens Brandt, Klaus Schneider |
| 2012 | MEMOCODE | Interactive verification of synchronous systems. | Manuel Gesell, Klaus Schneider |
| 2011 | FDL | Integrating system descriptions by clocked guarded actions. | Jens Brandt, Mike Gemunde, Klaus Schneider, Sandeep K. Shukla, Jean-Pierre Talpin |
| 2011 | FDL | Schizophrenia and causality in the context of refined clocks. | Mike Gemunde, Jens Brandt, Klaus Schneider |
| 2011 | ICCD | Welcome to ICCD 2011! | Georgi Gaydadjiev, Sofine Tahar, Greg Byrd, Klaus Schneider |
| 2011 | KES | Safe Automotive Software. | Karl Heckemann, Manuel Gesell, Thomas Pfister, Karsten Berns, Klaus Schneider, Mario Trapp |
| 2011 | PDCAT | Translating Synchronous Systems to Data-Flow Process Networks. | Daniel Baudisch, Jens Brandt, Klaus Schneider |
| 2011 | SCOPES | SMT-based optimization for synchronous programs. | Yu Bai, Jens Brandt, Klaus Schneider |
| 2010 | DATE | Multithreaded code from synchronous programs: Extracting independent threads for OpenMP. | Daniel Baudisch, Jens Brandt, Klaus Schneider |
| 2010 | MEMOCODE | Compilation of imperative synchronous programs with refined clocks. | Mike Gemunde, Jens Brandt, Klaus Schneider |
| 2010 | MEMOCODE | Message from the chairs. | Klaus Schneider, Barbara Jobstmann, Luca P. Carloni, Jens Brandt |
| 2009 | CSEDU | Online Exercise System - A Web-based Tool for Administration and Automatic Correction of Exercises. | Daniel Baudisch, Manuel Gesell, Klaus Schneider |
| 2009 | DATE | Separate compilation and execution of imperative synchronous modules. | Eric Vecchi, Jean-Pierre Talpin, Klaus Schneider |
| 2009 | MEMOCODE | Static data-flow analysis of synchronous programs. | Jens Brandt, Klaus Schneider |
| 2009 | SCOPES | Separate compilation for synchronous programs. | Jens Brandt, Klaus Schneider |
| 2009 | WoLLIC | Property Driven Three-Valued Model Checking on Hybrid Automata. | Kerstin Bauer, Raffaella Gentilini, Klaus Schneider |
| 2008 | VMCAI | From LTL to Symbolically Represented Deterministic Automata. | Andreas Morgenstern, Klaus Schneider |
| 2007 | ACC | A Nonlinear Control Strategy for Boom Cranes in Radial Direction. | Jrg Neupert, Tobias Mahl, Oliver Sawodny, Klaus Schneider |
| 2007 | FDL | How Different are Esterel and SystemC?. | Jens Brandt, Klaus Schneider |
| 2007 | ICINCO | Formal verification of safety behaviours of the outdoor robot ravon. | Martin Proetzsch, Karsten Berns, Tobias Schuele, Klaus Schneider |
| 2007 | LFCS | Successive Abstractions of Hybrid Automata for Monotonic CTL Model Checking. | Raffaella Gentilini, Klaus Schneider, Bud Mishra |
| 2006 | FDL | System Description Aspects as Syntactic Sugar. | Jens Brandt, Klaus Schneider |
| 2006 | ICSE | Verifying the adaptation behavior of embedded systems. | Klaus Schneider, Tobias Schle, Mario Trapp |
| 2006 | MEMOCODE | Efficient code generation from synchronous programs. | Klaus Schneider, Jens Brandt, Eric Vecchi |
| 2005 | EUC | Dependable Polygon-Processing Algorithms for Safety-Critical Embedded Systems. | Jens Brandt, Klaus Schneider |
| 2005 | ICFEM | Using Three-Valued Logic to Specify and Verify Algorithms of Computational Geometry. | Jens Brandt, Klaus Schneider |
| 2005 | ICINCO | Synthesizing deterministic controllers in supervisory control. | Andreas Morgenstern, Klaus Schneider |
| 2005 | MEMOCODE | Three-valued logic in bounded model checking. | Tobias Schle, Klaus Schneider |
| 2004 | CASES | Causality analysis of synchronous programs with delayed actions. | Klaus Schneider, Jens Brandt, Tobias Schle |
| 2004 | DAC | Abstraction of assembler programs for symbolic worst case execution time analysis. | Tobias Schle, Klaus Schneider |
| 2004 | MEMOCODE | Bounded model checking of infinite state systems: exploiting the automata hierarchy. | Tobias Schle, Klaus Schneider |
| 2004 | SEFM | Global vs. Local Model Checking: A Comparison of Verification Techniques for Infinite State Systems. | Tobias Schle, Klaus Schneider |
| 2003 | DATE | Exact High Level WCET Analysis of Synchronous Programs by Symbolic State Space Exploration. | George Logothetis, Klaus Schneider |
| 2003 | FDL | Exact Low-Level Runtime Analysis of Synchronous Programs for Formal Verification of Real-Time Systems. | George Logothetis, Klaus Schneider, C. Metzler |
| 2003 | ICRA | Control design for the rotation of crane loads for boom cranes. | Oliver Sawodny, Alexander Hildebrandt, Klaus Schneider |
| 2003 | MEMOCODE | Exact Runtime Analysis Using Automata-Based Symbolic Simulation. | Tobias Schle, Klaus Schneider |
| 2003 | MEMOCODE | A Generalised Approach to Supervisor Synthesis. | Roberto Ziller, Klaus Schneider |
| 2003 | RTSS | Generating Formal Models for Real-Time Verification by Exact Low-Level Runtime Analysis of Synchronous Programs. | George Logothetis, Klaus Schneider, C. Metzler |
| 2002 | DATE | Extending Synchronous Languages for Generating Abstract Real-Time Models. | George Logothetis, Klaus Schneider |
| 2001 | CASES | A new method for compiling schizophrenic synchronous programs. | Klaus Schneider, Michael Wenz |
| 2001 | ECRTS | A New Approach to the Specification and Verification of Real-Time Systems. | George Logothetis, Klaus Schneider |
| 2001 | LPAR | Improving Automata Generation for Linear Temporal Logic by Considering the Automaton Hierarchy. | Klaus Schneider |
| 2001 | TIME | Symbolic Model Checking of Real-Time Systems. | George Logothetis, Klaus Schneider |
| 2000 | DATE | Abstraction from Counters: An Application on Real-Time Systems. | George Logothetis, Klaus Schneider |
| 1999 | DATE | Verifying Imprecisely Working Arithmetic Circuits. | Michaela Huhn, Klaus Schneider, Thomas Kropf, George Logothetis |
| 1998 | DATE | Formal Specification in VHDL for Hardware Verification. | Ralf Reetz, Klaus Schneider, Thomas Kropf |
| 1998 | FMCAD | Model Checking on Product Structures. | Klaus Schneider |
| 1996 | FMCAD | A Unified Approach for Combining Different Formalisms for Hardware Verification. | Klaus Schneider, Thomas Kropf |
| 1995 | VLSID | Formal synthesis of circuits with a simple handshake protocol. | Ramayya Kumar, Thomas Kropf, Klaus Schneider |
| 1992 | CADE | The FAUST - Prover. | Klaus Schneider, Ramayya Kumar, Thomas Kropf |
| 1991 | CAV | Automating Most Parts of Hardware Proofs in HOL. | Klaus Schneider, Ramayya Kumar, Thomas Kropf |