Harald Rueß - RankMe

41 papers A* 10A 5B 3C 1Misc 1Journal 4Unranked 15

Year	Rank	Type	Title / Venue / Authors
2022	J	`jnl`	Safe AI - How is this Possible? CoRR Harald Rueß, Simon Burton
2020	J	`jnl`	Knowledge as Invariance - History and Perspectives of Knowledge-augmented Machine Learning. CoRR Alexander Sagel, Amit Sahu, Stefan Matthes, Holger Pfeifer, Tianming Qiu, Harald Rueß, Hao Shen, Julian Wörmann
2016	—	`conf`	Certification for μ-Calculus with Winning Strategies. SPIN Martin Hofmann, Christian Neukirchen, Harald Rueß
2015	—	`conf`	Distributed MILS (D-MILS) Specification, Analysis, Deployment, and Assurance of Distributed Critical Systems. MILS@HiPEAC Harald Rueß, Stefano Tonetta
2013	J	`jnl`	On Behavioral Types for OSGi: From Theory to Implementation. CoRR Jan Olaf Blech, Harald Rueß, Bernhard Schätz
2012	—	`conf`	Behavioral Specification Based Runtime Monitors for OSGi Services. ISoLA (1) Jan Olaf Blech, Yliès Falcone, Harald Rueß, Bernhard Schätz
2011	B	`conf`	Synthesis of Fault-Tolerant Embedded Systems Using Games: From Theory to Practice. VMCAI Chih-Hong Cheng, Harald Rueß, Alois C. Knoll, Christian Buckl
2008	C	`conf`	Non-functional Avionics Requirements. ISoLA Michael Paulitsch, Harald Rueß, Maria Sorea
2004	A*	`conf`	An Experimental Evaluation of Ground Decision Procedures. CAV Leonardo Mendonça de Moura, Harald Rueß
2004	A*	`conf`	Feature-Based Decomposition of Inductive Proofs Applied to Real-Time Avionics Software: An Experience Report. ICSE Vu Ha, Murali Rangarajan, Darren D. Cofer, Harald Rueß, Bruno Dutertre
2004	—	`conf`	Justifying Equality. D/PDPAR@IJCAR Leonardo Mendonça de Moura, Harald Rueß, Natarajan Shankar
2004	A*	`conf`	SAL 2. CAV Leonardo Mendonça de Moura, Sam Owre, Harald Rueß, John M. Rushby, Natarajan Shankar, Maria Sorea, Ashish Tiwari
2004	A	`conf`	The ICS Decision Procedures for Embedded Deduction. IJCAR Leonardo Mendonça de Moura, Sam Owre, Harald Rueß, John M. Rushby, Natarajan Shankar
2003	A*	`conf`	Bounded Model Checking and Induction: From Refutation to Verification (Extended Abstract, Category A). CAV Leonardo Mendonça de Moura, Harald Rueß, Maria Sorea
2003	A*	`conf`	Monadic Second-Order Logics with Cardinalities. ICALP Felix Klaedtke, Harald Rueß
2003	Misc	`conf`	Simulation and verification I: from simulation to verification (and back). WSC Harald Rueß, Leonardo Mendonça de Moura
2002	—	`conf`	Combining Shostak Theories. RTA Natarajan Shankar, Harald Rueß
2002	A	`conf`	Lazy Theorem Proving for Bounded Model Checking over Infinite Domains. CADE Leonardo Mendonça de Moura, Harald Rueß, Maria Sorea
2002	—	`conf`	Predicate Abstraction for Dense Real-Time System. Theory and Practice of Timed Systems @ ETAPS M. Oliver Möller, Harald Rueß, Maria Sorea
2001	A	`conf`	A Technique for Invariant Generation. TACAS Ashish Tiwari, Harald Rueß, Hassen Saïdi, Natarajan Shankar
2001	A*	`conf`	Deconstructing Shostak. LICS Harald Rueß, Natarajan Shankar
2001	A*	`conf`	ICS: Integrated Canonizer and Solver. CAV Jean-Christophe Filliâtre, Sam Owre, Harald Rueß, Natarajan Shankar
2001	—	`conf`	Proving Secrecy is Easy Enough. CSFW Véronique Cortier, Jonathan K. Millen, Harald Rueß
2000	A*	`conf`	Integrating WS1S with PVS. CAV Sam Owre, Harald Rueß
2000	—	`conf`	Protocol-Independent Secrecy. S&P Jonathan K. Millen, Harald Rueß
2000	A	`conf`	Rigid CADE Ashish Tiwari, Leo Bachmair, Harald Rueß
1999	J	`jnl`	Modular Verification of SRT Division. Formal Methods Syst. Des. Harald Rueß, Natarajan Shankar, Mandayam K. Srivas
1999	—	`conf`	Polytypic Proof Construction. TPHOLs Holger Pfeifer, Harald Rueß
1998	—	`conf`	Case Studies in Meta-Level Theorem Proving. TPHOLs Friedrich W. von Henke, Stephan Pfab, Holger Pfeifer, Harald Rueß
1998	B	`conf`	Solving Bit-Vector Equations. FMCAD M. Oliver Möller, Harald Rueß
1998	—	`conf`	Towards Light-Weight Verification and Heavy-Weight Testing. Tool Support for System Specification, Development and Verification Stephan Pfab, Harald Rueß, Sam Owre, Friedrich W. von Henke
1997	A*	`conf`	An Efficient Decision Procedure for the Theory of Fixed-Sized Bit-Vectors. CAV David Cyrluk, M. Oliver Möller, Harald Rueß
1997	—	`conf`	Computational Reflection in the Calculus of Constructions and its Application to Theorem Proving. TLCA Harald Rueß
1997	—	`conf`	Formal Verification of Transformations for Peephole Optimization. FME Axel Dold, Friedrich W. von Henke, Holger Pfeifer, Harald Rueß
1997	—	`conf`	Hardware Verification Using PVS. Formal Hardware Verification Mandayam K. Srivas, Harald Rueß, David Cyrluk
1996	B	`conf`	Hierarchical Verification of Two-Dimensional High-Speed Multiplication in PVS: A Case Study. FMCAD Harald Rueß
1996	A*	`conf`	Modular Verification of SRT Division. CAV Harald Rueß, Natarajan Shankar, Mandayam K. Srivas
1996	A	`conf`	Reflection of Formal Tactics in a Deductive Reflection Framework. CADE Harald Rueß
1996	—	`conf`	The TYPELAB Specification and Verification Environment. AMAST Friedrich W. von Henke, Marko Luther, Holger Pfeifer, Harald Rueß, Detlef Schwier, Martin Strecker, Matthias Wagner
1995	—	`ch.`	Construction and Deduction Methods for the Formal Development of Software. KORSO Book Friedrich W. von Henke, Axel Dold, Harald Rueß, Detlef Schwier
1995	—	`—`	Formal meta-programming in the calculus of constructions. Harald Rueß