Search results for "European Train Control System"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
2	Angelo Chiappini, Alessandro Cimatti, Luca Macchi, Oscar Rebollo, Marco Roveri, Angelo Susi, Stefano Tonetta, Berardino Vittorini	Formalization and validation of a subset of the European Train Control System.	ICSE	2010	DBLP DOI BibTeX RDF	formal methods, methodology, requirements validation
2	André Platzer, Jan-David Quesel	European Train Control System: A Case Study in Formal Verification.	ICFEM	2009	DBLP DOI BibTeX RDF	formal verification of hybrid systems, train control, parameter constraint identification, theorem proving, disturbances
2	Roland Meyer, Johannes Faber, Jochen Hoenicke, Andrey Rybalchenko	Model checking Duration Calculus: a practical approach.	Formal Asp. Comput.	2008	DBLP DOI BibTeX RDF	European Train Control System, Real-time systems, Model checking, Verification, Timed automata, Case study, Duration Calculus
2	Johannes Faber, Roland Meyer	Model Checking Data-Dependent Real-Time Properties of the European Train Control System.	FMCAD	2006	DBLP DOI BibTeX RDF
1	Christian Herde, Andreas Eggers, Martin Fränzle, Tino Teige	Analysis of Hybrid Systems Using HySAT.	ICONS	2008	DBLP DOI BibTeX RDF
1	André Platzer, Jan-David Quesel	Logical Verification and Systematic Parametric Analysis in Train Control.	HSCC	2008	DBLP DOI BibTeX RDF	logic for hybrid systems, symbolic decomposition, parametric verification
1	André Platzer	Differential Dynamic Logic for Hybrid Systems.	J. Autom. Reasoning	2008	DBLP DOI BibTeX RDF	Verification of hybrid systems, Differential equations, Automated theorem proving, Dynamic logic, Sequent calculus, Axiomatisation
1	Werner Damm, Alfred Mikschl, Jens Oehlerking, Ernst-Rüdiger Olderog, Jun Pang, André Platzer, Marc Segelken, Boris Wirtz	Automating Verification of Cooperation, Control, and Design in Traffic Applications.	Formal Methods and Hybrid Real-Time Systems	2007	DBLP DOI BibTeX RDF
1	Johannes Faber, Swen Jacobs, Viorica Sofronie-Stokkermans	Verifying CSP-OZ-DC Specifications with Complex Data Types and Timing Parameters.	IFM	2007	DBLP DOI BibTeX RDF
1	Jan Trowitzsch, Armin Zimmermann	Using UML state machines and petri nets for the quantitative investigation of ETCS.	VALUETOOLS	2006	DBLP DOI BibTeX RDF	UML state machines, model transformation, stochastic petri nets, ETCS
1	Roland Meyer, Johannes Faber, Andrey Rybalchenko	Model Checking Duration Calculus: A Practical Approach.	ICTAC	2006	DBLP DOI BibTeX RDF
1	Holger Hermanns, David N. Jansen, Yaroslav S. Usenko	From StoCharts to MoDeST: a comparative reliability analysis of train radio communications.	WOSP	2005	DBLP DOI BibTeX RDF	European Train Control System (ETCS), UML, reliability, concurrency, wireless communication, tool support, stochastic systems
1	David N. Jansen, Holger Hermanns	Dependability Checking with StoCharts: Is Train Radio Reliable Enough for Trains?	QEST	2004	DBLP DOI BibTeX RDF
1	Jan Peleska	Applied Formal Methods - From CSP to Executable Hybrid Specifications.	25 Years Communicating Sequential Processes	2004	DBLP DOI BibTeX RDF
1	Armin Zimmermann, Günter Hommel	A Train Control System Case Study in Model-Based Real Time System Desig.	IPDPS	2003	DBLP DOI BibTeX RDF
1	Michael Meyer zu Hörste, Eckehard Schnieder	Formal Modelling and Simulation of Train Control Systems Using Petri Nets.	World Congress on Formal Methods	1999	DBLP DOI BibTeX RDF