Google
Google Scholar
Semantic Scholar
MS Academic
CiteSeerX
ORCIDKlaus Schneider 0001
Person information
- affiliation: University of Kaiserslautern, Department of Computer Science, Germany
Other persons with the same name
- Klaus Schneider — disambiguation page
- Klaus Schneider 0002 — Volkswagen AG Research and Development, Wolfsburg, Germany
- Klaus Schneider 0003 — Liebherr-Werk Nenzing GmbH, Germany
- Klaus Schneider 0004 — University of Arizona, AZ, USA
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2021
[c183]Omair Rafique, Yu Bai, Klaus Schneider, Guangxi Yan:
Synthesis of Heterogeneous Dataflow Models from Synchronous Specifications. COMPSAC 2021: 43-48- [c182]Yu Bai, Omair Rafique, Klaus Schneider:
A Model-based Design Flow for Asynchronous Implementations from Synchronous Specifications. DATE 2021: 862-867 - [c181]Omair Rafique, Yu Bai, Klaus Schneider, Guangxi Yan:
Efficient Implementation of Heterogeneous Dataflow Models using Synchronous IO Patterns. DSD 2021: 82-89 - [c180]Omair Rafique, Klaus Schneider:
Integrating Kahn Process Networks as a Model of Computation in an Extendable Model-based Design Framework. MODELSWARD 2021: 87-99 - 2020
- [c179]Omair Rafique, Klaus Schneider:
SHeD: A Framework for Automatic Software Synthesis of Heterogeneous Dataflow Process Networks. DSD 2020: 1-10 - [c178]Jens Froemmer, Yara Gowayed, Nico Bannow, Wolfgang Kunz, Christoph Grimm, Klaus Schneider:
Area Estimation Framework for Digital Hardware Design using Machine Learning. MBMV 2020: 1-10 - [c177]Martin Köhler, Felix Hasselwander, Klaus Schneider:
Properties of Invariants and Induction Lemmata. MBMV 2020: 1-10 - [c176]Omair Rafique, Klaus Schneider:
Employing OpenCL as a Standard Hardware Abstraction in a Distributed Embedded System: A Case Study. MECO 2020: 1-7 - [c175]Marc Dahlem, Klaus Schneider:
Compiling synchronous languages to optimal move code for exposed datapath architectures. SCOPES 2020: 19-25
2010 – 2019
- 2019
- [j23]Patricia Derler, Klaus Schneider, Jean-Pierre Talpin:
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. 18(1): 1:1-1:2 (2019) - [c174]Markus Anders, Klaus Schneider:
A Formal Semantics of Exposed Datapath Architectures with Buffered Processing Units. ACSD 2019: 53-62 - [c173]Omair Rafique, Florian Krebs, Klaus Schneider:
Generating Efficient Parallel Code from the RVC-CAL Dataflow Language. DSD 2019: 182-189 - [c172]Jens Froemmer, Nico Bannow, Axel Aue, Christoph Grimm, Klaus Schneider:
Flexible Data Flow Architecture for Embedded Hardware Accelerators. ICA3PP (1) 2019: 33-47 - [c171]Martin Köhler, Klaus Schneider:
Inductive Proof Rules Beyond Safety Properties. MBMV 2019: 1-9 - [c170]Omair Rafique, Klaus Schneider:
Automatic Software Synthesis of Static and Dynamic Dataflow Process Networks. MDE4IoT/ModComp@MoDELS 2019: 73-80 - [c169]Omair Rafique, Klaus Schneider:
Evaluating OpenCL as a Standard Hardware Abstraction for a Model-based Synthesis Framework: A Case Study. MODELSWARD 2019: 386-393 - 2018
- [j22]Maximilian Senftleben
, Klaus Schneider:
Using temporal logics for specifying weak memory consistency models. Int. J. Crit. Comput. Based Syst. 8(2): 214-229 (2018) - [j21]Tripti Jain, Klaus Schneider:
The Half Cleaner Lemma: Constructing Efficient Interconnection Networks from Sorting Networks. Parallel Process. Lett. 28(1): 1850001:1-1850001:14 (2018) - [j20]Marc Dahlem, Anoop Bhagyanath, Klaus Schneider:
Optimal Scheduling for Exposed Datapath Architectures with Buffered Processing Units by ASP. Theory Pract. Log. Program. 18(3-4): 438-451 (2018) - [c168]Markus Anders, Anoop Bhagyanath, Klaus Schneider:
On Memory Optimal Code Generation for Exposed Datapath Architectures with Buffered Processing Units. ACSD 2018: 115-124 - [c167]Maximilian Senftleben, Klaus Schneider:
Operational Characterization of Weak Memory Consistency Models. ARCS 2018: 195-208 - [c166]Klaus Schneider, Marc Dahlem:
Are Synchronous Programs Logic Programs? Principled Software Development 2018: 251-266 - [c165]Omair Rafique, Klaus Schneider:
A Model-based Synthesis Framework for the Execution of Dynamic Dataflow Actors. IINTEC 2018: 177-182 - [c164]Tripti Jain, Klaus Schneider:
Routing Partial Permutations in General Interconnection Networks based on Radix Sorting. MBMV 2018 - [c163]Tripti Jain, Klaus Schneider:
Optimal Self-Routing Split Modules for Radix-based Interconnection Networks. MEMOCODE 2018: 99-108 - [c162]Tripti Jain, Klaus Schneider:
Routing Partial Permutations in Interconnection Networks based on Radix Sorting. ReCoSoC 2018: 1-10 - [i3]Marc Dahlem, Anoop Bhagyanath, Klaus Schneider:
Optimal Scheduling for Exposed Datapath Architectures with Buffered Processing Units by ASP. CoRR abs/1804.10998 (2018) - 2017
- [c161]Anoop Bhagyanath, Klaus Schneider:
Exploring the Potential of Instruction-Level Parallelism of Exposed Datapath Architectures with Buffered Processing Units. ACSD 2017: 106-115 - [c160]Tripti Jain, Klaus Schneider, Frederik Walk:
Out-of-Order Execution of Buffered Function Units in Exposed Data Path Architectures. IPDPS Workshops 2017: 229-234 - [c159]Marc Dahlem, Tripti Jain, Klaus Schneider, Michael Gillmann:
Automatic Synthesis of Optimal-Size Concentrators by Answer Set Programming. LPNMR 2017: 279-285 - [c158]Tripti Jain, Klaus Schneider, Ankesh Jain:
An Efficient Self-Routing and Non-Blocking Interconnection Network on Chip. NoCArc@MICRO 2017: 4:1-4:6 - [c157]Tripti Jain, Klaus Schneider, Ankesh Jain:
Deriving concentrators from binary sorters using half cleaners. ReConFig 2017: 1-6 - [c156]Anoop Bhagyanath, Klaus Schneider:
Exploring different execution paradigms in exposed datapath architectures with buffered processing units. SAMOS 2017: 1-10 - [p1]Klaus Schneider, Jens Brandt:
Quartz: A Synchronous Language for Model-Based Design of Reactive Embedded Systems. Handbook of Hardware/Software Codesign 2017: 29-58 - [e4]Jean-Pierre Talpin, Patricia Derler, Klaus Schneider:
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. ACM 2017, ISBN 978-1-4503-5093-8 [contents] - 2016
- [j19]Alessandro Gerlinger Romero, Klaus Schneider, Maurício Gonçalves Vieira Ferreira:
Semantics in space systems architectures. Innov. Syst. Softw. Eng. 12(1): 27-40 (2016) - [c155]Xian Li, Klaus Schneider:
Control-flow guided clause generation for property directed reachability. HLDVT 2016: 17-24 - [c154]Anoop Bhagyanath, Tripti Jain, Klaus Schneider:
Towards Code Generation for the Synchronous Control Asynchronous Dataflow (SCAD) Architectures. MBMV 2016: 77-88 - [c153]Thorsten Ropertz, Karsten Berns, Xian Li, Klaus Schneider:
Verification of Behavior-Based Control Systems in their Physical Environment. MBMV 2016: 128-137 - [c152]Xian Li, Klaus Schneider:
Control-flow guided property directed reachability for imperative synchronous programs. MEMOCODE 2016: 23-33 - [c151]Tripti Jain, Klaus Schneider:
Verifying the concentration property of permutation networks by BDDs. MEMOCODE 2016: 43-53 - [c150]Anoop Bhagyanath, Klaus Schneider:
Optimal compilation for exposed datapath architectures with buffered processing units by SAT solvers. MEMOCODE 2016: 143-152 - [c149]Tripti Jain, Klaus Schneider, Anoop Bhagyanath:
The selector-tree network: A new self-routing and non-blocking interconnection network. ReCoSoC 2016: 1-8 - [c148]Omair Rafique, Klaus Schneider:
Introducing MoC Drivers for the Integration of Sensor-Actuator Behaviors in Model-Based Design Flows of Embedded Systems. SCOPES 2016: 50-59 - [c147]Omair Rafique, Klaus Schneider:
Towards the standardization of plug-and-play devices for model-based designs of embedded systems. SIES 2016: 189-192 - [c146]Maximilian Senftleben, Klaus Schneider:
Specifying Weak Memory Consistency with Temporal Logic. VECoS 2016: 107-122 - 2015
- [j18]Daniel Baudisch, Klaus Schneider:
Evaluation of Speculation in Out-of-Order Execution of Synchronous Dataflow Networks. Int. J. Parallel Program. 43(1): 86-129 (2015) - [j17]Florian Furbach, Roland Meyer, Klaus Schneider, Maximilian Senftleben:
Memory-Model-Aware Testing: A Unified Complexity Analysis. ACM Trans. Embed. Comput. Syst. 14(4): 63:1-63:25 (2015) - [c145]Xian Li, Klaus Schneider:
A Counterexample-Guided Approach to Symbolic Simulation of Hybrid Systems. MBMV 2015: 50-62 - [c144]Xian Li, Klaus Schneider:
Verification condition generation for hybrid systems. MEMOCODE 2015: 238-247 - [c143]Anoop Bhagyanath, Tripti Jain, Klaus Schneider:
A Time-Predictable Model of Computation. RTSS 2015: 376 - [c142]Xian Li, Klaus Schneider:
An SMT-based Approach to analyze Non-Linear Relations of Parameters for Hybrid Systems. SyDe Summer School 2015: 290-292 - 2014
- [j16]Jens Brandt, Mike Gemünde, Klaus Schneider, Sandeep K. Shukla, Jean-Pierre Talpin:
Representation of synchronous, asynchronous, and polychronous components by clocked guarded actions. Des. Autom. Embed. Syst. 18(1-2): 63-97 (2014) - [j15]Jean-Pierre Talpin, Jens Brandt, Mike Gemünde, Klaus Schneider, Sandeep K. Shukla:
Constructive polychronous systems. Sci. Comput. Program. 96: 377-394 (2014) - [j14]Jens Brandt, Klaus Schneider, Yu Bai:
Passive code in synchronous programs. ACM Trans. Embed. Comput. Syst. 13(2s): 67:1-67:25 (2014) - [c141]Florian Furbach, Roland Meyer, Klaus Schneider, Maximilian Senftleben:
Memory Model-Aware Testing - A Unified Complexity Analysis. ACSD 2014: 92-101 - [c140]Yu Bai, Klaus Schneider:
Isochronous networks by construction. DATE 2014: 1-6 - [c139]Nikita Bhardwaj, Maximilian Senftleben, Klaus Schneider:
Abacus: A Processor Family for Education. WESE 2014: 2:1-2:8 - [c138]Klaus Schneider, Adrian Willenbücher:
A New Algorithm for Carry-Free Addition of Binary Signed-Digit Numbers. FCCM 2014: 44-51 - [c137]Manuel Gesell, Felipe Bichued, Klaus Schneider:
Using Different Representations of Synchronous Systems in SAL. MBMV 2014: 13-24 - [c136]Mohamed Ammar Ben Khadra, Yu Bai, Klaus Schneider:
Synthesis of Distributed Synchronous Specifications to SysteMoC. MBMV 2014: 71-81 - [c135]Yu Bai, Klaus Schneider, Nikita Bhardwaj, Badarinath Katti, Tania Shazadi:
From clock-driven to data-driven models. MEMOCODE 2014: 32-41 - [c134]Alessandro Gerlinger Romero, Klaus Schneider, Maurício Gonçalves Vieira Ferreira:
Using the Base Semantics given by fUML for Verification. MODELSWARD 2014: 5-16 - [c133]Daniel Baudisch, Yu Bai, Klaus Schneider:
Reducing the Communication of Message-Passing Systems Synthesized from Synchronous Programs. PDP 2014: 444-451 - [c132]Alessandro Gerlinger Romero, Klaus Schneider, Maurício Gonçalves Vieira Ferreira:
Integrating UML Composite Structures and fUML. SOFSEM 2014: 269-280 - [c131]Mohamed Ammar Ben Khadra, Yu Bai, Klaus Schneider:
High level modeling of elastic circuits in SystemC. SpringSim (TMS-DEVS) 2014: 24 - 2013
- [j13]Mike Gemünde, Jens Brandt, Klaus Schneider:
Clock refinement in imperative synchronous languages. EURASIP J. Embed. Syst. 2013: 3 (2013) - [j12]Jens Brandt, Mike Gemunde, Klaus Schneider, Sandeep K. Shukla, Jean-Pierre Talpin:
Embedding Polychrony into Synchrony. IEEE Trans. Software Eng. 39(7): 917-929 (2013) - [c130]Manuel Gesell, Klaus Schneider:
Modular Verification of Synchronous Programs. ACSD 2013: 70-79 - [c129]Adrian Willenbücher, Klaus Schneider:
Automatic Hard Block Inference on FPGAs. DSD 2013: 551-557 - [c128]Xian Li, Kerstin Bauer, Klaus Schneider:
Interactive Verification of Cyber-physical Systems: Interfacing Averest and KeYmaera. FedCSIS 2013: 1393-1400 - [c127]Alessandro Gerlinger Romero, Klaus Schneider, Maurício Gonçalves Vieira Ferreira:
Towards the Applicability of Alf to Model Cyber-Physical Systems. FedCSIS 2013: 1415-1422 - [c126]Andreas Morgenstern, Manuel Gesell, Klaus Schneider:
Solving Games Using Incremental Induction. IFM 2013: 177-191 - [c125]Jean-Pierre Talpin, Jens Brandt, Mike Gemünde, Klaus Schneider, Sandeep K. Shukla:
Constructive Polychronous Systems. LFCS 2013: 335-349 - [c124]Manuel Gesell, Klaus Schneider:
An Interactive Verification Tool for Synchronous/Reactive Systems. MBMV 2013: 267-277 - [c123]Manuel Gesell, Klaus Schneider:
Translating synchronous guarded actions to interleaved guarded actions. MEMOCODE 2013: 167-176 - [c122]Omair Rafique, Manuel Gesell, Klaus Schneider:
Targeting different abstraction layers by model-based design methods for embedded systems: A case study. RTCSA 2013: 334-337 - [c121]Omair Rafique, Manuel Gesell, Klaus Schneider:
Generating hardware specific code at different abstraction levels using Averest. M-SCOPES 2013: 90-92 - [c120]Manuel Gesell, Andreas Morgenstern, Klaus Schneider:
Lifting Verification Results for Preemption Statements. SEFM 2013: 91-105 - [i2]Stephen A. Edwards, Alain Girault, Klaus Schneider:
Synchronous Programming (Dagstuhl Seminar 13471). Dagstuhl Reports 3(11): 117-143 (2013) - 2012
- [c119]Kerstin Bauer, Klaus Schneider:
Teaching cyber-physical systems: a programming approach. WESE 2012: 3 - [c118]Yu Bai, Jens Brandt, Klaus Schneider:
Monitoring distributed reactive systems. HLDVT 2012: 84-91 - [c117]Daniel Baudisch, Jens Brandt, Klaus Schneider:
Efficient Handling of Arrays in Dataflow Process Networks. HPCC-ICESS 2012: 1395-1402 - [c116]Andreas Morgenstern, Manuel Gesell, Klaus Schneider:
An Asymptotically Correct Finite Path Semantics for LTL. LPAR 2012: 304-319 - [c115]Yu Bai, Jens Brandt, Klaus Schneider:
Preservation of LTL properties in desynchronized systems. MEMOCODE 2012: 53-64 - [c114]Manuel Gesell, Klaus Schneider:
Interactive verification of synchronous systems. MEMOCODE 2012: 75-84 - [c113]Manuel Gesell, Klaus Schneider:
A hoare calculus for the verification of synchronous languages. PLPV 2012: 37-48 - [c112]Daniel Baudisch, Jens Brandt, Klaus Schneider:
Out-Of-order execution of synchronous data-flow networks. ICSAMOS 2012: 168-175 - [e3]Jens Brandt, Klaus Schneider:
Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Kaiserslautern, Germany, March 5-7, 2012. Forschungsergebnisse zur Informatik 68, Verlag Dr. Kovac 2012, ISBN 978-3-8300-6201-1 [contents] - 2011
- [j11]Kerstin Bauer, Raffaella Gentilini, Klaus Schneider:
A uniform approach to three-valued semantics for μ-calculus on abstractions of hybrid automata. Int. J. Softw. Tools Technol. Transf. 13(3): 273-287 (2011) - [c111]Yu Bai, Jens Brandt, Klaus Schneider:
Data-Flow Analysis of Extended Finite State Machines. ACSD 2011: 163-172 - [c110]Jens Brandt, Mike Gemunde, Klaus Schneider, Sandeep K. Shukla, Jean-Pierre Talpin:
Integrating system descriptions by clocked guarded actions. FDL 2011: 1-8 - [c109]Mike Gemunde, Jens Brandt, Klaus Schneider:
Schizophrenia and causality in the context of refined clocks. FDL 2011: 1-8 - [c108]Mike Gemünde, Jens Brandt, Klaus Schneider:
Causality analysis of synchronous programs with refined clocks. HLDVT 2011: 25-32 - [c107]Georgi Gaydadjiev, Sofiène Tahar, Greg Byrd, Klaus Schneider:
Welcome to ICCD 2011! ICCD 2011 - [c106]Karl Heckemann, Manuel Gesell, Thomas Pfister, Karsten Berns, Klaus Schneider, Mario Trapp:
Safe Automotive Software. KES (4) 2011: 167-176 - [c105]Andreas Morgenstern, Klaus Schneider:
Synthesis of Parallel Sorting Networks using SAT Solvers. MBMV 2011: 71-80 - [c104]Jens Brandt, Klaus Schneider:
Round Trip to Asynchrony and Synchrony. MBMV 2011: 239-248 - [c103]Daniel Baudisch, Jens Brandt, Klaus Schneider:
Translating Synchronous Systems to Data-Flow Process Networks. PDCAT 2011: 354-361 - [c102]Yu Bai, Jens Brandt, Klaus Schneider:
SMT-based optimization for synchronous programs. SCOPES 2011: 11-20 - [c101]Andreas Morgenstern, Klaus Schneider:
Program Sketching via CTL* Model Checking. SPIN 2011: 126-143 - [c100]Andreas Morgenstern, Klaus Schneider:
A LTL Fragment for GR(1)-Synthesis. iWIGP 2011: 33-45 - 2010
- [c99]Kerstin Bauer, Klaus Schneider:
Predicting Events for the Simulation of Hybrid Systems. CIT 2010: 1833-1840 - [c98]Mike Gemunde, Jens Brandt, Klaus Schneider:
A Formal Semantics of Clock Refinement in Imperative Synchronous Languages. ACSD 2010: 157-168 - [c97]Jens Brandt, Klaus Schneider, Sumit Ahuja, Sandeep K. Shukla:
The Model Checking View to Clock Gating and Operand Isolation. ACSD 2010: 181-190 - [c96]Daniel Baudisch, Jens Brandt, Klaus Schneider:
Multithreaded code from synchronous programs: Extracting independent threads for OpenMP. DATE 2010: 949-952 - [c95]Kerstin Bauer, Klaus Schneider:
From synchronous programs to symbolic representations of hybrid systems. HSCC 2010: 41-50 - [c94]Daniel Baudisch, Jens Brandt, Klaus Schneider:
Dependency-Driven Distribution of Synchronous Programs. DIPES/BICC 2010: 169-180 - [c93]Jens Brandt, Klaus Schneider, Sandeep K. Shukla:
Translating concurrent action oriented specifications to synchronous guarded actions. LCTES 2010: 47-56 - [c92]Daniel Baudisch, Jens Brandt, Klaus Schneider:
Multithreaded Code from Synchronous Programs: Generating Software Pipelines for OpenMP. MBMV 2010: 11-20 - [c91]Jens Brandt, Mike Gemünde, Klaus Schneider:
From Synchronous Guarded Actions to SystemC. MBMV 2010: 187-196 - [c90]Klaus Schneider, Barbara Jobstmann, Luca P. Carloni, Jens Brandt:
Message from the chairs. MEMOCODE 2010: 1-3 - [c89]Mike Gemunde, Jens Brandt, Klaus Schneider:
Compilation of imperative synchronous programs with refined clocks. MEMOCODE 2010: 209-218 - [c88]Andreas Morgenstern, Klaus Schneider:
Exploiting the Temporal Logic Hierarchy and the Non-Confluence Property for Efficient LTL Synthesis. GANDALF 2010: 89-102
2000 – 2009
- 2009
- [c87]Jens Brandt, Mike Gemunde, Klaus Schneider:
Desynchronizing Synchronous Programs by Modes. ACSD 2009: 32-41 - [c86]Daniel Baudisch, Manuel Gesell, Klaus Schneider:
Online Exercise System - A Web-based Tool for Administration and Automatic Correction of Exercises. CSEDU (1) 2009: 104-110 - [c85]Eric Vecchié, Jean-Pierre Talpin, Klaus Schneider:
Separate compilation and execution of imperative synchronous modules. DATE 2009: 1580-1583 - [c84]Jens Brandt, Klaus Schneider, Adrian Willenbücher:
Using IP Cores in Synchronous Languages. MBMV 2009: 97-106 - [c83]Jens Brandt, Klaus Schneider:
Static data-flow analysis of synchronous programs. MEMOCODE 2009: 161-170 - [c82]Jens Brandt, Klaus Schneider:
Separate compilation for synchronous programs. SCOPES 2009: 1-10 - [c81]Kerstin Bauer, Raffaella Gentilini, Klaus Schneider:
Property Driven Three-Valued Model Checking on Hybrid Automata. WoLLIC 2009: 218-229 - [e2]Albert Benveniste, Stephen A. Edwards, Edward A. Lee, Klaus Schneider, Reinhard von Hanxleden:
SYNCHRON 2009, 22.11. - 27.11.2009. Dagstuhl Seminar Proceedings 09481, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany 2009 [contents] - [i1]Albert Benveniste, Stephen A. Edwards, Edward A. Lee, Klaus Schneider, Reinhard von Hanxleden:
09481 Abstracts Collection - SYNCHRON 2009. SYNCHRON 2009 2009 - 2008
- [j10]Arnd Poetzsch-Heffter, Klaus Schneider:
Preface. Electron. Notes Theor. Comput. Sci. 200(2): 1 (2008) - [j9]Kerstin Bauer, Raffaella Gentilini, Klaus Schneider:
Approximated Reachability on Hybrid Automata: Falsification meets Certification. Electron. Notes Theor. Comput. Sci. 223: 47-60 (2008) - [c80]Klaus Schneider, Jens Brandt:
Performing causality analysis by bounded model checking. ACSD 2008: 78-87 - [c79]Kerstin Bauer, Raffaella Gentilini, Klaus Schneider:
A Uniform Approach to Three-Valued Semantics for µ-Calculus on Abstractions of Hybrid Automata. Haifa Verification Conference 2008: 38-52 - [c78]Andreas Morgenstern, Klaus Schneider, Sven Lamberti:
Generating Deterministic $\omega$-Automata for most LTL Formulas by the Breakpoint Construction. MBMV 2008: 119-128 - [c77]Jens Brandt, Klaus Schneider, Adrian Willenbücher:
Hardware Acceleration for Model Checking. MBMV 2008: 179-187 - [c76]Jens Brandt, Klaus Schneider:
Formal Reasoning About Causality Analysis. TPHOLs 2008: 118-133 - [c75]Andreas Morgenstern, Klaus Schneider:
From LTL to Symbolically Represented Deterministic Automata. VMCAI 2008: 279-293 - 2007
- [j8]Tobias Schüle, Klaus Schneider:
Bounded model checking of infinite state systems. Formal Methods Syst. Des. 30(1): 51-81 (2007) - [c74]