The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

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

Publications of Author

  1. Burkhard Freitag, Tiziana Margaria, Bernhard Steffen
    A Pragmatic Approach to Software Synthesis. [Citation Graph (1, 0)][DBLP]
    Workshop on Interface Definition Languages, 1994, pp:46-58 [Conf]
  2. Rance Cleaveland, Joachim Parrow, Bernhard Steffen
    The Concurrency Workbench: A Semantics-Based Tool for the Verification of Concurrent Systems. [Citation Graph (1, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 1993, v:15, n:1, pp:36-72 [Journal]
  3. Bernhard Steffen, Tiziana Margaria, Andreas Claßen, Volker Braun
    Incremental Formalization. [Citation Graph (0, 0)][DBLP]
    AMAST, 1996, pp:608-611 [Conf]
  4. Rance Cleaveland, Joachim Parrow, Bernhard Steffen
    The Concurrency Workbench. [Citation Graph (0, 0)][DBLP]
    Automatic Verification Methods for Finite State Systems, 1989, pp:24-37 [Conf]
  5. Bernhard Steffen, Tiziana Margaria
    METAFrame in Practice: Design of Intelligent Network Services. [Citation Graph (0, 0)][DBLP]
    Correct System Design, 1999, pp:390-415 [Conf]
  6. Rance Cleaveland, Marion Klein, Bernhard Steffen
    Faster Model Checking for the Modal Mu-Calculus. [Citation Graph (0, 0)][DBLP]
    CAV, 1992, pp:410-422 [Conf]
  7. Rance Cleaveland, Bernhard Steffen
    A Linear-Time Model-Checking Algorithm for the Alternation-Free Modal Mu-Calculus. [Citation Graph (0, 0)][DBLP]
    CAV, 1991, pp:48-58 [Conf]
  8. Susanne Graf, Bernhard Steffen
    Compositional Minimization of Finite State Systems. [Citation Graph (0, 0)][DBLP]
    CAV, 1990, pp:186-196 [Conf]
  9. Hardi Hungar, Oliver Niese, Bernhard Steffen
    Domain-Specific Optimization in Automata Learning. [Citation Graph (0, 0)][DBLP]
    CAV, 2003, pp:315-327 [Conf]
  10. Bernhard Steffen, Tiziana Margaria, Andreas Claßen, Volker Braun
    The METAFrame'95 Environment. [Citation Graph (0, 0)][DBLP]
    CAV, 1996, pp:450-453 [Conf]
  11. Alfons Geser, Jens Knoop, Gerald Lüttgen, Oliver Rüthing, Bernhard Steffen
    Non-monotone Fixpoint Iterations to Resolve Second Order Effects. [Citation Graph (0, 0)][DBLP]
    CC, 1996, pp:106-120 [Conf]
  12. Jens Knoop, Dirk Koschützki, Bernhard Steffen
    Basic-Block Graphs: Living Dinosaurs? [Citation Graph (0, 0)][DBLP]
    CC, 1998, pp:65-79 [Conf]
  13. Jens Knoop, Oliver Rüthing, Bernhard Steffen
    Expansion-Based Removal of Semantic Partial Redundancies. [Citation Graph (0, 0)][DBLP]
    CC, 1999, pp:91-106 [Conf]
  14. Jens Knoop, Bernhard Steffen
    The Interprocedural Coincidence Theorem. [Citation Graph (0, 0)][DBLP]
    CC, 1992, pp:125-140 [Conf]
  15. Anna-Lena Lamprecht, Tiziana Margaria, Bernhard Steffen
    Data-Flow Analysis as Model Checking Within the jABC. [Citation Graph (0, 0)][DBLP]
    CC, 2006, pp:101-104 [Conf]
  16. Olaf Burkart, Didier Caucal, Bernhard Steffen
    Bisimulation Collapse and the Process Taxonomy. [Citation Graph (0, 0)][DBLP]
    CONCUR, 1996, pp:247-262 [Conf]
  17. Olaf Burkart, Bernhard Steffen
    Model Checking for Context-Free Processes. [Citation Graph (0, 0)][DBLP]
    CONCUR, 1992, pp:123-137 [Conf]
  18. Olaf Burkart, Bernhard Steffen
    Pushdown Processes: Parallel Composition and Model Checking. [Citation Graph (0, 0)][DBLP]
    CONCUR, 1994, pp:98-113 [Conf]
  19. Rance Cleaveland, Bernhard Steffen
    A Preorder for Partial Process Specifications. [Citation Graph (0, 0)][DBLP]
    CONCUR, 1990, pp:141-151 [Conf]
  20. Tiziana Margaria, A. Prasad Sistla, Bernhard Steffen, Lenore D. Zuck
    Taming Interface Specifications. [Citation Graph (0, 0)][DBLP]
    CONCUR, 2005, pp:548-561 [Conf]
  21. Scott A. Smolka, Bernhard Steffen
    Priority as Extremal Probability. [Citation Graph (0, 0)][DBLP]
    CONCUR, 1990, pp:456-466 [Conf]
  22. Bernhard Steffen, Andreas Claßen, Marion Klein, Jens Knoop, Tiziana Margaria
    The Fixpoint-Analysis Machine. [Citation Graph (0, 0)][DBLP]
    CONCUR, 1995, pp:72-87 [Conf]
  23. Kim Guldstrand Larsen, Bernhard Steffen, Carsten Weise
    The Methodology of Modal Constraints. [Citation Graph (0, 0)][DBLP]
    Formal Systems Specification, 1994, pp:405-435 [Conf]
  24. Tiziana Margaria, Bernhard Steffen, Manfred Reitenspieß
    Service-Oriented Design: The jABC Approach. [Citation Graph (0, 0)][DBLP]
    Service Oriented Computing, 2005, pp:- [Conf]
  25. Burkhard Freitag, Bernhard Steffen, Tiziana Margaria, Ulrich Zukowski
    An Approach to Intelligent Software Library Management. [Citation Graph (0, 14)][DBLP]
    DASFAA, 1995, pp:71-78 [Conf]
  26. Volker Braun, Tiziana Margaria, Bernhard Steffen
    The Electronic Tool Integration Platform (ETI) and the Petri Net Technology. [Citation Graph (0, 0)][DBLP]
    Petri Net Technology for Communication-Based Systems, 2003, pp:363-382 [Conf]
  27. Tiziana Margaria, Ralf Nagel, Bernhard Steffen
    Remote Integration and Coordination of Verification Tools in JETI. [Citation Graph (0, 0)][DBLP]
    ECBS, 2005, pp:431-436 [Conf]
  28. Jens Knoop, Oliver Rüthing, Bernhard Steffen
    Code Motion and Code Placement: Just Synonyms? [Citation Graph (0, 0)][DBLP]
    ESOP, 1998, pp:154-169 [Conf]
  29. Markus Müller-Olm, Helmut Seidl, Bernhard Steffen
    Interprocedural Herbrand Equalities. [Citation Graph (0, 0)][DBLP]
    ESOP, 2005, pp:31-45 [Conf]
  30. Helmut Seidl, Bernhard Steffen
    Constraint-Based Inter-Procedural Analysis of Parallel Programs. [Citation Graph (0, 0)][DBLP]
    ESOP, 2000, pp:351-365 [Conf]
  31. Bernhard Steffen, Jens Knoop, Oliver Rüthing
    The Value Flow Graph: A Program Representation for Optimal Program Transformations. [Citation Graph (0, 0)][DBLP]
    ESOP, 1990, pp:389-405 [Conf]
  32. Andreas Hagerer, Hardi Hungar, Tiziana Margaria, Oliver Niese, Bernhard Steffen, Hans-Dieter Ide
    Demonstration of an Operational Procedure for the Model-Based Testing of CTI Systems. [Citation Graph (0, 0)][DBLP]
    FASE, 2002, pp:336-340 [Conf]
  33. Therese Berg, Olga Grinchtein, Bengt Jonsson, Martin Leucker, Harald Raffelt, Bernhard Steffen
    On the Correspondence Between Conformance Testing and Regular Inference. [Citation Graph (0, 0)][DBLP]
    FASE, 2005, pp:175-189 [Conf]
  34. Andreas Hagerer, Hardi Hungar, Oliver Niese, Bernhard Steffen
    Model Generation by Moderated Regular Extrapolation. [Citation Graph (0, 0)][DBLP]
    FASE, 2002, pp:80-95 [Conf]
  35. Tiziana Margaria, Bernhard Steffen
    Backtracking-Free Design Planning by Automatic Synthesis in METAFrame. [Citation Graph (0, 0)][DBLP]
    FASE, 1998, pp:188-204 [Conf]
  36. Markus Müller-Olm, Bernhard Steffen, Rance Cleaveland
    On the Evolution of Reactive Components: A Process-Algebraic Approach. [Citation Graph (0, 0)][DBLP]
    FASE, 1999, pp:161-175 [Conf]
  37. Oliver Niese, Bernhard Steffen, Tiziana Margaria, Andreas Hagerer, Georg Brune, Hans-Dieter Ide
    Library-Based Design and Consistency Checking of System-Level Industrial Test Cases. [Citation Graph (0, 0)][DBLP]
    FASE, 2001, pp:233-248 [Conf]
  38. Harald Raffelt, Bernhard Steffen
    LearnLib: A Library for Automata Learning and Experimentation. [Citation Graph (0, 0)][DBLP]
    FASE, 2006, pp:377-380 [Conf]
  39. Bengt Jonsson, Tiziana Margaria, Gustaf Naeser, Jan Nyström, Bernhard Steffen
    Incremental Requirement Specification for Evolving Systems. [Citation Graph (0, 0)][DBLP]
    FIW, 2000, pp:145-162 [Conf]
  40. Bernhard Steffen, Tiziana Margaria, Ralf Nagel, Sven Jörges, Christian Kubczak
    Model-Driven Development with the jABC. [Citation Graph (0, 0)][DBLP]
    Haifa Verification Conference, 2006, pp:92-108 [Conf]
  41. Kim Guldstrand Larsen, Bernhard Steffen, Carsten Weise
    Fischer's Protocol Revisited: A Simple Proof Using Modal Constraints. [Citation Graph (0, 0)][DBLP]
    Hybrid Systems, 1995, pp:604-615 [Conf]
  42. Olaf Burkart, Bernhard Steffen
    Model Checking the Full Modal Mu-Calculus for Infinite Sequential Processes. [Citation Graph (0, 0)][DBLP]
    ICALP, 1997, pp:419-429 [Conf]
  43. Rance Cleaveland, Bernhard Steffen
    Computing Behavioural Relations, Logically. [Citation Graph (0, 0)][DBLP]
    ICALP, 1991, pp:127-138 [Conf]
  44. Hardi Hungar, Bernhard Steffen
    Local Model Checking for Context-Free Processes. [Citation Graph (0, 0)][DBLP]
    ICALP, 1993, pp:593-605 [Conf]
  45. Bernhard Steffen
    Characteristic Formulae. [Citation Graph (0, 0)][DBLP]
    ICALP, 1989, pp:723-732 [Conf]
  46. Bernhard Steffen
    Major Threat: From Formal Methods without Tools to Tools without Formal Methods. [Citation Graph (0, 0)][DBLP]
    ICECCS, 2004, pp:15- [Conf]
  47. Sven Jörges, Tiziana Margaria, Bernhard Steffen
    FormulaBuilder: a tool for graph-based modelling and generation of formulae. [Citation Graph (0, 0)][DBLP]
    ICSE, 2006, pp:815-818 [Conf]
  48. Tiziana Margaria, Bernhard Steffen, Manfred Reitenspieß
    Service-Oriented Design: The Roots. [Citation Graph (0, 0)][DBLP]
    ICSOC, 2005, pp:450-464 [Conf]
  49. Hardi Hungar, Tiziana Margaria, Bernhard Steffen
    Test-Based Model Generation For Legacy Systems. [Citation Graph (0, 0)][DBLP]
    ITC, 2003, pp:971-980 [Conf]
  50. Rance Cleaveland, Bernhard Steffen
    When is ``Partial'' Adequate? A Logic-Based Proof Technique Using Partial Specifications [Citation Graph (0, 0)][DBLP]
    LICS, 1990, pp:440-449 [Conf]
  51. Rob J. van Glabbeek, Scott A. Smolka, Bernhard Steffen, Chris M. N. Tofts
    Reactive, Generative, and Stratified Models of Probabilistic Processes [Citation Graph (0, 0)][DBLP]
    LICS, 1990, pp:130-141 [Conf]
  52. Olaf Burkart, Didier Caucal, Bernhard Steffen
    An Elementary Bisimulation Decision Procedure for Arbitrary Context-Free Processes. [Citation Graph (0, 0)][DBLP]
    MFCS, 1995, pp:423-433 [Conf]
  53. Bernhard Steffen
    Optimal Data Flow Analysis via Observational Equivalence. [Citation Graph (0, 0)][DBLP]
    MFCS, 1989, pp:492-502 [Conf]
  54. Bernhard Steffen, Jens Knoop
    Finite Constants: Characterizations of a New Decidable Set of Constants. [Citation Graph (0, 0)][DBLP]
    MFCS, 1989, pp:481-491 [Conf]
  55. Bernhard Steffen, Carsten Weise
    Deciding Testing Equivalence for Real-Time Processes with Dense Time. [Citation Graph (0, 0)][DBLP]
    MFCS, 1993, pp:703-713 [Conf]
  56. Achim Basermann, Bernhard Steffen
    Preconditioned Solvers for Large Eigenvalue Problems on Massively Parallel Computers and Workstation Clusters. [Citation Graph (0, 0)][DBLP]
    PARCO, 1997, pp:565-572 [Conf]
  57. Jens Knoop, Oliver Rüthing, Bernhard Steffen
    Lazy Code Motion. [Citation Graph (0, 0)][DBLP]
    PLDI, 1992, pp:224-234 [Conf]
  58. Jens Knoop, Oliver Rüthing, Bernhard Steffen
    Lazy code motion (with retrospective) [Citation Graph (0, 0)][DBLP]
    Best of PLDI, 1992, pp:460-472 [Conf]
  59. Jens Knoop, Oliver Rüthing, Bernhard Steffen
    Partial Dead Code Elimination. [Citation Graph (0, 0)][DBLP]
    PLDI, 1994, pp:147-158 [Conf]
  60. Jens Knoop, Oliver Rüthing, Bernhard Steffen
    The Power of Assignment Motion. [Citation Graph (0, 0)][DBLP]
    PLDI, 1995, pp:233-245 [Conf]
  61. Oliver Rüthing, Jens Knoop, Bernhard Steffen
    Sparse Code Motion. [Citation Graph (0, 0)][DBLP]
    POPL, 2000, pp:170-183 [Conf]
  62. Jens Knoop, Bernhard Steffen
    Code Motion for Explicitly Parallel Programs. [Citation Graph (0, 0)][DBLP]
    PPOPP, 1999, pp:13-24 [Conf]
  63. Achim Basermann, Bernhard Steffen
    New Preconditioned Solvers for Large Sparse Eigenvalue Problems on Massively Parallel Computers. [Citation Graph (0, 0)][DBLP]
    PPSC, 1997, pp:- [Conf]
  64. Rance Cleaveland, Joachim Parrow, Bernhard Steffen
    A Semantics Based Verification Tool for Finite State Systems. [Citation Graph (0, 0)][DBLP]
    PSTV, 1989, pp:287-302 [Conf]
  65. Hardi Hungar, Tiziana Margaria, Bernhard Steffen
    Model Generation for Legacy Systems. [Citation Graph (0, 0)][DBLP]
    RISSEF, 2002, pp:167-183 [Conf]
  66. Markus Müller-Olm, David A. Schmidt, Bernhard Steffen
    Model-Checking: A Tutorial Introduction. [Citation Graph (0, 0)][DBLP]
    SAS, 1999, pp:330-354 [Conf]
  67. David A. Schmidt, Bernhard Steffen
    Program Analysis as Model Checking of Abstract Interpretations. [Citation Graph (0, 0)][DBLP]
    SAS, 1998, pp:351-380 [Conf]
  68. Bernhard Steffen
    Property-Oriented Expansion. [Citation Graph (0, 0)][DBLP]
    SAS, 1996, pp:22-41 [Conf]
  69. Oliver Rüthing, Jens Knoop, Bernhard Steffen
    Detecting Equalities of Variables: Combining Efficiency with Precision. [Citation Graph (0, 0)][DBLP]
    SAS, 1999, pp:232-247 [Conf]
  70. Anna-Lena Lamprecht, Tiziana Margaria, Bernhard Steffen
    Datenflussanalyse als Modelchecking im jABC. [Citation Graph (0, 0)][DBLP]
    Software Engineering, 2006, pp:125-130 [Conf]
  71. Tiziana Margaria, Oliver Niese, Bernhard Steffen
    Demonstration of an Automated Integrated Test Environment for Web-Based Applications. [Citation Graph (0, 0)][DBLP]
    SPIN, 2002, pp:250-253 [Conf]
  72. Bernhard Steffen, Tiziana Margaria, Volker Braun
    Coarse-Granular Model Checking in Practice. [Citation Graph (0, 0)][DBLP]
    SPIN, 2001, pp:304-312 [Conf]
  73. Christian Topnik, Eva Wilhelm, Tiziana Margaria, Bernhard Steffen
    jMosel: A Stand-Alone Tool and jABC Plugin for M2L(Str). [Citation Graph (0, 0)][DBLP]
    SPIN, 2006, pp:293-298 [Conf]
  74. Bernhard Steffen
    Unifying Models. [Citation Graph (0, 0)][DBLP]
    STACS, 1997, pp:1-20 [Conf]
  75. Volker Braun, Jürgen Kreileder, Tiziana Margaria, Bernhard Steffen
    The ETI Online Service in Action. [Citation Graph (0, 0)][DBLP]
    TACAS, 1999, pp:439-443 [Conf]
  76. Volker Braun, Tiziana Margaria, Bernhard Steffen, Haiseung Yoo
    Automatic Error Location for IN Service Definition. [Citation Graph (0, 0)][DBLP]
    Services and Visualization: Towards User-Friendly Design, 1998, pp:222-237 [Conf]
  77. Michael von der Beeck, Volker Braun, Andreas Claßen, Achim Dannecker, Carsten Friedrich, Dirk Koschützki, Tiziana Margaria, Falk Schreiber, Bernhard Steffen
    Graphs in METAFrame: The Unifying Power of Polymorphism. [Citation Graph (0, 0)][DBLP]
    TACAS, 1997, pp:112-129 [Conf]
  78. Marion Klein, Jens Knoop, Dirk Koschützki, Bernhard Steffen
    DFA&OPT-METAFrame: A Tool Kit for Program Analysis and Optimazation. [Citation Graph (0, 0)][DBLP]
    TACAS, 1996, pp:422-426 [Conf]
  79. Jens Knoop, Bernhard Steffen, Jürgen Vollmer
    Parallelism for Free: Bitvector Analyses -> No State Explosion! [Citation Graph (0, 0)][DBLP]
    TACAS, 1995, pp:264-289 [Conf]
  80. Kim Guldstrand Larsen, Bernhard Steffen, Carsten Weise
    A Constraint Oriented Proof Methodology Based on Modal Transition Systems. [Citation Graph (0, 0)][DBLP]
    TACAS, 1995, pp:17-40 [Conf]
  81. Tiziana Margaria, Ralf Nagel, Bernhard Steffen
    jETI: A Tool for Remote Tool Integration. [Citation Graph (0, 0)][DBLP]
    TACAS, 2005, pp:557-562 [Conf]
  82. Bernhard Steffen, Tiziana Margaria, Andreas Claßen, Volker Braun, Rita Nisius, Manfred Reitenspieß
    A Constraint-Oriented Service Creation Environment. [Citation Graph (0, 0)][DBLP]
    TACAS, 1996, pp:418-421 [Conf]
  83. Bernhard Steffen
    Data Flow Analysis as Model Checking. [Citation Graph (0, 0)][DBLP]
    TACS, 1991, pp:346-365 [Conf]
  84. Bernhard Steffen
    Optimal Run Time Optimization Proved by a New Look at Abstract Interpretation. [Citation Graph (0, 0)][DBLP]
    TAPSOFT, Vol.1, 1987, pp:52-68 [Conf]
  85. Bernhard Steffen, Jens Knoop, Oliver Rüthing
    Efficient Code Motion and an Adaption to Strength Reduction. [Citation Graph (0, 0)][DBLP]
    TAPSOFT, Vol.2, 1991, pp:394-415 [Conf]
  86. Bernhard Steffen, Tiziana Margaria, Andreas Claßen
    The META-Frame: An Environment for Flexible Tool Management. [Citation Graph (0, 0)][DBLP]
    TAPSOFT, 1995, pp:791-792 [Conf]
  87. Bernhard Steffen, Hardi Hungar
    Behavior-Based Model Construction. [Citation Graph (0, 0)][DBLP]
    VMCAI, 2003, pp:5-19 [Conf]
  88. Tiziana Margaria, Bernhard Steffen
    Service Engineering: Linking Business and IT. [Citation Graph (0, 0)][DBLP]
    SEW, 2006, pp:33-36 [Conf]
  89. Tiziana Margaria, Bernhard Steffen
    Second-Order Semantic Web. [Citation Graph (0, 0)][DBLP]
    SEW, 2005, pp:219-227 [Conf]
  90. Tiziana Margaria, Bernhard Steffen
    Service Engineering: Linking Business and IT. [Citation Graph (0, 0)][DBLP]
    IEEE Computer, 2006, v:39, n:10, pp:45-55 [Journal]
  91. Bernhard Steffen, Tiziana Margaria
    Method Engineering for Real-Life Concurrent Systems. [Citation Graph (0, 0)][DBLP]
    ACM Comput. Surv., 1996, v:28, n:4es, pp:56- [Journal]
  92. Bernhard Steffen, Tiziana Margaria
    Tools Get Formal Methods into Practice. [Citation Graph (0, 0)][DBLP]
    ACM Comput. Surv., 1996, v:28, n:4es, pp:126- [Journal]
  93. Tiziana Margaria, Bernhard Steffen
    Scalable System-level CTI Testing through Lightweight Coarse-grained Coordination. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2002, v:66, n:2, pp:- [Journal]
  94. Bernhard Steffen
    Preface. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1996, v:5, n:, pp:- [Journal]
  95. Susanne Graf, Bernhard Steffen, Gerald Lüttgen
    Compositional Minimisation of Finite State Systems Using Interface Specifications. [Citation Graph (0, 0)][DBLP]
    Formal Asp. Comput., 1996, v:8, n:5, pp:607-616 [Journal]
  96. Scott A. Smolka, Bernhard Steffen
    Priority as Extremal Probability. [Citation Graph (0, 0)][DBLP]
    Formal Asp. Comput., 1996, v:8, n:5, pp:585-606 [Journal]
  97. Rance Cleaveland, Bernhard Steffen
    A Linear-Time Model-Checking Algorithm for the Alternation-Free Modal Mu-Calculus. [Citation Graph (0, 0)][DBLP]
    Formal Methods in System Design, 1993, v:2, n:2, pp:121-147 [Journal]
  98. Rob J. van Glabbeek, Scott A. Smolka, Bernhard Steffen
    Reactive, Generative and Stratified Models of Probabilistic Processes [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 1995, v:121, n:1, pp:59-80 [Journal]
  99. Bernhard Steffen, Anna Ingólfsdóttir
    Characteristic Formulae for Processes with Divergence [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 1994, v:110, n:1, pp:149-163 [Journal]
  100. Mirko Loghi, Tiziana Margaria, Graziano Pravadelli, Bernhard Steffen
    Dynamic and Formal Verification of Embedded Systems: A Comparative Survey. [Citation Graph (0, 0)][DBLP]
    International Journal of Parallel Programming, 2005, v:33, n:6, pp:585-611 [Journal]
  101. Bernhard Steffen, C. Barry Jay, Michael Mendler
    Compositional characterization of observable program properties. [Citation Graph (0, 0)][DBLP]
    ITA, 1992, v:26, n:, pp:403-424 [Journal]
  102. Jens Knoop, Oliver Rüthing, Bernhard Steffen
    Towards a tool kit for the automatic generation of interprocedural data flow analyses. [Citation Graph (0, 0)][DBLP]
    J. Prog. Lang., 1996, v:4, n:4, pp:211-246 [Journal]
  103. Olaf Burkart, Bernhard Steffen
    Composition, Decomposition and Model Checking of Pushdown Processes. [Citation Graph (0, 0)][DBLP]
    Nord. J. Comput., 1995, v:2, n:2, pp:89-125 [Journal]
  104. Hardi Hungar, Bernhard Steffen
    Local Model-Checking for Context-Free Processes. [Citation Graph (0, 0)][DBLP]
    Nord. J. Comput., 1994, v:1, n:3, pp:364-0 [Journal]
  105. Bengt Jonsson, Tiziana Margaria, Gustaf Naeser, Jan Nyström, Bernhard Steffen
    Incremental Requirement Specification for Evolving Systems. [Citation Graph (0, 0)][DBLP]
    Nord. J. Comput., 2001, v:8, n:1, pp:65-87 [Journal]
  106. Helmut Seidl, Bernhard Steffen
    Constraint-Based Inter-Procedural Analysis of Parallel Programs. [Citation Graph (0, 0)][DBLP]
    Nord. J. Comput., 2000, v:7, n:4, pp:375-0 [Journal]
  107. Bernhard Steffen
    Implementation of a resonant cavity package on MIMD computers. [Citation Graph (0, 0)][DBLP]
    Parallel Computing, 1988, v:7, n:1, pp:55-63 [Journal]
  108. Bernhard Steffen
    Generating Data Flow Analysis Algorithms from Modal Specifications. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 1993, v:21, n:2, pp:115-139 [Journal]
  109. Tiziana Margaria, Bernhard Steffen
    Foreword. [Citation Graph (0, 0)][DBLP]
    Software - Concepts and Tools, 1996, v:17, n:2, pp:49- [Journal]
  110. Bernhard Steffen, Tiziana Margaria, Andreas Claßen
    Heterogeneous Analysis and Verification for Distributed Systems. [Citation Graph (0, 0)][DBLP]
    Software - Concepts and Tools, 1996, v:17, n:1, pp:13-25 [Journal]
  111. Bernhard Steffen, Tiziana Margaria, Andreas Claßen, Volker Braun
    Incremental Formalization: A Key to Industrial Success. [Citation Graph (0, 0)][DBLP]
    Software - Concepts and Tools, 1996, v:17, n:2, pp:78-0 [Journal]
  112. Hardi Hungar, Bernhard Steffen
    Behavior-based model construction. [Citation Graph (0, 0)][DBLP]
    STTT, 2004, v:6, n:1, pp:4-14 [Journal]
  113. Rance Cleaveland, Tiziana Margaria, Bernhard Steffen
    Editorial. [Citation Graph (0, 0)][DBLP]
    STTT, 1997, v:1, n:1-2, pp:1-5 [Journal]
  114. Kim Guldstrand Larsen, Bernhard Steffen, Carsten Weise
    Continuous Modeling of Real-Time and Hybrid Systems: From Concepts to Tools. [Citation Graph (0, 0)][DBLP]
    STTT, 1997, v:1, n:1-2, pp:64-85 [Journal]
  115. Tiziana Margaria, Bernhard Steffen
    Lightweight coarse-grained coordination: a scalable system-level approach. [Citation Graph (0, 0)][DBLP]
    STTT, 2004, v:5, n:2-3, pp:107-123 [Journal]
  116. Bernhard Steffen, Tiziana Margaria, Volker Braun
    The Electronic Tool Integration Platform: Concepts and Design. [Citation Graph (0, 0)][DBLP]
    STTT, 1997, v:1, n:1-2, pp:9-30 [Journal]
  117. Tiziana Margaria, Bernhard Steffen
    Special Section on "Leveraging Formal Methods". [Citation Graph (0, 0)][DBLP]
    STTT, 2006, v:8, n:6, pp:467-469 [Journal]
  118. Olaf Burkart, Bernhard Steffen
    Model Checking the Full Modal mu-Calculus for Infinite Sequential Processes. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1999, v:221, n:1-2, pp:251-270 [Journal]
  119. Bernhard Steffen, Jens Knoop
    Finite Constants: Characterizations of a New Decidable Set of Constants. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1991, v:80, n:2, pp:303-318 [Journal]
  120. Jens Knoop, Oliver Rüthing, Bernhard Steffen
    Optimal Code Motion: Theory and Practice. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 1994, v:16, n:4, pp:1117-1155 [Journal]
  121. Jens Knoop, Bernhard Steffen, Jürgen Vollmer
    Parallelism for Free: Efficient and Optimal Bitvector Analyses for Parallel Programs. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 1996, v:18, n:3, pp:268-299 [Journal]
  122. Tiziana Margaria, Oliver Rüthing, Bernhard Steffen
    ViDoC - Visual Design of Optimizing Compilers. [Citation Graph (0, 0)][DBLP]
    Program Analysis and Compilation, 2006, pp:145-159 [Conf]
  123. Tiziana Margaria, Christian Kubczak, Marc Njoku, Bernhard Steffen
    Model-based Design of Distributed Collaborative Bioinformatics Processes in the jABC. [Citation Graph (0, 0)][DBLP]
    ICECCS, 2006, pp:169-176 [Conf]
  124. Tiziana Margaria, Harald Raffelt, Bernhard Steffen, Martin Leucker
    The LearnLib in FMICS-jETI. [Citation Graph (0, 0)][DBLP]
    ICECCS, 2007, pp:340-352 [Conf]
  125. Bernhard Steffen, Tiziana Margaria
    Continuous Engineering of Embedded systems. [Citation Graph (0, 0)][DBLP]
    DIPES, 2006, pp:45-54 [Conf]
  126. Tiziana Margaria, Bernhard Steffen
    Run-Time Agents as a Means of Reconciling Flexibility and Scalability of Services. [Citation Graph (0, 0)][DBLP]
    WRAC, 2005, pp:257-268 [Conf]

  127. Dynamic Testing Via Automata Learning. [Citation Graph (, )][DBLP]


  128. An Approach to Discovery with miAamics and jABC. [Citation Graph (, )][DBLP]


  129. Service-Oriented Mediation with jETI/jABC: Verification and Export. [Citation Graph (, )][DBLP]


  130. From Bio-jETI Process Models to Native Code. [Citation Graph (, )][DBLP]


  131. Keynote: Continuous Model Driven Engineering. [Citation Graph (, )][DBLP]


  132. CONNECT Challenges: Towards Emergent Connectors for Eternal Networked Systems. [Citation Graph (, )][DBLP]


  133. The SWS Mediator with WEBML/WEBRATIO and JABC/JETI: A Comparison. [Citation Graph (, )][DBLP]


  134. Maintenance, or the 3rd dimension of eXtreme model-driven design. [Citation Graph (, )][DBLP]


  135. Agile IT: Thinking in User-Centric Models. [Citation Graph (, )][DBLP]


  136. Verification, Diagnosis and Adaptation: Tool supported enhancement of the model-driven verification process. [Citation Graph (, )][DBLP]


  137. The jABC Approach to Rigorous Collaborative Development of SCM Applications. [Citation Graph (, )][DBLP]


  138. SCA and jABC: Bringing a Service-Oriented Paradigm to Web-Service Construction. [Citation Graph (, )][DBLP]


  139. Biological LC/MS Preprocessing and Analysis with jABC, jETI and xcms. [Citation Graph (, )][DBLP]


  140. The FMICS-jETI Platform: Status and Perspectives. [Citation Graph (, )][DBLP]


  141. Service Based Enabling Service Availability in the MaTRICS: A Model-Driven Approach. [Citation Graph (, )][DBLP]


  142. Hybrid test of web applications with webtest. [Citation Graph (, )][DBLP]


  143. Middleware: just another level for orchestration. [Citation Graph (, )][DBLP]


  144. Pseudo-Spectral Modeling in Geodynamo. [Citation Graph (, )][DBLP]


  145. A formal requirements engineering method for specification, synthesis, and verification. [Citation Graph (, )][DBLP]


  146. Synthesizing Semantic Web Service Compositions with jMosel and Golog. [Citation Graph (, )][DBLP]


  147. LTL Guided Planning: Revisiting Automatic Tool Composition in ETI. [Citation Graph (, )][DBLP]


  148. Seven Variations of an Alignment Workflow - An Illustration of Agile Process Design and Management in Bio-jETI. [Citation Graph (, )][DBLP]


  149. From the How to the What. [Citation Graph (, )][DBLP]


  150. Completing and Adapting Models of Biological Processes. [Citation Graph (, )][DBLP]


  151. Enhanced Requirements-Based Programming for Embedded Systems Design. [Citation Graph (, )][DBLP]


  152. Aggressive Model-Driven Development: Synthesizing Systems from Models viewed as Constraints. [Citation Graph (, )][DBLP]


  153. GeneFisher-P: variations of GeneFisher as processes in Bio-jETI. [Citation Graph (, )][DBLP]


  154. Bio-jETI: a service integration, design, and provisioning platform for orchestrated bioinformatics processes. [Citation Graph (, )][DBLP]


  155. Bio-jETI: a framework for semantics-based service composition. [Citation Graph (, )][DBLP]


  156. Full Life-Cycle Support for End-to-End Processes. [Citation Graph (, )][DBLP]


  157. Continuous Model-Driven Engineering. [Citation Graph (, )][DBLP]


  158. Simplicity as a Driver for Agile Innovation. [Citation Graph (, )][DBLP]


Search in 0.009secs, Finished in 0.014secs
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
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002