Search results for "railway control systems"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
3	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
2	Anne Elisabeth Haxthausen	A Domain-Specific Framework for Automated Construction and Verification of Railway Control Systems.	SAFECOMP	2009	DBLP DOI BibTeX RDF
2	Andrea Bondavalli, Enrico De Giudici, Stefano Porcarelli, Salvatore Sabina, Fabrizio Zanini	A Freshness Detection Mechanism for Railway Applications.	PRDC	2004	DBLP DOI BibTeX RDF	railway control systems, real-time, safety
2	Arturo M. Amendola, Roberto Di Maio, M. L. Iacobuzio, Fabio Poli, Fernando Scalabrini	Lessons Learned in Designing and Evaluating Railway Control Systems.	WORDS Fall	2003	DBLP DOI BibTeX RDF
2	Jean-Luis Dufour	Safety computations in integrated circuits.	VTS	1996	DBLP DOI BibTeX RDF	safety computations, software-based railway control systems, MATRA TRANSPORT, signature checking, coded processor, reliability, fault tolerant computing, logic testing, redundancy, integrated circuit testing, error correction codes, automatic testing, application specific integrated circuits, ASICs, integrated circuits, coprocessors, arithmetic coding, integrated circuit reliability
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	Simona Bernardi, Francesco Flammini, Stefano Marrone, José Merseguer, Camilla Papa, Valeria Vittorini	Model-Driven Availability Evaluation of Railway Control Systems.	SAFECOMP	2011	DBLP DOI BibTeX RDF
1	Kirsten Mewes	Domain-specific Modelling of Railway Control Systems with Integrated Verification and Validation.		2010	RDF
1	Andrzej Lewinski, Tomasz Perzynski	The Reliability and Safety of Railway Control Systems Based on New Information Technologies.	TST	2010	DBLP DOI BibTeX RDF
1	Kirsten Mewes	Domain-specific Modeling, Validation, and Verification of Railway Control Systems.	MBEES	2009	DBLP BibTeX RDF
1	Renato Donini, Stefano Marrone, Nicola Mazzocca, Antonio Orazzo, Domenico Papa, Salvatore Venticinque	Testing Complex Safety-Critical Systems in SOA Context.	CISIS	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	Jaime Lloret, Francisco Javier Sanchez, Hugo Coll, Fernando Boronat	Can Critical Real-Time Services of Public Infrastructures Run over Ethernet and MPLS Networks?.	Networking	2008	DBLP DOI BibTeX RDF	Ethernet, MPLS, critical systems, real-time networks
1	Jens R. Calame, Nicolae Goga, Natalia Ioustinova, Jaco van de Pol	TTCN-3 Testing of Hoorn-Kersenboogerd Railway Interlocking.	CCECE	2006	DBLP DOI BibTeX RDF
1	Kirsten Berkenkötter	OCL-Based Validation of a Railway Domain Profile.	MoDELS Workshops	2006	DBLP DOI BibTeX RDF
1	Kirsten Berkenkötter, Ulrich Hannemann	Modeling the Railway Control Domain Rigorously with a UML 2.0 Profile.	SAFECOMP	2006	DBLP DOI BibTeX RDF
1	Stefan Blom, Natalia Ioustinova, Jaco van de Pol, Axel Rennoch, Natalia Sidorova	Simulated Time for Testing Railway Interlockings with TTCN-3.	FATES	2005	DBLP DOI BibTeX RDF
1	Jose Antonio Fonseca, Jorge Rady de Almeida Jr.	CMMI RAMS Extension Based on CENELEC Railway Standard.	SAFECOMP	2005	DBLP DOI BibTeX RDF
1	Giuseppe De Nicola, Pasquale di Tommaso, Rosaria Esposito, Francesco Flammini, Antonio Orazzo	A Hybrid Testing Methodology for Railway Control Systems.	SAFECOMP	2004	DBLP DOI BibTeX RDF
1	Julio Mellado, Manuel Sierra, Ana Romera, Juan C. Dueñas	Railway-Control Product Families: The Alcatel TAS Platform Experience.	IW-SAPF	2000	DBLP DOI BibTeX RDF
1	A. A. Holzbacher, M. Périn, Mario Südholt	Modeling Railway Control Systems Using Graph Grammars: A Case Study.	COORDINATION	1997	DBLP DOI BibTeX RDF
1	Arturo M. Amendola, Leonardo Impagliazzo, P. Marmo, Fabio Poli	Experimental Evaluation of Computer-Based Railway Control Systems.	FTCS	1997	DBLP DOI BibTeX RDF
1	Jean Arlat, Nobuyasu Kanekawa, Arturo M. Amendola, Jean-Luis Dufour, Yuji Hirao, Joseph A. Profeta III	Dependability of Railway Control Systems.	FTCS	1996	DBLP BibTeX RDF