Dennis Dams - RankMe

44 papers A* 6A 3B 7C 1Journal 11Unranked 13

Year	Rank	Type	Title / Venue / Authors
2024	A	`conf`	Encoding Domain Knowledge in Log Analysis. ICSME Filip Zamfirov, Dennis Dams, Mazyar Seraj, Alexander Serebrenik
2022	B	`conf`	A Python Library for Trace Analysis. RV Dennis Dams, Klaus Havelund, Sean Kauffman
2022	—	`conf`	Runtime Verification as Documentation. ISoLA (2) Dennis Dams, Klaus Havelund, Sean Kauffman
2021	—	`conf`	Developing and Applying Custom Static Analysis Tools for Industrial Multi-Language Code Bases. BENEVOL Dennis Dams, Jeroen Ketema, Pepijn Kramer, Arjan J. Mooij, Andrei Radulescu
2018	—	`ch.`	Abstraction and Abstraction Refinement. Handbook of Model Checking Dennis Dams, Orna Grumberg
2018	A	`conf`	Model-based software restructuring: Lessons from cleaning up COM interfaces in industrial legacy code. SANER Dennis Dams, Arjan J. Mooij, Pepijn Kramer, Andrei Radulescu, Jaromir Vanhara
2012	J	`jnl`	PresenceScape: Virtual World Mediated Rich Communication. Bell Labs Tech. J. Zhe Lou, Jan Bouwen, Koen Willaert, Sigurd Van Broeck, Marc Van den Broeck, Senka Zubic, Wolfgang van Raemdonck, Hans Van Herreweghe, Dennis Dams
2011	J	`jnl`	Editorial. Formal Aspects Comput. Ana Cavalcanti, Dennis Dams, Marie-Claude Gaudel
2010	—	`conf`	A Bibliography of Willem-Paul de Roever. Concurrency, Compositionality, and Correctness Dennis Dams, Ulrich Hannemann, Martin Steffen
2010	—	`ed.`	Concurrency, Compositionality, and Correctness, Essays in Honor of Willem-Paul de Roever Concurrency, Compositionality, and Correctness Dennis Dams, Ulrich Hannemann, Martin Steffen
2010	J	`jnl`	Special issue: 2nd World Congress on Formal Methods. Formal Methods Syst. Des. Ana Cavalcanti, Dennis Dams
2009	B	`ed.`	FM 2009: Formal Methods, Second World Congress, Eindhoven, The Netherlands, November 2-6, 2009. Proceedings FM Ana Cavalcanti, Dennis Dams
2009	J	`jnl`	Telco meets the Web: Programming shared-experience services. Bell Labs Tech. J. Robert M. Arlein, Dennis Dams, Richard B. Hull, John P. Letourneau, Kedar S. Namjoshi
2008	B	`conf`	Pointer Analysis, Conditional Soundness, and Proving the Absence of Errors. SAS Christopher L. Conway, Dennis Dams, Kedar S. Namjoshi, Clark W. Barrett
2007	—	`conf`	StackSnuffer: Curing Orion's Unsoundness. SPIN Dennis Dams
2005	B	`conf`	Automata as Abstractions. VMCAI Dennis Dams, Kedar S. Namjoshi
2005	A*	`conf`	Incremental Algorithms for Inter-procedural Analysis of Safety Properties. CAV Christopher L. Conway, Kedar S. Namjoshi, Dennis Dams, Stephen A. Edwards
2005	—	`conf`	Orion: High-Precision Methods for Static Error Analysis of C and C++ Programs. FMCO Dennis Dams, Kedar S. Namjoshi
2004	A*	`conf`	The Existence of Finite Abstractions for Branching Time Model Checking. LICS Dennis Dams, Kedar S. Namjoshi
2003	—	`conf`	Comparing Abstraction Refinement Algorithms. SoftMC@CAV Dennis Dams
2003	B	`conf`	Shape Analysis through Predicate Abstraction and Model Checking. VMCAI Dennis Dams, Kedar S. Namjoshi
2002	A*	`conf`	Abstracting C with abC. CAV Dennis Dams, William Hesse, Gerard J. Holzmann
2002	—	`conf`	Abstraction in Software Model Checking: Principles and Practice (Tutorial Overview and Bibliography). SPIN Dennis Dams
2002	J	`jnl`	Iterating transducers. J. Log. Algebraic Methods Program. Dennis Dams, Yassine Lakhnech, Martin Steffen
2002	J	`jnl`	Symmetric Spin. Int. J. Softw. Tools Technol. Transf. Dragan Bosnacki, Dennis Dams, Leszek Holenderski
2001	—	`conf`	A Heuristic for Symmetry Reductions with Scalarsets. FME Dragan Bosnacki, Dennis Dams, Leszek Holenderski
2001	A*	`conf`	Iterating Transducers. CAV Dennis Dams, Yassine Lakhnech, Martin Steffen
2000	—	`conf`	An On-the-Fly Tableau Construction for a Real-Time Temporal Logic. FTRTFT Marc Geilen, Dennis Dams
2000	A	`conf`	Model Checking SDL with Spin. TACAS Dragan Bosnacki, Dennis Dams, Leszek Holenderski, Natalia Sidorova
2000	—	`conf`	Symmetric Spin. SPIN Dragan Bosnacki, Dennis Dams, Leszek Holenderski
1999	J	`jnl`	Flat Fragments of CTL and CTL Log. J. IGPL Dennis Dams
1999	—	`ed.`	Theoretical and Practical Aspects of SPIN Model Checking, 5th and 6th International SPIN Workshops, Trento, Italy, July 5, 1999, Toulouse, France, September 21 and 24 1999, Proceedings SPIN Dennis Dams, Rob Gerth, Stefan Leue, Mieke Massink
1998	—	`conf`	Discrete-Time Promela and Spin. FTRTFT Dragan Bosnacki, Dennis Dams
1998	C	`conf`	Integrating Real Time into Spin: A Prototype Implementation. FORTE Dragan Bosnacki, Dennis Dams
1998	J	`jnl`	Partial-order Reduction Techniques for Real-time Model Checking. Formal Aspects Comput. Dennis Dams, Rob Gerth, Bart Knaack, Ruurd Kuiper
1997	J	`jnl`	Abstract Interpretation of Reactive Systems. ACM Trans. Program. Lang. Syst. Dennis Dams, Rob Gerth, Orna Grumberg
1997	—	`conf`	The bounded retransmission protocol revisited. INFINITY Dennis Dams, Rob Gerth
1997	—	`conf`	Verification, Model Checking and Abstract Interpretation (Workshop Overview). ILPS Annalisa Bossi, Dennis Dams, Gilberto Filé, Elena Marchiori
1996	J	`jnl`	On the Design of a Correct Freeness Analysis for Logic Programs. J. Log. Program. Michael Codish, Dennis Dams, Gilberto Filé, Maurice Bruynooghe
1994	J	`jnl`	Bottom-up Abstract Interpretation of Logic Programs. Theor. Comput. Sci. Michael Codish, Dennis Dams, Eyal Yardeni
1994	A*	`conf`	Model Checking Using Adaptive State and Data Abstraction. CAV Dennis Dams, Rob Gerth, Gert Döhmen, Ronald Herrmann, Peter Kelb, Hergen Pargmann
1993	B	`conf`	Freeness Analysis for Logic Programs - And Correctness? ICLP Michael Codish, Dennis Dams, Gilberto Filé, Maurice Bruynooghe
1993	A*	`conf`	Generation of Reduced Models for Checking Fragments of CTL. CAV Dennis Dams, Orna Grumberg, Rob Gerth
1991	B	`conf`	Derivation and Safety of an Abstract Unification Algorithm for Groundness and Aliasing Analysis. ICLP Michael Codish, Dennis Dams, Eyal Yardeni