Search results for "Jan Peleska"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Anne Elisabeth Haxthausen, Jan Peleska, Sebastian Kinder	A formal approach for the construction and verification of railway control systems.	Formal Asp. Comput.	2011	DBLP DOI BibTeX RDF
1	Jan Peleska, Artur Honisch, Florian Lapschies, Helge Löding, Hermann Schmid, Peer Smuda, Elena Vorobev, Cornelia Zahlten	A Real-World Benchmark Model for Testing Concurrent Real-Time Systems in the Automotive Domain.	ICTSS	2011	DBLP DOI BibTeX RDF
1	Jan Peleska, Elena Vorobev, Florian Lapschies	Automated Test Case Generation with SMT-Solving and Abstract Interpretation.	NASA Formal Methods	2011	DBLP DOI BibTeX RDF
1	Thilo Mende, Rainer Koschke, Jan Peleska	On the Utility of a Defect Prediction Model during HW/SW Integration Testing: A Retrospective Case Study.	CSMR	2011	DBLP DOI BibTeX RDF
1	Johannes Feuser, Jan Peleska	Security in Open Model Software with Hardware Virtualisation - The Railway Control System Perspective.	ECEASST	2010	DBLP BibTeX RDF
1	Helge Löding, Jan Peleska	Timed Moore Automata: Test Data Generation and Model Checking.	ICST	2010	DBLP DOI BibTeX RDF	Timed Moore Automata, model checking, model-based testing, livelocks
1	Oliver Schulz, Jan Peleska	Reliability Analysis of Safety-Related Communication Architectures.	SAFECOMP	2010	DBLP DOI BibTeX RDF
1	Jan Peleska	Integrated and Automated Abstract Interpretation, Verification and Testing of C/C++ Modules.	Concurrency, Compositionality, and Correctness	2010	DBLP DOI BibTeX RDF
1	Helge Löding, Jan Peleska	Symbolic and Abstract Interpretation for C/C++ Programs.	Electr. Notes Theor. Comput. Sci.	2008	DBLP DOI BibTeX RDF
1	Jan Peleska	A Unified Approach to Abstract Interpretation, Formal Verification and Testing of C/C++ Modules.	ICTAC	2008	DBLP DOI BibTeX RDF
1	Stefan Bisanz, Ulrich Hannemann, Jan Peleska	Executable Semantics for Hybrid Systems - The Hybrid Low-Level Framework.	COMPSAC	2008	DBLP DOI BibTeX RDF	embedded systems, Hybrid systems, operational semantics
1	David Buchtela, Jan Peleska, Miroslav Zvolský, Jana Zvárová	Medical Knowledge Representation System.	MIE	2008	DBLP DOI BibTeX RDF
1	David Buchtela, Jan Peleska, Arnost Veselý, Jana Zvárová, Miroslav Zvolský	Formalization of Clinical Practice Guidelines.	MIE	2008	DBLP DOI BibTeX RDF
1	Anne Elisabeth Haxthausen, Jan Peleska	A Domain-Oriented, Model-Based Approach for Construction and Verification of Railway Control Systems.	Formal Methods and Hybrid Real-Time Systems	2007	DBLP DOI BibTeX RDF	railway control systems, verification, formal methods, code generation, domain-specific languages, domain engineering
1	Jan Peleska, Helge Löding, Tatiana Kotas	Test Automation Meets Static Analysis.	GI Jahrestagung	2007	DBLP BibTeX RDF
1	Arnost Veselý, Jana Zvárová, Jan Peleska, David Buchtela, Zdenek Anger	Medical guidelines presentation and comparing with Electronic Health Record.	I. J. Medical Informatics	2006	DBLP DOI BibTeX RDF
1	Kirsten Berkenkötter, Stefan Bisanz, Ulrich Hannemann, Jan Peleska	The HybridUML profile for UML 2.0.	STTT	2006	DBLP DOI BibTeX RDF	UML, Embedded systems, Hybrid automata
1	Bahareh Badban, Martin Fränzle, Jan Peleska, Tino Teige	Test automation for hybrid systems.	SOQUA	2006	DBLP DOI BibTeX RDF	MCDC coverage, hybrid systems, test case generation, interval analysis
1	Jan Peleska	Applied Formal Methods - From CSP to Executable Hybrid Specifications.	25 Years Communicating Sequential Processes	2004	DBLP DOI BibTeX RDF
1	Kirsten Berkenkötter, Stefan Bisanz, Ulrich Hannemann, Jan Peleska	Executable HybridUML and Its Application to Train Control Systems.	SoftSpez Final Report	2004	DBLP DOI BibTeX RDF
1	Jan Peleska	Hardware/Software Integration Testing for the new Airbus Aircraft Families.	TestCom	2002	DBLP BibTeX RDF
1	Anne Elisabeth Haxthausen, Jan Peleska	Formal Development and Verification of a Distributed Railway Control System.	IEEE Trans. Software Eng.	2000	DBLP DOI BibTeX RDF	verification, formal specification, Safety, stepwise refinement, railways, distributed control system, RAISE
1	Hui Shi, Jan Peleska, Michel Kouvaras	Combining Methods for the Analysis of a Fault-Tolerant System.	PRDC	1999	DBLP DOI BibTeX RDF
1	Anne Elisabeth Haxthausen, Jan Peleska	Formal Development and Verification of a Distributed Railway Control System.	World Congress on Formal Methods	1999	DBLP DOI BibTeX RDF
1	Bernd Krieg-Brückner, Jan Peleska, Ernst-Rüdiger Olderog, Alexander Baer	The UniForM Workbench, a Universal Development Environment for Formal Methods.	World Congress on Formal Methods	1999	DBLP DOI BibTeX RDF
1	Jan Peleska, Bettina Buth	Formal Methods for the International Space Station ISS.	Correct System Design	1999	DBLP DOI BibTeX RDF	Byzantine AgreementProtocol, Generalised Stochastic Petri Nets, Hardware-in-the-loop Test, International Space Station, Model Checking, Formal Verification, CSP, Fault-Tolerant Systems, Test Automation
1	Bettina Buth, Jan Peleska, Hui Shi	Combining Methods for the Livelock Analysis of a Fault-Tolerant System.	AMAST	1998	DBLP DOI BibTeX RDF
1	Gerd Urban, Hans-Joachim Kolinowitz, Jan Peleska	A Survivable Avionics System for Space Applications.	FTCS	1998	DBLP DOI BibTeX RDF
1	Bettina Buth, Michel Kouvaras, Jan Peleska, Hui Shi	Deadlock Analysis for a Fault-Tolerant System.	AMAST	1997	DBLP DOI BibTeX RDF
1	Jan Peleska, Michael Siegel	From Testing Theory to Test Driver Implementation.	FME	1996	DBLP DOI BibTeX RDF	may tests, must tests, refinement, test generation, CSP, reactive systems, FDR, test evaluation
1	Jan Peleska	Test Automation for Safety-Critical Systems: Industrial Application and Future Developments.	FME	1996	DBLP DOI BibTeX RDF	test driver, test monitors, refinement, test generation, CSP, reactive systems, test oracles, FDR
1	Hans-Martin Hörcher, Jan Peleska	Using formal specifications to support software testing.	Software Quality Journal	1995	DBLP DOI BibTeX RDF
1	Carsta Petersohn, Willem P. de Roever, Cornelis Huizing, Jan Peleska	Formal Semantics for Ward & Mellor's Transformation Schemas and the Specification of Faul Tolerant Systems.	EDCC	1994	DBLP DOI BibTeX RDF	Real-time embedded systems and their design, Structured Analysis and Design Methods, Transformation Schema, micro and macro steps, Berry's synchrony hypothesis, safety critical systems design, simulation of and semantics for fault-tolerant systems, modularity, formal semantics, synchronous languages
1	Jan Peleska	Formale Spezifikation generischer ITSEC-Funktionalitätsklassen.	GI Jahrestagung	1993	DBLP BibTeX RDF
1	Jan Peleska	Design and Verification of Fault Tolerant Systems with CSP.	Distributed Computing	1991	DBLP DOI BibTeX RDF

Publications of "Jan Peleska" ( http://dblp.L3S.de/Authors/Jan_Peleska )