Search results for "Martin Steffen"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Frank S. de Boer, Immo Grabe, Martin Steffen	Termination detection for active objects.	J. Log. Algebr. Program.	2012	DBLP DOI BibTeX RDF
1	Einar Broch Johnsen, Thi Mai Thuong Tran, Olaf Owe, Martin Steffen	Safe locking for multi-threaded Java with exceptions.	J. Log. Algebr. Program.	2012	DBLP DOI BibTeX RDF
1	Ka I. Pun, Martin Steffen, Volker Stolz	Deadlock checking by a behavioral effect system for lock handling.	J. Log. Algebr. Program.	2012	DBLP DOI BibTeX RDF
1	Johan Dovland, Einar Broch Johnsen, Olaf Owe, Martin Steffen	Incremental reasoning with lazy behavioral subtyping for multiple inheritance.	Sci. Comput. Program.	2011	DBLP DOI BibTeX RDF
1	Richard J. Roberts, Yi-Chien Chang, Zhenjun Hu, John Rachlin, Brian P. Anton, Revonda M. Pokrzywa, Han-Pil Choi, Lina L. Faller, Jyotsna Guleria, Genevieve Housman, Niels Klitgord, Varun Mazumdar, Mark G. McGettrick, Lais Osmani, Rajeswari Swaminathan, Kevin R. Tao, Stanley Letovsky, Dennis Vitkup, Daniel Segrè, Steven L. Salzberg, Charles DeLisi, Martin Steffen, Simon Kasif	COMBREX: a project to accelerate the functional annotation of prokaryotic genomes.	Nucleic Acids Research	2011	DBLP DOI BibTeX RDF
1	Einar Broch Johnsen, Thi Mai Thuong Tran, Olaf Owe, Martin Steffen	Safe Locking for Multi-threaded Java.	FSEN	2011	DBLP DOI BibTeX RDF
1	Hallstein Asheim Hansen, Gerardo Schneider, Martin Steffen	Reachability Analysis of Non-linear Planar Autonomous Systems.	FSEN	2011	DBLP DOI BibTeX RDF
1	Olaf Owe, Martin Steffen, Jan Arne Telle (eds.)	Fundamentals of Computation Theory - 18th International Symposium, FCT 2011, Oslo, Norway, August 22-25, 2011. Proceedings	FCT	2011	DBLP DOI BibTeX RDF
1	Thi Mai Thuong Tran, Martin Steffen	Design Issues in Concurrent Object-Oriented Languages and Observability.	KSE	2011	DBLP DOI BibTeX RDF
1	Johan Dovland, Einar Broch Johnsen, Olaf Owe, Martin Steffen	Lazy behavioral subtyping.	J. Log. Algebr. Program.	2010	DBLP DOI BibTeX RDF
1	Immo Grabe, Mohammad Mahdi Jaghoori, Bernhard K. Aichernig, Christel Baier, Tobias Blechmann, Frank S. de Boer, Andreas Griesmayer, Einar Broch Johnsen, Joachim Klein, Sascha Klüppelholz, Marcel Kyas, Wolfgang Leister, Rudolf Schlatte, Andries Stam, Martin Steffen, Simon Tschirner, Liang Xuedong, Wang Yi	Credo Methodology: Modeling and Analyzing A Peer-to-Peer System in Credo.	Electr. Notes Theor. Comput. Sci.	2010	DBLP DOI BibTeX RDF
1	Olaf Owe, Martin Steffen, Arild B. Torjusen	Model Testing Asynchronously Communicating Objects using Modulo AC Rewriting.	Electr. Notes Theor. Comput. Sci.	2010	DBLP DOI BibTeX RDF
1	Einar Broch Johnsen, Reiner Hähnle, Jan Schäfer, Rudolf Schlatte, Martin Steffen	ABS: A Core Language for Abstract Behavioral Specification.	FMCO	2010	DBLP DOI BibTeX RDF
1	Thi Mai Thuong Tran, Martin Steffen	Safe Commits for Transactional Featherweight Java.	IFM	2010	DBLP DOI BibTeX RDF
1	Dennis Dams, Ulrich Hannemann, Martin Steffen	A Bibliography of Willem-Paul de Roever.	Concurrency, Compositionality, and Correctness	2010	DBLP DOI BibTeX RDF
1	Dennis Dams, Ulrich Hannemann, Martin Steffen (eds.)	Concurrency, Compositionality, and Correctness, Essays in Honor of Willem-Paul de Roever	Concurrency, Compositionality, and Correctness	2010	DBLP DOI BibTeX RDF
1	Erika Ábrahám, Immo Grabe, Andreas Grüner, Martin Steffen	Behavioral interface description of an object-oriented language with futures and promises.	J. Log. Algebr. Program.	2009	DBLP DOI BibTeX RDF
1	Frank S. de Boer, Marcello M. Bonsangue, Andreas Grüner, Martin Steffen	Java Test Driver Generation from Object-Oriented Interaction Traces.	Electr. Notes Theor. Comput. Sci.	2009	DBLP DOI BibTeX RDF
1	Immo Grabe, Marcel Kyas, Martin Steffen, Arild B. Torjusen	Executable Interface Specifications for Testing Asynchronous Creol Components.	FSEN	2009	DBLP DOI BibTeX RDF
1	Johan Dovland, Einar Broch Johnsen, Olaf Owe, Martin Steffen	Incremental Reasoning for Multiple Inheritance.	IFM	2009	DBLP DOI BibTeX RDF
1	Erika Ábrahám, Andreas Grüner, Martin Steffen	Heap-abstraction for an object-oriented calculus with thread classes.	Software and System Modeling	2008	DBLP DOI BibTeX RDF	Class-based OO languages, Thread-based concurrency, Heap abstraction, Observable behavior, Open systems, Formal semantics
1	Xiaoyu Jiang, Naoki Nariai, Martin Steffen, Simon Kasif, Eric D. Kolaczyk	Integration of relational and hierarchical network information for protein function prediction.	BMC Bioinformatics	2008	DBLP DOI BibTeX RDF
1	Erika Ábrahám, Frank S. de Boer, Willem P. de Roever, Martin Steffen	A Deductive Proof System for Multithreaded Java with Exceptions.	Fundam. Inform.	2008	DBLP BibTeX RDF
1	Erika Ábrahám, Andreas Grüner, Martin Steffen	Abstract Interface Behavior of Object-Oriented Languages with Monitors.	Theory Comput. Syst.	2008	DBLP DOI BibTeX RDF	Thread-based concurrency, Observable interface behavior, Monitors, Open systems, Object oriented languages, Formal semantics
1	Xiaoyu Jiang, Naoki Nariai, Martin Steffen, Simon Kasif, David Gold, Eric D. Kolaczyk	Combining Hierarchical Inference in Ontologies with Heterogeneous Data Sources Improves Gene Function Prediction.	BIBM	2008	DBLP DOI BibTeX RDF
1	Johan Dovland, Einar Broch Johnsen, Olaf Owe, Martin Steffen	Lazy Behavioral Subtyping.	FM	2008	DBLP DOI BibTeX RDF
1	Erika Ábrahám, Marc Herbstritt, Bernd Becker, Martin Steffen	Bounded Model Checking with Parametric Data Structures.	Electr. Notes Theor. Comput. Sci.	2007	DBLP DOI BibTeX RDF
1	Olaf Owe, Gerardo Schneider, Martin Steffen	Components, objects, and contracts.	SAVCBS	2007	DBLP DOI BibTeX RDF	Creol, object-orientation, components, interfaces, contracts, compositionality, deontic logic
1	Erika Ábrahám, Frank S. de Boer, Willem P. de Roever, Martin Steffen	Inductive Proof Outlines for Exceptions in Multithreaded Java.	Electr. Notes Theor. Comput. Sci.	2006	DBLP DOI BibTeX RDF
1	Erika Ábrahám, Andreas Grüner, Martin Steffen	Abstract Interface Behavior of Object-Oriented Languages with Monitors.	FMOODS	2006	DBLP DOI BibTeX RDF	oo languages, thread-based concurrency, observable behavior, monitors, open systems, formal semantics
1	Erika Ábrahám, Andreas Grüner, Martin Steffen	Heap-Abstraction for an Object-Oriented Calculus with Thread Classes.	CiE	2006	DBLP DOI BibTeX RDF
1	Erika Ábrahám, Frank S. de Boer, Willem P. de Roever, Martin Steffen	An assertion-based proof system for multithreaded Java.	Theor. Comput. Sci.	2005	DBLP DOI BibTeX RDF
1	Harald Fecher, Martin Steffen	Characteristic mu-Calculus Formulas for Underspecified Transition Systems.	Electr. Notes Theor. Comput. Sci.	2005	DBLP DOI BibTeX RDF
1	Martin Steffen, Gianluigi Zavattaro (eds.)	Formal Methods for Open Object-Based Distributed Systems, 7th IFIP WG 6.1 International Conference, FMOODS 2005, Athens, Greece, June 15-17, 2005, Proceedings	FMOODS	2005	DBLP BibTeX RDF
1	Erika Ábrahám, Bernd Becker, Felix Klaedtke, Martin Steffen	Optimizing Bounded Model Checking for Linear Hybrid Systems.	VMCAI	2005	DBLP DOI BibTeX RDF
1	Erika Ábrahám, Marcello M. Bonsangue, Frank S. de Boer, Martin Steffen	Object Connectivity and Full Abstraction for a Concurrent Calculus of Classes.	ICTAC	2004	DBLP DOI BibTeX RDF
1	Erika Ábrahám, Marcello M. Bonsangue, Frank S. de Boer, Andreas Grüner, Martin Steffen	Observability, Connectivity, and Replay in a Sequential Calculus of Classes.	FMCO	2004	DBLP DOI BibTeX RDF
1	Frank S. de Boer, Marcello M. Bonsangue, Martin Steffen, Erika Ábrahám	A Fully Abstract Semantics for UML Components.	FMCO	2004	DBLP DOI BibTeX RDF
1	Erika Ábrahám, Frank S. de Boer, Willem P. de Roever, Martin Steffen	Inductive Proof Outlines for Monitors in Java.	FMOODS	2003	DBLP DOI BibTeX RDF
1	Natalia Ioustinova, Natalia Sidorova, Martin Steffen	Synchronous Closing and Flow Analysis for Model Checking Timed Systems.	FMCO	2003	DBLP DOI BibTeX RDF
1	Erika Ábrahám, Frank S. de Boer, Willem P. de Roever, Martin Steffen	A Compositional Operational Semantics for JavaMT.	Verification: Theory and Practice	2003	DBLP DOI BibTeX RDF
1	Dennis Dams, Yassine Lakhnech, Martin Steffen	Iterating transducers.	J. Log. Algebr. Program.	2002	DBLP DOI BibTeX RDF
1	Martin Steffen, Allegra Petti, John Aach, Patrik D'haeseleer, George M. Church	Automated modelling of signal transduction networks.	BMC Bioinformatics	2002	DBLP DOI BibTeX RDF
1	Natalia Ioustinova, Natalia Sidorova, Martin Steffen	Abstraction and Flow Analysis for Model Checking Open Asynchronous Systems.	APSEC	2002	DBLP DOI BibTeX RDF	open components, formal methods, program transformation, abstraction, asynchronous communication, software model checking, flow analysis
1	Erika Ábrahám-Mumm, Frank S. de Boer, Willem P. de Roever, Martin Steffen	A Tool-Supported Proof System for Multithreaded Java.	FMCO	2002	DBLP DOI BibTeX RDF
1	Natalia Ioustinova, Natalia Sidorova, Martin Steffen	Closing Open SDL-Systems for Model Checking with DTSpin.	FME	2002	DBLP DOI BibTeX RDF	DTSpin, open communication systems, model checking, abstractions, SDL
1	Natalia Sidorova, Martin Steffen	Synchronous Closing of Timed SDL Systems for Model Checking.	VMCAI	2002	DBLP DOI BibTeX RDF
1	Erika Ábrahám-Mumm, Frank S. de Boer, Willem P. de Roever, Martin Steffen	Verification for Java's Reentrant Multithreading Concept.	FoSSaCS	2002	DBLP DOI BibTeX RDF
1	Dennis Dams, Yassine Lakhnech, Martin Steffen	Iterating Transducers.	CAV	2001	DBLP DOI BibTeX RDF
1	Erika Ábrahám-Mumm, Ulrich Hannemann, Martin Steffen	Assertion-Based Analysis of Hybrid Systems with PVS.	EUROCAST	2001	DBLP DOI BibTeX RDF	deductive methods, machine-assisted verification, hybrid systems
1	Erika Ábrahám-Mumm, Martin Steffen, Ulrich Hannemann	Verification of Hybrid Systems: Formalization and Proof Rules in PVS.	ICECCS	2001	DBLP DOI BibTeX RDF	deductive methods, machine-assisted verification, hybrid systems
1	Natalia Sidorova, Martin Steffen	Embedding Chaos.	SAS	2001	DBLP DOI BibTeX RDF	open reactive systems, Model checking, data-flow analysis, SDL
1	Natalia Sidorova, Martin Steffen	Verifying Large SDL-Specifications Using Model Checking.	SDL Forum	2001	DBLP DOI BibTeX RDF	SDL model checking, bottom-up verification, verification case study, compositional, abstraction
1	Natalia Sidorova, Martin Steffen	Verification of a wireless ATM medium-access protocol.	APSEC	2000	DBLP DOI BibTeX RDF	medium-access protocol verification, modular structure, SDL specification, abstraction techniques, system debugging, untimed properties, time-dependent properties, model checking, formal specification, formal verification, wireless LAN, asynchronous transfer mode, access protocols, state space reduction, wireless ATM
1	Karsten Stahl, Kai Baukus, Yassine Lakhnech, Martin Steffen	Divide, Abstract, and Model-Check.	SPIN	1999	DBLP DOI BibTeX RDF
1	Martin Hofmann, Wolfgang Naraschewski, Martin Steffen, Terry Stroup	Inheritance of Proofs.	TAPOS	1998	DBLP BibTeX RDF
1	Benjamin C. Pierce, Martin Steffen	Higher-Order Subtyping.	Theor. Comput. Sci.	1997	DBLP DOI BibTeX RDF
1	Uwe Nestmann, Martin Steffen	Correct Transformational Design of Concurrent Search Structures.	Object Orientation with Parallelism and Persistence	1995	DBLP BibTeX RDF
1	Martin Steffen, Benjamin C. Pierce	Higher-Order Subtyping.	PROCOMET	1994	DBLP BibTeX RDF

Publications of "Martin Steffen" ( http://dblp.L3S.de/Authors/Martin_Steffen )