Klaus Schneider

239 papers A* 2A 12B 16C 56Misc 6Journal 24Unranked 116

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	Criteria-Based Merging of Dynamic CAL Actors. WiPiEC Journal Florian Krebs, Klaus Schneider
2025	C	`conf`	Designing Imperfect Cyber-Physical Systems. FDL Samarjit Chakraborty, Klaus Schneider
2025	C	`conf`	Digital Twin and Digital Thread for System Security and Performance applied to an Electrical Vehicle Charging Use Case. FDL Hagen Heermann, Johannes Koch, Christoph Grimm, Daniela Genius, Ludovic Apvrille, Ahlem Mifdaoui, Klaus Schneider
2025	—	`conf`	Normal Forms and Decompositions of Monotone Ternary Functions. ISMVL Klaus Schneider, Nadine Kercher
2025	C	`conf`	Performance Modeling and Analysis of Exposed Datapath Architectures. FDL Klaus Schneider, Demyana Selim, Nadine Kercher
2023	C	`conf`	Allocation and Scheduling of Dataflow Graphs on Hybrid Dataflow/von Neumann Architectures. MEMOCODE Anoop Bhagyanath, Nadine Kercher, Klaus Schneider
2023	J	`jnl`	Consistency Constraints for Mapping Dataflow Graphs to Hybrid Dataflow/von Neumann Architectures. ACM Trans. Embed. Comput. Syst. Klaus Schneider, Anoop Bhagyanath
2023	C	`conf`	Formal Methods-Based Optimization of Dataflow Models with Translation to Synchronous Models. FDL Marcel Christian Werner, Klaus Schneider
2023	—	`conf`	Network-On-Chip Performance Evaluation by Synchronous Circuit Simulation. NoCArc@MICRO Leon Werner, Julius Roob, Klaus Schneider
2023	B	`conf`	Program Balancing in Compilation for Buffered Hybrid Dataflow Processors. COMPSAC Anoop Bhagyanath, Klaus Schneider
2023	—	`conf`	Towards Buffers as a Scalable Alternative to Registers for Processor-Local Memory. MBMV Julius Roob, Anoop Bhagyanath, Klaus Schneider
2023	C	`conf`	Towards a Basis for Endochronous Functions in Dataflow Process Networks. MEMOCODE Daniel Theis, Klaus Schneider
2022	—	`conf`	Buffer Allocation for Exposed Datapath Architectures. MCSoC Anoop Bhagyanath, Klaus Schneider
2022	B	`conf`	Code generation criteria for buffered exposed datapath architectures from dataflow graphs. LCTES Klaus Schneider, Anoop Bhagyanath, Julius Roob
2022	—	`conf`	Data-aware Global Scheduling of Dataflow Process Networks. MBMV Omair Rafique, Klaus Schneider
2022	C	`conf`	From IEC 61131-3 Function Block Diagrams to Sequentially Constructive Statecharts. FDL Marcel Christian Werner, Klaus Schneider
2022	J	`jnl`	Synthesis of Parallel Software from Heterogeneous Dataflow Models. SN Comput. Sci. Omair Rafique, Klaus Schneider
2022	—	`conf`	Virtual Buffers for Exposed Datapath Architectures. MBMV Klaus Schneider, Anoop Bhagyanath, Julius Roob
2021	A	`conf`	A Model-based Design Flow for Asynchronous Implementations from Synchronous Specifications. DATE Yu Bai, Omair Rafique, Klaus Schneider
2021	C	`conf`	Efficient Implementation of Heterogeneous Dataflow Models using Synchronous IO Patterns. DSD Omair Rafique, Yu Bai, Klaus Schneider, Guangxi Yan
2021	C	`conf`	Integrating Kahn Process Networks as a Model of Computation in an Extendable Model-based Design Framework. MODELSWARD Omair Rafique, Klaus Schneider
2021	B	`conf`	Synthesis of Heterogeneous Dataflow Models from Synchronous Specifications. COMPSAC Omair Rafique, Yu Bai, Klaus Schneider, Guangxi Yan
2021	C	`conf`	Translating structured sequential programs to dataflow graphs. MEMOCODE Klaus Schneider
2021	C	`conf`	Translation of continuous function charts to imperative synchronous quartz programs. MEMOCODE Marcel Christian Werner, Klaus Schneider
2020	—	`conf`	Area Estimation Framework for Digital Hardware Design using Machine Learning. MBMV Jens Froemmer, Yara Gowayed, Nico Bannow, Wolfgang Kunz, Christoph Grimm, Klaus Schneider
2020	C	`conf`	Compiling synchronous languages to optimal move code for exposed datapath architectures. SCOPES Marc Dahlem, Klaus Schneider
2020	—	`conf`	Employing OpenCL as a Standard Hardware Abstraction in a Distributed Embedded System: A Case Study. MECO Omair Rafique, Klaus Schneider
2020	—	`conf`	Properties of Invariants and Induction Lemmata. MBMV Martin Köhler, Felix Hasselwander, Klaus Schneider
2020	C	`conf`	SHeD: A Framework for Automatic Software Synthesis of Heterogeneous Dataflow Process Networks. DSD Omair Rafique, Klaus Schneider
2019	—	`conf`	A Formal Semantics of Exposed Datapath Architectures with Buffered Processing Units. ACSD Markus Anders, Klaus Schneider
2019	—	`conf`	Automatic Software Synthesis of Static and Dynamic Dataflow Process Networks. MDE4IoT/ModComp@MoDELS Omair Rafique, Klaus Schneider
2019	C	`conf`	Evaluating OpenCL as a Standard Hardware Abstraction for a Model-based Synthesis Framework: A Case Study. MODELSWARD Omair Rafique, Klaus Schneider
2019	—	`conf`	Flexible Data Flow Architecture for Embedded Hardware Accelerators. ICA3PP (1) Jens Froemmer, Nico Bannow, Axel Aue, Christoph Grimm, Klaus Schneider
2019	C	`conf`	Generating Efficient Parallel Code from the RVC-CAL Dataflow Language. DSD Omair Rafique, Florian Krebs, Klaus Schneider
2019	J	`jnl`	Guest Editorial: Special Issue of ACM TECS on the ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE 2017). ACM Trans. Embed. Comput. Syst. Patricia Derler, Klaus Schneider, Jean-Pierre Talpin
2019	—	`conf`	Inductive Proof Rules Beyond Safety Properties. MBMV Martin Köhler, Klaus Schneider
2018	—	`conf`	A Model-based Synthesis Framework for the Execution of Dynamic Dataflow Actors. IINTEC Omair Rafique, Klaus Schneider
2018	—	`conf`	Are Synchronous Programs Logic Programs? Principled Software Development Klaus Schneider, Marc Dahlem
2018	—	`conf`	On Memory Optimal Code Generation for Exposed Datapath Architectures with Buffered Processing Units. ACSD Markus Anders, Anoop Bhagyanath, Klaus Schneider
2018	—	`conf`	Operational Characterization of Weak Memory Consistency Models. ARCS Maximilian Senftleben, Klaus Schneider
2018	J	`jnl`	Optimal Scheduling for Exposed Datapath Architectures with Buffered Processing Units by ASP. CoRR Marc Dahlem, Anoop Bhagyanath, Klaus Schneider
2018	J	`jnl`	Optimal Scheduling for Exposed Datapath Architectures with Buffered Processing Units by ASP. Theory Pract. Log. Program. Marc Dahlem, Anoop Bhagyanath, Klaus Schneider
2018	C	`conf`	Optimal Self-Routing Split Modules for Radix-based Interconnection Networks. MEMOCODE Tripti Jain, Klaus Schneider
2018	—	`conf`	Routing Partial Permutations in General Interconnection Networks based on Radix Sorting. MBMV Tripti Jain, Klaus Schneider
2018	—	`conf`	Routing Partial Permutations in Interconnection Networks based on Radix Sorting. ReCoSoC Tripti Jain, Klaus Schneider
2018	J	`jnl`	The Half Cleaner Lemma: Constructing Efficient Interconnection Networks from Sorting Networks. Parallel Process. Lett. Tripti Jain, Klaus Schneider
2018	J	`jnl`	Using temporal logics for specifying weak memory consistency models. Int. J. Crit. Comput. Based Syst. Maximilian Senftleben, Klaus Schneider
2017	—	`conf`	An Efficient Self-Routing and Non-Blocking Interconnection Network on Chip. NoCArc@MICRO Tripti Jain, Klaus Schneider, Ankesh Jain
2017	B	`conf`	Automatic Synthesis of Optimal-Size Concentrators by Answer Set Programming. LPNMR Marc Dahlem, Tripti Jain, Klaus Schneider, Michael Gillmann
2017	—	`conf`	Deriving concentrators from binary sorters using half cleaners. ReConFig Tripti Jain, Klaus Schneider, Ankesh Jain
2017	—	`conf`	Exploring different execution paradigms in exposed datapath architectures with buffered processing units. SAMOS Anoop Bhagyanath, Klaus Schneider
2017	—	`conf`	Exploring the Potential of Instruction-Level Parallelism of Exposed Datapath Architectures with Buffered Processing Units. ACSD Anoop Bhagyanath, Klaus Schneider
2017	—	`conf`	Out-of-Order Execution of Buffered Function Units in Exposed Data Path Architectures. IPDPS Workshops Tripti Jain, Klaus Schneider, Frederik Walk
2017	C	`ed.`	Proceedings of the 15th ACM-IEEE International Conference on Formal Methods and Models for System Design, MEMOCODE 2017, Vienna, Austria, September 29 - October 02, 2017 MEMOCODE Jean-Pierre Talpin, Patricia Derler, Klaus Schneider
2017	—	`ch.`	Quartz: A Synchronous Language for Model-Based Design of Reactive Embedded Systems. Handbook of Hardware/Software Codesign Klaus Schneider, Jens Brandt
2016	—	`conf`	Control-flow guided clause generation for property directed reachability. HLDVT Xian Li, Klaus Schneider
2016	C	`conf`	Control-flow guided property directed reachability for imperative synchronous programs. MEMOCODE Xian Li, Klaus Schneider
2016	C	`conf`	Introducing MoC Drivers for the Integration of Sensor-Actuator Behaviors in Model-Based Design Flows of Embedded Systems. SCOPES Omair Rafique, Klaus Schneider
2016	C	`conf`	Optimal compilation for exposed datapath architectures with buffered processing units by SAT solvers. MEMOCODE Anoop Bhagyanath, Klaus Schneider
2016	J	`jnl`	Semantics in space systems architectures. Innov. Syst. Softw. Eng. Alessandro Gerlinger Romero, Klaus Schneider, Maurício Gonçalves Vieira Ferreira
2016	C	`conf`	Specifying Weak Memory Consistency with Temporal Logic. VECoS Maximilian Senftleben, Klaus Schneider
2016	—	`conf`	The selector-tree network: A new self-routing and non-blocking interconnection network. ReCoSoC Tripti Jain, Klaus Schneider, Anoop Bhagyanath
2016	—	`conf`	Towards Code Generation for the Synchronous Control Asynchronous Dataflow (SCAD) Architectures. MBMV Anoop Bhagyanath, Tripti Jain, Klaus Schneider
2016	—	`conf`	Towards the standardization of plug-and-play devices for model-based designs of embedded systems. SIES Omair Rafique, Klaus Schneider
2016	—	`conf`	Verification of Behavior-Based Control Systems in their Physical Environment. MBMV Thorsten Ropertz, Karsten Berns, Xian Li, Klaus Schneider
2016	C	`conf`	Verifying the concentration property of permutation networks by BDDs. MEMOCODE Tripti Jain, Klaus Schneider
2015	—	`conf`	A Counterexample-Guided Approach to Symbolic Simulation of Hybrid Systems. MBMV Xian Li, Klaus Schneider
2015	A	`conf`	A Time-Predictable Model of Computation. RTSS Anoop Bhagyanath, Tripti Jain, Klaus Schneider
2015	—	`conf`	An SMT-based Approach to analyze Non-Linear Relations of Parameters for Hybrid Systems. SyDe Summer School Xian Li, Klaus Schneider
2015	J	`jnl`	Evaluation of Speculation in Out-of-Order Execution of Synchronous Dataflow Networks. Int. J. Parallel Program. Daniel Baudisch, Klaus Schneider
2015	J	`jnl`	Memory-Model-Aware Testing: A Unified Complexity Analysis. ACM Trans. Embed. Comput. Syst. Florian Furbach, Roland Meyer, Klaus Schneider, Maximilian Senftleben
2015	C	`conf`	Verification condition generation for hybrid systems. MEMOCODE Xian Li, Klaus Schneider
2014	Misc	`conf`	A New Algorithm for Carry-Free Addition of Binary Signed-Digit Numbers. FCCM Klaus Schneider, Adrian Willenbücher
2014	—	`conf`	Abacus: A Processor Family for Education. WESE Nikita Bhardwaj, Maximilian Senftleben, Klaus Schneider
2014	J	`jnl`	Constructive polychronous systems. Sci. Comput. Program. Jean-Pierre Talpin, Jens Brandt, Mike Gemünde, Klaus Schneider, Sandeep K. Shukla
2014	C	`conf`	From clock-driven to data-driven models. MEMOCODE Yu Bai, Klaus Schneider, Nikita Bhardwaj, Badarinath Katti, Tania Shazadi
2014	—	`conf`	High level modeling of elastic circuits in SystemC. SpringSim (TMS-DEVS) Mohamed Ammar Ben Khadra, Yu Bai, Klaus Schneider
2014	B	`conf`	Integrating UML Composite Structures and fUML. SOFSEM Alessandro Gerlinger Romero, Klaus Schneider, Maurício Gonçalves Vieira Ferreira
2014	A	`conf`	Isochronous networks by construction. DATE Yu Bai, Klaus Schneider
2014	—	`conf`	Memory Model-Aware Testing - A Unified Complexity Analysis. ACSD Florian Furbach, Roland Meyer, Klaus Schneider, Maximilian Senftleben
2014	J	`jnl`	Passive code in synchronous programs. ACM Trans. Embed. Comput. Syst. Jens Brandt, Klaus Schneider, Yu Bai
2014	C	`conf`	Reducing the Communication of Message-Passing Systems Synthesized from Synchronous Programs. PDP Daniel Baudisch, Yu Bai, Klaus Schneider
2014	J	`jnl`	Representation of synchronous, asynchronous, and polychronous components by clocked guarded actions. Des. Autom. Embed. Syst. Jens Brandt, Mike Gemünde, Klaus Schneider, Sandeep K. Shukla, Jean-Pierre Talpin
2014	—	`conf`	Synthesis of Distributed Synchronous Specifications to SysteMoC. MBMV Mohamed Ammar Ben Khadra, Yu Bai, Klaus Schneider
2014	—	`conf`	Using Different Representations of Synchronous Systems in SAL. MBMV Manuel Gesell, Felipe Bichued, Klaus Schneider
2014	C	`conf`	Using the Base Semantics given by fUML for Verification. MODELSWARD Alessandro Gerlinger Romero, Klaus Schneider, Maurício Gonçalves Vieira Ferreira
2013	—	`conf`	An Interactive Verification Tool for Synchronous/Reactive Systems. MBMV Manuel Gesell, Klaus Schneider
2013	C	`conf`	Automatic Hard Block Inference on FPGAs. DSD Adrian Willenbücher, Klaus Schneider
2013	J	`jnl`	Clock refinement in imperative synchronous languages. EURASIP J. Embed. Syst. Mike Gemünde, Jens Brandt, Klaus Schneider
2013	Misc	`conf`	Constructive Polychronous Systems. LFCS Jean-Pierre Talpin, Jens Brandt, Mike Gemünde, Klaus Schneider, Sandeep K. Shukla
2013	J	`jnl`	Embedding Polychrony into Synchrony. IEEE Trans. Software Eng. Jens Brandt, Mike Gemunde, Klaus Schneider, Sandeep K. Shukla, Jean-Pierre Talpin
2013	—	`conf`	Generating hardware specific code at different abstraction levels using Averest. M-SCOPES Omair Rafique, Manuel Gesell, Klaus Schneider
2013	C	`conf`	Interactive Verification of Cyber-physical Systems: Interfacing Averest and KeYmaera. FedCSIS Xian Li, Kerstin Bauer, Klaus Schneider
2013	B	`conf`	Lifting Verification Results for Preemption Statements. SEFM Manuel Gesell, Andreas Morgenstern, Klaus Schneider
2013	—	`conf`	Modular Verification of Synchronous Programs. ACSD Manuel Gesell, Klaus Schneider
2013	B	`conf`	Solving Games Using Incremental Induction. IFM Andreas Morgenstern, Manuel Gesell, Klaus Schneider
2013	J	`jnl`	Synchronous Programming (Dagstuhl Seminar 13471). Dagstuhl Reports Stephen A. Edwards, Alain Girault, Klaus Schneider
2013	B	`conf`	Targeting different abstraction layers by model-based design methods for embedded systems: A case study. RTCSA Omair Rafique, Manuel Gesell, Klaus Schneider
2013	C	`conf`	Towards the Applicability of Alf to Model Cyber-Physical Systems. FedCSIS Alessandro Gerlinger Romero, Klaus Schneider, Maurício Gonçalves Vieira Ferreira
2013	C	`conf`	Translating synchronous guarded actions to interleaved guarded actions. MEMOCODE Manuel Gesell, Klaus Schneider
2012	—	`conf`	A hoare calculus for the verification of synchronous languages. PLPV Manuel Gesell, Klaus Schneider
2012	B	`conf`	An Asymptotically Correct Finite Path Semantics for LTL. LPAR Andreas Morgenstern, Manuel Gesell, Klaus Schneider
2012	—	`conf`	Efficient Handling of Arrays in Dataflow Process Networks. HPCC-ICESS Daniel Baudisch, Jens Brandt, Klaus Schneider
2012	C	`conf`	Interactive verification of synchronous systems. MEMOCODE Manuel Gesell, Klaus Schneider
2012	—	`ed.`	Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Kaiserslautern, Germany, March 5-7, 2012 MBMV Jens Brandt, Klaus Schneider
2012	—	`conf`	Monitoring distributed reactive systems. HLDVT Yu Bai, Jens Brandt, Klaus Schneider
2012	—	`conf`	Out-Of-order execution of synchronous data-flow networks. ICSAMOS Daniel Baudisch, Jens Brandt, Klaus Schneider
2012	C	`conf`	Preservation of LTL properties in desynchronized systems. MEMOCODE Yu Bai, Jens Brandt, Klaus Schneider
2012	—	`conf`	Teaching cyber-physical systems: a programming approach. WESE Kerstin Bauer, Klaus Schneider
2011	—	`conf`	A LTL Fragment for GR(1)-Synthesis iWIGP Andreas Morgenstern, Klaus Schneider
2011	J	`jnl`	A uniform approach to three-valued semantics for Int. J. Softw. Tools Technol. Transf. Kerstin Bauer, Raffaella Gentilini, Klaus Schneider
2011	—	`conf`	Causality analysis of synchronous programs with refined clocks. HLDVT Mike Gemünde, Jens Brandt, Klaus Schneider
2011	—	`conf`	Data-Flow Analysis of Extended Finite State Machines. ACSD Yu Bai, Jens Brandt, Klaus Schneider
2011	C	`conf`	Integrating system descriptions by clocked guarded actions. FDL Jens Brandt, Mike Gemunde, Klaus Schneider, Sandeep K. Shukla, Jean-Pierre Talpin
2011	—	`conf`	Program Sketching via CTL* Model Checking. SPIN Andreas Morgenstern, Klaus Schneider
2011	—	`conf`	Round Trip to Asynchrony and Synchrony. MBMV Jens Brandt, Klaus Schneider
2011	C	`conf`	SMT-based optimization for synchronous programs. SCOPES Yu Bai, Jens Brandt, Klaus Schneider
2011	—	`conf`	Safe Automotive Software. KES (4) Karl Heckemann, Manuel Gesell, Thomas Pfister, Karsten Berns, Klaus Schneider, Mario Trapp
2011	C	`conf`	Schizophrenia and causality in the context of refined clocks. FDL Mike Gemunde, Jens Brandt, Klaus Schneider
2011	—	`conf`	Synthesis of Parallel Sorting Networks using SAT Solvers. MBMV Andreas Morgenstern, Klaus Schneider
2011	C	`conf`	Translating Synchronous Systems to Data-Flow Process Networks. PDCAT Daniel Baudisch, Jens Brandt, Klaus Schneider
2011	C	`conf`	Welcome to ICCD 2011! ICCD Georgi Gaydadjiev, Sofiène Tahar, Greg Byrd, Klaus Schneider
2010	—	`conf`	A Formal Semantics of Clock Refinement in Imperative Synchronous Languages. ACSD Mike Gemunde, Jens Brandt, Klaus Schneider
2010	C	`conf`	Compilation of imperative synchronous programs with refined clocks. MEMOCODE Mike Gemunde, Jens Brandt, Klaus Schneider
2010	—	`conf`	Dependency-Driven Distribution of Synchronous Programs. DIPES/BICC Daniel Baudisch, Jens Brandt, Klaus Schneider
2010	—	`conf`	Exploiting the Temporal Logic Hierarchy and the Non-Confluence Property for Efficient LTL Synthesis GANDALF Andreas Morgenstern, Klaus Schneider
2010	—	`conf`	From Synchronous Guarded Actions to SystemC. MBMV Jens Brandt, Mike Gemünde, Klaus Schneider
2010	—	`conf`	From synchronous programs to symbolic representations of hybrid systems. HSCC Kerstin Bauer, Klaus Schneider
2010	C	`conf`	Message from the chairs. MEMOCODE Klaus Schneider, Barbara Jobstmann, Luca P. Carloni, Jens Brandt
2010	—	`conf`	Multithreaded Code from Synchronous Programs: Generating Software Pipelines for OpenMP. MBMV Daniel Baudisch, Jens Brandt, Klaus Schneider
2010	A	`conf`	Multithreaded code from synchronous programs: Extracting independent threads for OpenMP. DATE Daniel Baudisch, Jens Brandt, Klaus Schneider
2010	C	`conf`	Predicting Events for the Simulation of Hybrid Systems. CIT Kerstin Bauer, Klaus Schneider
2010	—	`conf`	The Model Checking View to Clock Gating and Operand Isolation. ACSD Jens Brandt, Klaus Schneider, Sumit Ahuja, Sandeep K. Shukla
2010	B	`conf`	Translating concurrent action oriented specifications to synchronous guarded actions. LCTES Jens Brandt, Klaus Schneider, Sandeep K. Shukla
2009	—	`conf`	09481 Abstracts Collection - SYNCHRON 2009. SYNCHRON 2009 Albert Benveniste, Stephen A. Edwards, Edward A. Lee, Klaus Schneider, Reinhard von Hanxleden
2009	—	`conf`	Desynchronizing Synchronous Programs by Modes. ACSD Jens Brandt, Mike Gemunde, Klaus Schneider
2009	—	`conf`	Online Exercise System - A Web-based Tool for Administration and Automatic Correction of Exercises. CSEDU (1) Daniel Baudisch, Manuel Gesell, Klaus Schneider
2009	C	`conf`	Property Driven Three-Valued Model Checking on Hybrid Automata. WoLLIC Kerstin Bauer, Raffaella Gentilini, Klaus Schneider
2009	—	`ed.`	SYNCHRON 2009, 22.11. - 27.11.2009 SYNCHRON 2009 Albert Benveniste, Stephen A. Edwards, Edward A. Lee, Klaus Schneider, Reinhard von Hanxleden
2009	A	`conf`	Separate compilation and execution of imperative synchronous modules. DATE Eric Vecchié, Jean-Pierre Talpin, Klaus Schneider
2009	C	`conf`	Separate compilation for synchronous programs. SCOPES Jens Brandt, Klaus Schneider
2009	C	`conf`	Static data-flow analysis of synchronous programs. MEMOCODE Jens Brandt, Klaus Schneider
2009	—	`conf`	Using IP Cores in Synchronous Languages. MBMV Jens Brandt, Klaus Schneider, Adrian Willenbücher
2008	—	`conf`	A Uniform Approach to Three-Valued Semantics for µ-Calculus on Abstractions of Hybrid Automata. Haifa Verification Conference Kerstin Bauer, Raffaella Gentilini, Klaus Schneider
2008	—	`conf`	Approximated Reachability on Hybrid Automata: Falsification meets Certification. RP Kerstin Bauer, Raffaella Gentilini, Klaus Schneider
2008	—	`conf`	Formal Reasoning About Causality Analysis. TPHOLs Jens Brandt, Klaus Schneider
2008	B	`conf`	From LTL to Symbolically Represented Deterministic Automata. VMCAI Andreas Morgenstern, Klaus Schneider
2008	—	`conf`	Generating Deterministic $\omega$-Automata for most LTL Formulas by the Breakpoint Construction. MBMV Andreas Morgenstern, Klaus Schneider, Sven Lamberti
2008	—	`conf`	Hardware Acceleration for Model Checking. MBMV Jens Brandt, Klaus Schneider, Adrian Willenbücher
2008	—	`conf`	Performing causality analysis by bounded model checking. ACSD Klaus Schneider, Jens Brandt
2008	—	`ed.`	Proceedings of the First Workshop on Verification of Adaptive Systems, VerAS@TPHOLs 2007, Kaiserslautern, Germany, September 14, 2007 VerAS@TPHOLs Arnd Poetzsch-Heffter, Klaus Schneider
2007	J	`jnl`	Bounded model checking of infinite state systems. Formal Methods Syst. Des. Tobias Schüle, Klaus Schneider
2007	—	`conf`	Combining Interval Arithmetic and Three-Valued Temporal Logics for the Verification of Analog Systems. MBMV Raffaella Gentilini, Klaus Schneider, Alexander Dreyer
2007	—	`conf`	Formal verification of safety behaviours of the outdoor robot ravon. ICINCO-RA (1) Martin Proetzsch, Karsten Berns, Tobias Schuele, Klaus Schneider
2007	C	`conf`	How Different are Esterel and SystemC?. FDL Jens Brandt, Klaus Schneider
2007	—	`conf`	Preface. VerAS@TPHOLs Arnd Poetzsch-Heffter, Klaus Schneider
2007	Misc	`conf`	Successive Abstractions of Hybrid Automata for Monotonic CTL Model Checking. LFCS Raffaella Gentilini, Klaus Schneider, Bud Mishra
2007	—	`ed.`	Theorem Proving in Higher Order Logics, 20th International Conference, TPHOLs 2007, Kaiserslautern, Germany, September 10-13, 2007, Proceedings TPHOLs Klaus Schneider, Jens Brandt
2007	—	`conf`	Three-valued automated reasoning on analog properties. ACM Great Lakes Symposium on VLSI Raffaella Gentilini, Klaus Schneider, Alexander Dreyer
2006	—	`conf`	A Framework for Verifying and Implementing Embedded Systems. MBMV Klaus Schneider, Tobias Schüle
2006	C	`conf`	Efficient Map Overlay for Safety-Critical Embedded Systems. IES Jens Brandt, Klaus Schneider
2006	C	`conf`	Efficient code generation from synchronous programs. MEMOCODE Klaus Schneider, Jens Brandt, Eric Vecchié
2006	—	`conf`	Model Checking PSL Using HOL and SMV. Haifa Verification Conference Thomas Tuerk, Klaus Schneider, Mike Gordon
2006	—	`conf`	Modular Compilation of Synchronous Programs. DIPES Klaus Schneider, Jens Brandt, Eric Vecchié
2006	C	`conf`	System Description Aspects as Syntactic Sugar. FDL Jens Brandt, Klaus Schneider
2006	—	`conf`	Verification of Data Paths Using Unbounded Integers: Automata Strike Back. Haifa Verification Conference Tobias Schüle, Klaus Schneider
2006	—	`conf`	Verifying the adaptation behavior of embedded systems. SEAMS@ICSE Klaus Schneider, Tobias Schüle, Mario Trapp
2005	—	`conf`	A unified model checking framework for the supervisor synthesis problem. GALOP@ETAPS Andreas Morgenstern, Klaus Schneider
2005	J	`jnl`	Combining supervisor synthesis and model checking. ACM Trans. Embed. Comput. Syst. Roberto Ziller, Klaus Schneider
2005	C	`conf`	Dependable Polygon-Processing Algorithms for Safety-Critical Embedded Systems. EUC Jens Brandt, Klaus Schneider
2005	—	`conf`	From PSL to LTL: A Formal Validation in HOL. TPHOLs Thomas Tuerk, Klaus Schneider
2005	—	`conf`	Maximal Causality Analysis. ACSD Klaus Schneider, Jens Brandt, Tobias Schüle, Thomas Tuerk
2005	C	`conf`	Synthesizing deterministic controllers in supervisory control. ICINCO Andreas Morgenstern, Klaus Schneider
2005	C	`conf`	Three-valued logic in bounded model checking. MEMOCODE Tobias Schüle, Klaus Schneider
2005	—	`conf`	Using Model Checking to Solve Supervisor Synthesis Problems. CDC/ECC Andreas Morgenstern, Klaus Schneider
2005	C	`conf`	Using Three-Valued Logic to Specify and Verify Algorithms of Computational Geometry. ICFEM Jens Brandt, Klaus Schneider
2004	—	`conf`	A Verified Compiler for Synchronous Programs with Local Declarations. SLAP Klaus Schneider, Jens Brandt, Tobias Schüle
2004	A*	`conf`	Abstraction of assembler programs for symbolic worst case execution time analysis. DAC Tobias Schüle, Klaus Schneider
2004	C	`conf`	Bounded model checking of infinite state systems: exploiting the automata hierarchy. MEMOCODE Tobias Schüle, Klaus Schneider
2004	Misc	`conf`	Causality analysis of synchronous programs with delayed actions. CASES Klaus Schneider, Jens Brandt, Tobias Schüle
2004	—	`conf`	Global vs. Local Model Checking of Infinite State Systems. MBMV Tobias Schüle, Klaus Schneider
2004	B	`conf`	Global vs. Local Model Checking: A Comparison of Verification Techniques for Infinite State Systems. SEFM Tobias Schüle, Klaus Schneider
2004	—	`book`	Verification of Reactive Systems - Formal Methods and Algorithms Klaus Schneider
2003	C	`conf`	A Generalised Approach to Supervisor Synthesis. MEMOCODE Roberto Ziller, Klaus Schneider
2003	—	`conf`	A μ-Calculus Approach to Supervisor Synthesis. MBMV Roberto Ziller, Klaus Schneider
2003	A	`conf`	Exact High Level WCET Analysis of Synchronous Programs by Symbolic State Space Exploration. DATE George Logothetis, Klaus Schneider
2003	C	`conf`	Exact Low-Level Runtime Analysis of Synchronous Programs for Formal Verification of Real-Time Systems. FDL George Logothetis, Klaus Schneider, C. Metzler
2003	C	`conf`	Exact Runtime Analysis Using Automata-Based Symbolic Simulation. MEMOCODE Tobias Schüle, Klaus Schneider
2003	A	`conf`	Generating Formal Models for Real-Time Verification by Exact Low-Level Runtime Analysis of Synchronous Programs. RTSS George Logothetis, Klaus Schneider, C. Metzler
2003	—	`conf`	Runtime Analysis of Synchronous Programs for Low-Level Real-Time Verification. SBCCI George Logothetis, Klaus Schneider, C. Metzler
2002	A	`conf`	Extending Synchronous Languages for Generating Abstract Real-Time Models. DATE George Logothetis, Klaus Schneider
2002	—	`conf`	Proving the Equivalence of Microstep and Macrostep Semantics. TPHOLs Klaus Schneider
2002	—	`conf`	Symbolic Model Checking by Automata Based Set Representation. MBMV Tobias Schuele, Klaus Schneider
2002	J	`jnl`	The BDD Space Complexity of Different Forms of Concurrency. Fundam. Informaticae Michael Baldamus, Klaus Schneider
2001	B	`conf`	A New Approach to the Specification and Verification of Real-Time Systems. ECRTS George Logothetis, Klaus Schneider
2001	Misc	`conf`	A new method for compiling schizophrenic synchronous programs. CASES Klaus Schneider, Michael Wenz
2001	—	`conf`	Embedding Imperative Synchronous Languages in Interactive Theorem Provers. ACSD Klaus Schneider
2001	B	`conf`	Improving Automata Generation for Linear Temporal Logic by Considering the Automaton Hierarchy. LPAR Klaus Schneider
2001	C	`conf`	Symbolic Model Checking of Real-Time Systems. TIME George Logothetis, Klaus Schneider
2001	—	`conf`	The BDD Space Complexity of Different Forms of Concurrency. ACSD Michael Baldamus, Klaus Schneider
2000	—	`conf`	A Verified Hardware Synthesis of Esterel Programs. DIPES Klaus Schneider
2000	A	`conf`	Abstraction from Counters: An Application on Real-Time Systems. DATE George Logothetis, Klaus Schneider
2000	—	`conf`	Can American Checkers be Solved by Means of Symbolic Model Checking? FM-Everywhere@FORTE/PSTV Michael Baldamus, Klaus Schneider, Michael Wenz, Roberto Ziller
1999	—	`conf`	A HOL Conversion for Translating Linear Time Temporal Logic to omega-Automata. TPHOLs Klaus Schneider, Dirk W. Hoffmann
1999	—	`conf`	Abstraction of Systems with Counters for Symbolic Model Checking. MBMV Klaus Schneider, George Logothetis
1999	J	`jnl`	Formale Verifikation eingebetteter Systeme. Informationstechnik Tech. Inform. Detlef Schmid, Klaus Schneider, Michaela Huhn, George Logothetis, Viktor K. Sabelfeld
1999	—	`conf`	Introducing Mutual Exclusion in Esterel. Ershov Memorial Conference Klaus Schneider, Viktor K. Sabelfeld
1999	—	`conf`	Translating a Visual Description Technique to a Synchronous Language: From DiChartsto PURR. FBT Thomas Stauner, Klaus Schneider, Michaela Huhn
1999	—	`conf`	Validation of Object-Oriented Concurrent Designs by Model Checking. CHARME Klaus Schneider, Michaela Huhn, George Logothetis
1999	A	`conf`	Verifying Imprecisely Working Arithmetic Circuits. DATE Michaela Huhn, Klaus Schneider, Thomas Kropf, George Logothetis
1999	—	`conf`	Yet another Look at the LTL Model Checking. CHARME Klaus Schneider
1998	—	`conf`	A Synchronous Language for Modeling and Verifying Real Time and Embedded Systems. MBMV Thomas Kropf, Jürgen Ruf, Klaus Schneider, Markus Wild
1998	—	`conf`	Comparing Model Checking and Term Rewriting for the Verification of an Embedded System. DIPES Klaus Schneider, Michaela Huhn
1998	A	`conf`	Formal Specification in VHDL for Hardware Verification. DATE Ralf Reetz, Klaus Schneider, Thomas Kropf
1998	—	`conf`	Kontrollfluss-Verifikation von Algorithmen mittels Modellprüfung. MBMV Ingo Schreiber, Jens Schönherr, Eva Fordran, Klaus Schneider, Bernd Straube
1998	B	`conf`	Model Checking on Product Structures. FMCAD Klaus Schneider
1998	—	`conf`	Modeling and Verifying Abstract Multithreaded Systems. MBMV Winfried Grünewald, Klaus Schneider
1997	—	`conf`	The C@S System. Formal Hardware Verification Klaus Schneider, Thomas Kropf
1996	B	`conf`	A Unified Approach for Combining Different Formalisms for Hardware Verification. FMCAD Klaus Schneider, Thomas Kropf
1996	—	`book`	Ein einheitlicher Ansatz zur Unterstützung von Abstraktionsmechanismen der Hardware-Verifikation. Klaus Schneider
1995	Misc	`conf`	Formal synthesis of circuits with a simple handshake protocol. VLSI Design Ramayya Kumar, Thomas Kropf, Klaus Schneider
1994	—	`conf`	A Formal Framework for High Level Synthesis. TPCD Thomas Kropf, Klaus Schneider, Ramayya Kumar
1994	J	`jnl`	Accelerating Tableaux Proofs Using Compact Representations. Formal Methods Syst. Des. Klaus Schneider, Ramayya Kumar, Thomas Kropf
1994	—	`conf`	Automating Verification by Functional Abstraction at the System Level. TPHOLs Klaus Schneider, Ramayya Kumar, Thomas Kropf
1994	—	`conf`	Control Path Oriented Verification of Sequential Generic Circuits with Control and Data Path. EDAC-ETC-EUROASIC Klaus Schneider, Thomas Kropf, Ramayya Kumar
1993	—	`conf`	A Functional Approach for Formalizing Regular Hardware Structures. HUG Dirk Eisenbiegler, Klaus Schneider, Ramayya Kumar
1993	—	`conf`	Alternative Proof Procedures for Finite-State Machines in Higher-Order Logic. HUG Klaus Schneider, Ramayya Kumar, Thomas Kropf
1993	—	`conf`	Eliminating Higher-Order Quantifiers to Obtain Decision Procedures for Hardware Verification. HUG Klaus Schneider, Ramayya Kumar, Thomas Kropf
1993	—	`conf`	Embedding Hardware Verification Within a Commercial Design Framework. CHARME Thomas Kropf, Ramayya Kumar, Klaus Schneider
1993	—	`conf`	Hardware-Verification using First Order BDDs. CHDL Klaus Schneider, Ramayya Kumar, Thomas Kropf
1993	J	`jnl`	Structuring and Automating Hardware Proofs in a Higher-Order Theorem-Proving Environment. Formal Methods Syst. Des. Ramayya Kumar, Klaus Schneider, Thomas Kropf
1992	—	`conf`	Efficient Representation and Computation of Tableau Proofs. TPHOLs Klaus Schneider, Ramayya Kumar, Thomas Kropf
1992	—	`conf`	Modelling Generic Hardware Structures by Abstract Datatypes. TPHOLs Klaus Schneider, Ramayya Kumar, Thomas Kropf
1992	A	`conf`	The FAUST - Prover. CADE Klaus Schneider, Ramayya Kumar, Thomas Kropf
1991	A*	`conf`	Automating Most Parts of Hardware Proofs in HOL. CAV Klaus Schneider, Ramayya Kumar, Thomas Kropf
1991	—	`conf`	First Steps Towards Automating Hardware Proofs in HOL. TPHOLs Ramayya Kumar, Thomas Kropf, Klaus Schneider
1991	—	`conf`	Integrating a First-Order Automatic Prover in the HOL Environment. TPHOLs Ramayya Kumar, Thomas Kropf, Klaus Schneider
1991	—	`conf`	Structure in Hardware Proofs: First Steps Towards Automation in a Higher-Order Environment. VLSI Klaus Schneider, Ramayya Kumar, Thomas Kropf
1981	—	`conf`	Ein System-Diagnoseprozessor für zentralen und dezentralen Einsatz in Prozeßrechner-Systemen. Fachtagung Prozessrechner Klaus Schneider