| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Andreas Morgenstern, Manuel Gesell, Klaus Schneider |
An Asymptotically Correct Finite Path Semantics for LTL.  |
LPAR  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Manuel Gesell, Klaus Schneider |
A hoare calculus for the verification of synchronous languages. |
PLPV |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Andreas Morgenstern, Klaus Schneider |
A LTL Fragment for GR(1)-Synthesis |
iWIGP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Kerstin Bauer, Raffaella Gentilini, Klaus Schneider |
A uniform approach to three-valued semantics for μ-calculus on abstractions of hybrid automata. |
STTT |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Yu Bai, Jens Brandt, Klaus Schneider |
Data-Flow Analysis of Extended Finite State Machines. |
ACSD |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Yu Bai, Jens Brandt, Klaus Schneider |
SMT-based optimization for synchronous programs. |
SCOPES |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Karl Heckemann, Manuel Gesell, Thomas Pfister, Karsten Berns, Klaus Schneider, Mario Trapp |
Safe Automotive Software. |
KES |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Andreas Morgenstern, Klaus Schneider |
Program Sketching via CTL* Model Checking. |
SPIN |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jens Brandt, Mike Gemunde, Klaus Schneider, Sandeep K. Shukla, Jean-Pierre Talpin |
Integrating system descriptions by clocked guarded actions. |
FDL |
2011 |
DBLP BibTeX RDF |
|
| 1 | Mike Gemunde, Jens Brandt, Klaus Schneider |
Schizophrenia and causality in the context of refined clocks. |
FDL |
2011 |
DBLP BibTeX RDF |
|
| 1 | Daniel Baudisch, Jens Brandt, Klaus Schneider |
Translating Synchronous Systems to Data-Flow Process Networks. |
PDCAT |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Georgi Gaydadjiev, Sofiène Tahar, Greg Byrd, Klaus Schneider |
Welcome to ICCD 2011! |
ICCD |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Andreas Morgenstern, Klaus Schneider |
Exploiting the Temporal Logic Hierarchy and the Non-Confluence Property for Efficient LTL Synthesis |
GANDALF |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Mike Gemunde, Jens Brandt, Klaus Schneider |
Compilation of imperative synchronous programs with refined clocks. |
MEMOCODE |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Klaus Schneider, Barbara Jobstmann, Luca P. Carloni, Jens Brandt |
Message from the chairs. |
MEMOCODE |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Mike Gemunde, Jens Brandt, Klaus Schneider |
A Formal Semantics of Clock Refinement in Imperative Synchronous Languages. |
ACSD |
2010 |
DBLP DOI BibTeX RDF |
Quartz, Subclocks, Semantics, Synchronous Languages |
| 1 | Jens Brandt, Klaus Schneider, Sumit Ahuja, Sandeep K. Shukla |
The Model Checking View to Clock Gating and Operand Isolation. |
ACSD |
2010 |
DBLP DOI BibTeX RDF |
operand isolation, model checking, clock gating |
| 1 | Kerstin Bauer, Klaus Schneider |
Predicting Events for the Simulation of Hybrid Systems. |
CIT |
2010 |
DBLP DOI BibTeX RDF |
Simulation, Hybrid Systems |
| 1 | Daniel Baudisch, Jens Brandt, Klaus Schneider |
Dependency-Driven Distribution of Synchronous Programs. |
DIPES/BICC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel Baudisch, Jens Brandt, Klaus Schneider |
Multithreaded code from synchronous programs: Extracting independent threads for OpenMP. |
DATE |
2010 |
DBLP BibTeX RDF |
|
| 1 | Kerstin Bauer, Klaus Schneider |
From synchronous programs to symbolic representations of hybrid systems. |
HSCC |
2010 |
DBLP DOI BibTeX RDF |
symbolic representation of transition systems, hybrid systems, synchronous languages |
| 1 | Johannes Karl Eberharter, Klaus Schneider |
Control for Synchronizing Multi-crane Lifts. |
CCA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Jens Brandt, Klaus Schneider, Sandeep K. Shukla |
Translating concurrent action oriented specifications to synchronous guarded actions. |
LCTES |
2010 |
DBLP DOI BibTeX RDF |
concurrent action-oriented specifications, code generation, synchronous languages, guarded commands |
| 1 | Jens Brandt, Klaus Schneider |
Static data-flow analysis of synchronous programs. |
MEMOCODE |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Kerstin Bauer, Raffaella Gentilini, Klaus Schneider |
Property Driven Three-Valued Model Checking on Hybrid Automata. |
WoLLIC |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Jens Brandt, Mike Gemunde, Klaus Schneider |
Desynchronizing Synchronous Programs by Modes. |
ACSD |
2009 |
DBLP DOI BibTeX RDF |
Synchronous Programs, Desynchronization |
| 1 | Jens Brandt, Klaus Schneider |
Separate compilation for synchronous programs. |
SCOPES |
2009 |
DBLP BibTeX RDF |
|
| 1 | Daniel Baudisch, Manuel Gesell, Klaus Schneider |
Online Exercise System - A Web-based Tool for Administration and Automatic Correction of Exercises. |
CSEDU |
2009 |
DBLP BibTeX RDF |
|
| 1 | Eric Vecchié, Jean-Pierre Talpin, Klaus Schneider |
Separate compilation and execution of imperative synchronous modules. |
DATE |
2009 |
DBLP BibTeX RDF |
|
| 1 | Kerstin Bauer, Raffaella Gentilini, Klaus Schneider |
Approximated Reachability on Hybrid Automata: Falsification meets Certification. |
Electr. Notes Theor. Comput. Sci. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Arnd Poetzsch-Heffter, Klaus Schneider |
Preface. |
Electr. Notes Theor. Comput. Sci. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Eckhard Arnold, Jörg Neupert, Oliver Sawodny, Klaus Schneider |
Modell-prädiktive Trajektoriengenerierung für flachheitsbasierte Folgeregelungen am Beispiel eines Hafenmobilkrans (Model-predictive Trajectory Generation for Flatness-based Nonlinear Tracking Control with Application to Boom Cranes). |
Automatisierungstechnik |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Klaus Schneider, Jens Brandt |
Performing causality analysis by bounded model checking. |
ACSD |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Jens Brandt, Klaus Schneider |
Formal Reasoning About Causality Analysis. |
TPHOLs |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Kerstin Bauer, Raffaella Gentilini, Klaus Schneider |
A Uniform Approach to Three-Valued Semantics for µ-Calculus on Abstractions of Hybrid Automata. |
Haifa Verification Conference |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Andreas Morgenstern, Klaus Schneider |
From LTL to Symbolically Represented Deterministic Automata. |
VMCAI |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Tobias Schüle, Klaus Schneider |
Bounded model checking of infinite state systems. |
Formal Methods in System Design |
2007 |
DBLP DOI BibTeX RDF |
Temporal logic hierarchy, Global model checking, Local model checking, Bounded model checking, Infinite state systems |
| 1 | Raffaella Gentilini, Klaus Schneider, B. Mishra |
Successive Abstractions of Hybrid Automata for Monotonic CTL Model Checking. |
LFCS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Raffaella Gentilini, Klaus Schneider, Alexander Dreyer |
Three-valued automated reasoning on analog properties. |
ACM Great Lakes Symposium on VLSI |
2007 |
DBLP DOI BibTeX RDF |
(multi valued) temporal logics & model checking, interval arithmetic, analog circuits |
| 1 | Jens Brandt, Klaus Schneider |
How Different are Esterel and SystemC?. |
FDL |
2007 |
DBLP BibTeX RDF |
|
| 1 | Klaus Schneider, Jens Brandt (eds.) |
Theorem Proving in Higher Order Logics, 20th International Conference, TPHOLs 2007, Kaiserslautern, Germany, September 10-13, 2007, Proceedings |
TPHOLs |
2007 |
DBLP BibTeX RDF |
|
| 1 | Martin Proetzsch, Karsten Berns, T. Schuele, Klaus Schneider |
Formal verification of safety behaviours of the outdoor robot ravon. |
ICINCO-RA |
2007 |
DBLP BibTeX RDF |
|
| 1 | Klaus Schneider, Jens Brandt, Tobias Schüle |
A Verified Compiler for Synchronous Programs with Local Declarations. |
Electr. Notes Theor. Comput. Sci. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Klaus Schneider, Jens Brandt, Eric Vecchié |
Efficient code generation from synchronous programs. |
MEMOCODE |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Jens Brandt, Klaus Schneider |
System Description Aspects as Syntactic Sugar. |
FDL |
2006 |
DBLP BibTeX RDF |
|
| 1 | Klaus Schneider, Jens Brandt, Eric Vecchié |
Modular Compilation of Synchronous Programs. |
DIPES |
2006 |
DBLP DOI BibTeX RDF |
modular compilation, synchronous languages |
| 1 | Thomas Tuerk, Klaus Schneider, Mike Gordon |
Model Checking PSL Using HOL and SMV. |
Haifa Verification Conference |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Tobias Schüle, Klaus Schneider |
Verification of Data Paths Using Unbounded Integers: Automata Strike Back. |
Haifa Verification Conference |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Roberto Ziller, Klaus Schneider |
Combining supervisor synthesis and model checking. |
ACM Trans. Embedded Comput. Syst. |
2005 |
DBLP DOI BibTeX RDF |
Ramadge-Wonham, supervisor synthesis, model checking |
| 1 | Jens Brandt, Klaus Schneider |
Using Three-Valued Logic to Specify and Verify Algorithms of Computational Geometry. |
ICFEM |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Tobias Schüle, Klaus Schneider |
Three-valued logic in bounded model checking. |
MEMOCODE |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Klaus Schneider, Jens Brandt, Tobias Schüle, Thomas Tuerk |
Maximal Causality Analysis. |
ACSD |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Andreas Morgenstern, Klaus Schneider |
A unified model checking framework for the supervisor synthesis problem. |
GALOP |
2005 |
DBLP BibTeX RDF |
|
| 1 | Thomas Tuerk, Klaus Schneider |
From PSL to LTL: A Formal Validation in HOL. |
TPHOLs |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Jens Brandt, Klaus Schneider |
Dependable Polygon-Processing Algorithms for Safety-Critical Embedded Systems. |
EUC |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Andreas Morgenstern, Klaus Schneider |
Synthesizing deterministic controllers in supervisory control. |
ICINCO |
2005 |
DBLP BibTeX RDF |
|
| 1 | Tobias Schüle, Klaus Schneider |
Global vs. Local Model Checking: A Comparison of Verification Techniques for Infinite State Systems. |
SEFM |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Tobias Schüle, Klaus Schneider |
Bounded model checking of infinite state systems: exploiting the automata hierarchy. |
MEMOCODE |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Tobias Schüle, Klaus Schneider |
Abstraction of assembler programs for symbolic worst case execution time analysis. |
DAC |
2004 |
DBLP DOI BibTeX RDF |
program slicing assembler programs, real-time systems, abstraction, worst case execution time, symbolic simulation |
| 1 | Klaus Schneider, Jens Brandt, Tobias Schüle |
Causality analysis of synchronous programs with delayed actions. |
CASES |
2004 |
DBLP DOI BibTeX RDF |
causality, synchronous languages, ternary logic, fixpoints |
| 1 | Tobias Schüle, Klaus Schneider |
Exact Runtime Analysis Using Automata-Based Symbolic Simulation. |
MEMOCODE |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Roberto Ziller, Klaus Schneider |
A Generalised Approach to Supervisor Synthesis. |
MEMOCODE |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | George Logothetis, Klaus Schneider, C. Metzler |
Runtime Analysis of Synchronous Programs for Low-Level Real-Time Verification. |
SBCCI |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Oliver Sawodny, Alexander Hildebrandt, Klaus Schneider |
Control design for the rotation of crane loads for boom cranes. |
ICRA |
2003 |
DBLP BibTeX RDF |
|
| 1 | George Logothetis, Klaus Schneider, C. Metzler |
Exact Low-Level Runtime Analysis of Synchronous Programs for Formal Verification of Real-Time Systems. |
FDL |
2003 |
DBLP BibTeX RDF |
|
| 1 | George Logothetis, Klaus Schneider, C. Metzler |
Generating Formal Models for Real-Time Verification by Exact Low-Level Runtime Analysis of Synchronous Programs. |
RTSS |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | George Logothetis, Klaus Schneider |
Exact High Level WCET Analysis of Synchronous Programs by Symbolic State Space Exploration. |
DATE |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Baldamus, Klaus Schneider |
The BDD Space Complexity of Different Forms of Concurrency. |
Fundam. Inform. |
2002 |
DBLP BibTeX RDF |
|
| 1 | Klaus Schneider |
Proving the Equivalence of Microstep and Macrostep Semantics. |
TPHOLs |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | George Logothetis, Klaus Schneider |
Extending Synchronous Languages for Generating Abstract Real-Time Models. |
DATE |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Baldamus, Klaus Schneider, Michael Wenz, Roberto Ziller |
Can American Checkers be Solved by Means of Symbolic Model Checking? |
Electr. Notes Theor. Comput. Sci. |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | George Logothetis, Klaus Schneider |
Symbolic Model Checking of Real-Time Systems. (PDF / PS) |
TIME |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Klaus Schneider |
Embedding Imperative Synchronous Languages in Interactive Theorem Provers. |
ACSD |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Baldamus, Klaus Schneider |
The BDD Space Complexity of Different Forms of Concurrency. |
ACSD |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Klaus Schneider |
Improving Automata Generation for Linear Temporal Logic by Considering the Automaton Hierarchy. |
LPAR |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | George Logothetis, Klaus Schneider |
A New Approach to the Specification and Verification of Real-Time Systems. |
ECRTS |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Klaus Schneider |
A Verified Hardware Synthesis of Esterel Programs. |
DIPES |
2000 |
DBLP BibTeX RDF |
|
| 1 | George Logothetis, Klaus Schneider |
Abstraction from Counters: An Application on Real-Time Systems. |
DATE |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Klaus Schneider, Viktor K. Sabelfeld |
Introducing Mutual Exclusion in Esterel. |
Ershov Memorial Conference |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Klaus Schneider |
Yet another Look at the LTL Model Checking. |
CHARME |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Klaus Schneider, Michaela Huhn, George Logothetis |
Validation of Object-Oriented Concurrent Designs by Model Checking. |
CHARME |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Klaus Schneider, Dirk W. Hoffmann |
A HOL Conversion for Translating Linear Time Temporal Logic to omega-Automata. |
TPHOLs |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Stauner, Klaus Schneider, Michaela Huhn |
Translating a Visual Description Technique to a Synchronous Language: From DiChartsto PURR. |
FBT |
1999 |
DBLP BibTeX RDF |
|
| 1 | Michaela Huhn, Klaus Schneider, Thomas Kropf, George Logothetis |
Verifying Imprecisely Working Arithmetic Circuits. |
DATE |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Klaus Schneider |
Model Checking on Product Structures. |
FMCAD |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Klaus Schneider, Michaela Huhn |
Comparing Model Checking and Term Rewriting for the Verification of an Embedded System. |
DIPES |
1998 |
DBLP BibTeX RDF |
|
| 1 | Ralf Reetz, Klaus Schneider, Thomas Kropf |
Formal Specification in VHDL for Hardware Verification. |
DATE |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Klaus Schneider, Thomas Kropf |
The C@S System. |
Formal Hardware Verification |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Klaus Schneider |
Ein einheitlicher Ansatz zur Unterstützung von Abstraktionsmechanismen der Hardware-Verifikation. |
|
1996 |
RDF |
|
| 1 | Klaus Schneider, Thomas Kropf |
A Unified Approach for Combining Different Formalisms for Hardware Verification. |
FMCAD |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Ramayya Kumar, Thomas Kropf, Klaus Schneider |
Formal synthesis of circuits with a simple handshake protocol. |
VLSI Design |
1995 |
DBLP DOI BibTeX RDF |
formal circuit synthesis, preproven building blocks, higher-order temporal operators, parametrized data signals, sequentially composed modules, parallel module composition, protocols, high level synthesis, logic design, operator semantics, template, formal logic, correctness proofs, synchronous circuits, handshake protocol, HOL theorem prover |
| 1 | Klaus Schneider, Ramayya Kumar, Thomas Kropf |
Accelerating Tableaux Proofs Using Compact Representations. |
Formal Methods in System Design |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Klaus Schneider, Thomas Kropf, Ramayya Kumar |
Control Path Oriented Verification of Sequential Generic Circuits with Control and Data Path. |
EDAC-ETC-EUROASIC |
1994 |
DBLP BibTeX RDF |
|
| 1 | Klaus Schneider, Ramayya Kumar, Thomas Kropf |
Automating Verification by Functional Abstraction at the System Level. |
TPHOLs |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Kropf, Klaus Schneider, Ramayya Kumar |
A Formal Framework for High Level Synthesis. |
TPCD |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Ramayya Kumar, Klaus Schneider, Thomas Kropf |
Structuring and Automating Hardware Proofs in a Higher-Order Theorem-Proving Environment. |
Formal Methods in System Design |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Kropf, Ramayya Kumar, Klaus Schneider |
Embedding Hardware Verification Within a Commercial Design Framework. |
CHARME |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Klaus Schneider, Ramayya Kumar, Thomas Kropf |
Hardware-Verification using First Order BDDs. |
CHDL |
1993 |
DBLP BibTeX RDF |
|
| 1 | Klaus Schneider, Ramayya Kumar, Thomas Kropf |
Alternative Proof Procedures for Finite-State Machines in Higher-Order Logic. |
HUG |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Dirk Eisenbiegler, Klaus Schneider, Ramayya Kumar |
A Functional Approach for Formalizing Regular Hardware Structures. |
HUG |
1993 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")