Ralf Pinger - RankMe

14 papers A 1B 1C 1Journal 2Unranked 7

Year	Rank	Type	Title / Venue / Authors
2021	J	`jnl`	Efficient data validation for geographical interlocking systems. Formal Aspects Comput. Jan Peleska, Niklas Krafczyk, Anne E. Haxthausen, Ralf Pinger
2019	—	`conf`	Efficient Data Validation for Geographical Interlocking Systems. RSSRail Jan Peleska, Niklas Krafczyk, Anne E. Haxthausen, Ralf Pinger
2016	—	`ed.`	Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification - First International Conference, RSSRail 2016, Paris, France, June 28-30, 2016, Proceedings RSSRail Thierry Lecomte, Ralf Pinger, Alexander B. Romanovsky
2014	—	`conf`	A formal systems engineering approach in practice: an experience report. SER&IPs Wolfgang Böhm, Maximilian Junker, Andreas Vogelsang, Sabine Teufl, Ralf Pinger, Karsten Rahn
2014	—	`conf`	Understanding and closing the gap between requirements on system and subsystem level. MoDRE Sabine Teufl, Wolfgang Böhm, Ralf Pinger
2013	—	`conf`	Applied Bounded Model Checking for Interlocking System Designs. SEFM Workshops Anne E. Haxthausen, Jan Peleska, Ralf Pinger
2012	C	`ed.`	Formal Methods for Industrial Critical Systems - 17th International Workshop, FMICS 2012, Paris, France, August 27-28, 2012. Proceedings FMICS Mariëlle Stoelinga, Ralf Pinger
2007	—	`conf`	Automation of Formal Verification of PLC Programs Written in IL. VERIFY Olivera Pavlovic, Ralf Pinger, Maik Kollmann
2003	J	`jnl`	Checking Object System Designs Incrementally. J. Univers. Comput. Sci. Hans-Dieter Ehrich, Maik Kollmann, Ralf Pinger
2002	—	`—`	Kompositionale Verifikation nebenläufiger Softwaremodelle durch Model Checking. Ralf Pinger
2001	B	`conf`	Compositional Checking of Communication among Observers. FASE Ralf Pinger, Hans-Dieter Ehrich
1999	—	`conf`	Ein Ansatz zur Verifikation mehrerer Agenten durch Model Checking. Grundlagen von Datenbanken Ralf Pinger
1998	A	`conf`	The TROLL Approach to Conceptual Modeling: Syntax, Semantics and Tools. ER Antonio Grau, Juliana Küster Filipe, Mojgan Kowsari, Silke Eckstein, Ralf Pinger, Hans-Dieter Ehrich
1998	—	`conf`	Verifikation von Informationssystemen durch Model Checking. Grundlagen von Datenbanken Ralf Pinger