The SCEAS System
Navigation Menu
Introduction
Collection Based
Clustering
Ranking
Paper Based
Journals
Conferences
DB Status
Statistics
Search

Search the dblp DataBase

Title:
Author:
Martin Steffen: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Natalia Ioustinova, Natalia Sidorova, Martin Steffen
    Abstraction and Flow Analysis for Model Checking Open Asynchronous Systems. [Citation Graph (0, 0)][DBLP]
    APSEC, 2002, pp:227-0 [Conf]
  2. Natalia Sidorova, Martin Steffen
    Verification of a wireless ATM medium-access protocol. [Citation Graph (0, 0)][DBLP]
    APSEC, 2000, pp:84-91 [Conf]
  3. Erika Ábrahám, Frank S. de Boer, Willem P. de Roever, Martin Steffen
    A Compositional Operational Semantics for JavaMT. [Citation Graph (0, 0)][DBLP]
    Verification: Theory and Practice, 2003, pp:290-303 [Conf]
  4. Dennis Dams, Yassine Lakhnech, Martin Steffen
    Iterating Transducers. [Citation Graph (0, 0)][DBLP]
    CAV, 2001, pp:286-297 [Conf]
  5. Erika Ábrahám, Andreas Grüner, Martin Steffen
    Heap-Abstraction for an Object-Oriented Calculus with Thread Classes. [Citation Graph (0, 0)][DBLP]
    CiE, 2006, pp:1-10 [Conf]
  6. Uwe Nestmann, Martin Steffen
    Correct Transformational Design of Concurrent Search Structures. [Citation Graph (0, 0)][DBLP]
    Object Orientation with Parallelism and Persistence, 1995, pp:23-42 [Conf]
  7. Erika Ábrahám-Mumm, Ulrich Hannemann, Martin Steffen
    Assertion-Based Analysis of Hybrid Systems with PVS. [Citation Graph (0, 0)][DBLP]
    EUROCAST, 2001, pp:94-109 [Conf]
  8. Natalia Ioustinova, Natalia Sidorova, Martin Steffen
    Closing Open SDL-Systems for Model Checking with DTSpin. [Citation Graph (0, 0)][DBLP]
    FME, 2002, pp:531-548 [Conf]
  9. Erika Ábrahám-Mumm, Frank S. de Boer, Willem P. de Roever, Martin Steffen
    A Tool-Supported Proof System for Multithreaded Java. [Citation Graph (0, 0)][DBLP]
    FMCO, 2002, pp:1-32 [Conf]
  10. 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. [Citation Graph (0, 0)][DBLP]
    FMCO, 2004, pp:296-316 [Conf]
  11. Frank S. de Boer, Marcello M. Bonsangue, Martin Steffen, Erika Ábrahám
    A Fully Abstract Semantics for UML Components. [Citation Graph (0, 0)][DBLP]
    FMCO, 2004, pp:49-69 [Conf]
  12. Natalia Ioustinova, Natalia Sidorova, Martin Steffen
    Synchronous Closing and Flow Analysis for Model Checking Timed Systems. [Citation Graph (0, 0)][DBLP]
    FMCO, 2003, pp:292-313 [Conf]
  13. Erika Ábrahám, Frank S. de Boer, Willem P. de Roever, Martin Steffen
    Inductive Proof Outlines for Monitors in Java. [Citation Graph (0, 0)][DBLP]
    FMOODS, 2003, pp:155-169 [Conf]
  14. Erika Ábrahám, Andreas Grüner, Martin Steffen
    Abstract Interface Behavior of Object-Oriented Languages with Monitors. [Citation Graph (0, 0)][DBLP]
    FMOODS, 2006, pp:218-232 [Conf]
  15. Erika Ábrahám-Mumm, Frank S. de Boer, Willem P. de Roever, Martin Steffen
    Verification for Java's Reentrant Multithreading Concept. [Citation Graph (0, 0)][DBLP]
    FoSSaCS, 2002, pp:5-20 [Conf]
  16. Erika Ábrahám-Mumm, Martin Steffen, Ulrich Hannemann
    Verification of Hybrid Systems: Formalization and Proof Rules in PVS. [Citation Graph (0, 0)][DBLP]
    ICECCS, 2001, pp:48-57 [Conf]
  17. Erika Ábrahám, Marcello M. Bonsangue, Frank S. de Boer, Martin Steffen
    Object Connectivity and Full Abstraction for a Concurrent Calculus of Classes. [Citation Graph (0, 0)][DBLP]
    ICTAC, 2004, pp:37-51 [Conf]
  18. Martin Steffen, Benjamin C. Pierce
    Higher-Order Subtyping. [Citation Graph (0, 0)][DBLP]
    PROCOMET, 1994, pp:511-530 [Conf]
  19. Natalia Sidorova, Martin Steffen
    Embedding Chaos. [Citation Graph (0, 0)][DBLP]
    SAS, 2001, pp:319-334 [Conf]
  20. Natalia Sidorova, Martin Steffen
    Verifying Large SDL-Specifications Using Model Checking. [Citation Graph (0, 0)][DBLP]
    SDL Forum, 2001, pp:403-420 [Conf]
  21. Karsten Stahl, Kai Baukus, Yassine Lakhnech, Martin Steffen
    Divide, Abstract, and Model-Check. [Citation Graph (0, 0)][DBLP]
    SPIN, 1999, pp:57-76 [Conf]
  22. Erika Ábrahám, Bernd Becker, Felix Klaedtke, Martin Steffen
    Optimizing Bounded Model Checking for Linear Hybrid Systems. [Citation Graph (0, 0)][DBLP]
    VMCAI, 2005, pp:396-412 [Conf]
  23. Natalia Sidorova, Martin Steffen
    Synchronous Closing of Timed SDL Systems for Model Checking. [Citation Graph (0, 0)][DBLP]
    VMCAI, 2002, pp:79-93 [Conf]
  24. Martin Steffen, Allegra Petti, John Aach, Patrik D'haeseleer, George M. Church
    Automated modelling of signal transduction networks. [Citation Graph (0, 0)][DBLP]
    BMC Bioinformatics, 2002, v:3, n:, pp:34- [Journal]
  25. Erika Ábrahám, Frank S. de Boer, Willem P. de Roever, Martin Steffen
    Inductive Proof Outlines for Exceptions in Multithreaded Java. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:159, n:, pp:281-297 [Journal]
  26. Harald Fecher, Martin Steffen
    Characteristic mu-Calculus Formulas for Underspecified Transition Systems. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:128, n:2, pp:103-116 [Journal]
  27. Erika Ábrahám, Marc Herbstritt, Bernd Becker, Martin Steffen
    Bounded Model Checking with Parametric Data Structures. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:174, n:3, pp:3-16 [Journal]
  28. Dennis Dams, Yassine Lakhnech, Martin Steffen
    Iterating transducers. [Citation Graph (0, 0)][DBLP]
    J. Log. Algebr. Program., 2002, v:52, n:, pp:109-127 [Journal]
  29. Martin Hofmann, Wolfgang Naraschewski, Martin Steffen, Terry Stroup
    Inheritance of Proofs. [Citation Graph (0, 0)][DBLP]
    TAPOS, 1998, v:4, n:1, pp:51-69 [Journal]
  30. Erika Ábrahám, Frank S. de Boer, Willem P. de Roever, Martin Steffen
    An assertion-based proof system for multithreaded Java. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2005, v:331, n:2-3, pp:251-290 [Journal]
  31. Benjamin C. Pierce, Martin Steffen
    Higher-Order Subtyping. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1997, v:176, n:1-2, pp:235-282 [Journal]

  32. A Bibliography of Willem-Paul de Roever. [Citation Graph (, )][DBLP]


  33. Lazy Behavioral Subtyping. [Citation Graph (, )][DBLP]


  34. Incremental Reasoning for Multiple Inheritance. [Citation Graph (, )][DBLP]


  35. Components, objects, and contracts. [Citation Graph (, )][DBLP]


  36. Executable Interface Specifications for Testing Asynchronous Creol Components. [Citation Graph (, )][DBLP]


  37. Combining Hierarchical Inference in Ontologies with Heterogeneous Data Sources Improves Gene Function Prediction. [Citation Graph (, )][DBLP]


  38. Integration of relational and hierarchical network information for protein function prediction. [Citation Graph (, )][DBLP]


  39. Java Test Driver Generation from Object-Oriented Interaction Traces. [Citation Graph (, )][DBLP]


Search in 0.002secs, Finished in 0.306secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
Introduction Collection Based Clustering Ranking Paper Based Journals Conferences DB Status Statistics Search
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002