The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Tiziana Margaria: [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. Bernhard Steffen, Tiziana Margaria, Andreas Claßen, Volker Braun
    Incremental Formalization. [Citation Graph (0, 0)][DBLP]
    AMAST, 1996, pp:608-611 [Conf]
  3. 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]
  4. Peter Kelb, Tiziana Margaria, Michael Mendler, Claudia Gsottberger
    MOSEL: A Sound and Efficient Tool for M2L(Str). [Citation Graph (0, 0)][DBLP]
    CAV, 1997, pp:448-451 [Conf]
  5. Bernhard Steffen, Tiziana Margaria, Andreas Claßen, Volker Braun
    The METAFrame'95 Environment. [Citation Graph (0, 0)][DBLP]
    CAV, 1996, pp:450-453 [Conf]
  6. 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]
  7. Tiziana Margaria, A. Prasad Sistla, Bernhard Steffen, Lenore D. Zuck
    Taming Interface Specifications. [Citation Graph (0, 0)][DBLP]
    CONCUR, 2005, pp:548-561 [Conf]
  8. 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]
  9. Tiziana Margaria
    Components, Features, and Agents in the ABC. [Citation Graph (0, 0)][DBLP]
    Objects, Agents, and Features, 2003, pp:154-174 [Conf]
  10. Tiziana Margaria, Bernhard Steffen, Manfred Reitenspieß
    Service-Oriented Design: The jABC Approach. [Citation Graph (0, 0)][DBLP]
    Service Oriented Computing, 2005, pp:- [Conf]
  11. 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]
  12. 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]
  13. 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]
  14. 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]
  15. Tiziana Margaria, Bernhard Steffen
    Backtracking-Free Design Planning by Automatic Synthesis in METAFrame. [Citation Graph (0, 0)][DBLP]
    FASE, 1998, pp:188-204 [Conf]
  16. 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]
  17. 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]
  18. Tiziana Margaria, Volker Gruhn
    Flexible and Reliable Process Model Properties: An Integrated Approach. [Citation Graph (0, 0)][DBLP]
    FM-Trends, 1998, pp:213-227 [Conf]
  19. 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]
  20. Tiziana Margaria, Martin Karusseit
    Community Usage of the Online Conference Service: an Experience Report from three CS Conferences. [Citation Graph (0, 0)][DBLP]
    I3E, 2002, pp:497-511 [Conf]
  21. 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]
  22. Tiziana Margaria, Bernhard Steffen, Manfred Reitenspieß
    Service-Oriented Design: The Roots. [Citation Graph (0, 0)][DBLP]
    ICSOC, 2005, pp:450-464 [Conf]
  23. Tiziana Margaria
    Efficient RT-Level Verification by Theorem Proving. [Citation Graph (0, 0)][DBLP]
    IFIP Congress (1), 1992, pp:696-702 [Conf]
  24. Tiziana Margaria
    Modeling Dependable Systems: What Can Model Driven Development Contribute and What Likely Not?. [Citation Graph (0, 0)][DBLP]
    ISORC, 2004, pp:113-120 [Conf]
  25. Hardi Hungar, Tiziana Margaria, Bernhard Steffen
    Test-Based Model Generation For Legacy Systems. [Citation Graph (0, 0)][DBLP]
    ITC, 2003, pp:971-980 [Conf]
  26. Hardi Hungar, Tiziana Margaria, Bernhard Steffen
    Model Generation for Legacy Systems. [Citation Graph (0, 0)][DBLP]
    RISSEF, 2002, pp:167-183 [Conf]
  27. Anna-Lena Lamprecht, Tiziana Margaria, Bernhard Steffen
    Datenflussanalyse als Modelchecking im jABC. [Citation Graph (0, 0)][DBLP]
    Software Engineering, 2006, pp:125-130 [Conf]
  28. 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]
  29. Bernhard Steffen, Tiziana Margaria, Volker Braun
    Coarse-Granular Model Checking in Practice. [Citation Graph (0, 0)][DBLP]
    SPIN, 2001, pp:304-312 [Conf]
  30. 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]
  31. 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]
  32. 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]
  33. 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]
  34. Peter Kelb, Tiziana Margaria, Michael Mendler, Claudia Gsottberger
    MOSEL: A FLexible Toolset for Monadic Second-Order Logic. [Citation Graph (0, 0)][DBLP]
    TACAS, 1997, pp:183-202 [Conf]
  35. Tiziana Margaria
    Fully Automatic Verifcation and Error Detection for Parameterized Iterative Sequential Circuits. [Citation Graph (0, 0)][DBLP]
    TACAS, 1996, pp:258-277 [Conf]
  36. Tiziana Margaria, Volker Braun
    Formal Methods and Customized Visualization: A Fruitful Symbiosis. [Citation Graph (0, 0)][DBLP]
    Services and Visualization: Towards User-Friendly Design, 1998, pp:190-207 [Conf]
  37. Tiziana Margaria, Ralf Nagel, Bernhard Steffen
    jETI: A Tool for Remote Tool Integration. [Citation Graph (0, 0)][DBLP]
    TACAS, 2005, pp:557-562 [Conf]
  38. 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]
  39. 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]
  40. Tiziana Margaria
    Hierarchical Mixed-Mode Verification of Complex FSMs Described at the RT Level. [Citation Graph (0, 0)][DBLP]
    TPCD, 1992, pp:59-75 [Conf]
  41. Martin Karusseit, Tiziana Margaria
    Feature-based Modelling of a Complex, Online-Reconfigurable Decision Support Service. [Citation Graph (0, 0)][DBLP]
    WWV, 2005, pp:9-25 [Conf]
  42. Tiziana Margaria, Bernhard Steffen
    Service Engineering: Linking Business and IT. [Citation Graph (0, 0)][DBLP]
    SEW, 2006, pp:33-36 [Conf]
  43. Tiziana Margaria, Bernhard Steffen
    Second-Order Semantic Web. [Citation Graph (0, 0)][DBLP]
    SEW, 2005, pp:219-227 [Conf]
  44. 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]
  45. 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]
  46. 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]
  47. Martin Karusseit, Tiziana Margaria
    Feature-based Modelling of a Complex, Online-Reconfigurable Decision Support Service. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:157, n:2, pp:101-118 [Journal]
  48. Tiziana Margaria
    The Electronic Tool Integration Platform as a Supplier and User of Graph Based Tools. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2002, v:72, n:2, pp:- [Journal]
  49. 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]
  50. 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]
  51. 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]
  52. Tiziana Margaria
    Web services-based tool-integration in the ETI platform. [Citation Graph (0, 0)][DBLP]
    Software and System Modeling, 2005, v:4, n:2, pp:141-156 [Journal]
  53. Tiziana Margaria, Bernhard Steffen
    Foreword. [Citation Graph (0, 0)][DBLP]
    Software - Concepts and Tools, 1996, v:17, n:2, pp:49- [Journal]
  54. 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]
  55. 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]
  56. Volker Braun, Tiziana Margaria, Carsten Weise
    Integrating Tools in the ETI Platform. [Citation Graph (0, 0)][DBLP]
    STTT, 1997, v:1, n:1-2, pp:31-48 [Journal]
  57. Rance Cleaveland, Tiziana Margaria, Bernhard Steffen
    Editorial. [Citation Graph (0, 0)][DBLP]
    STTT, 1997, v:1, n:1-2, pp:1-5 [Journal]
  58. Thomas Friese, Tiziana Margaria, Alfred Hofmann
    Integrating Printed and Online Information. [Citation Graph (0, 0)][DBLP]
    STTT, 1998, v:2, n:2, pp:202- [Journal]
  59. Tiziana Margaria
    Preface by the section editor. [Citation Graph (0, 0)][DBLP]
    STTT, 2003, v:4, n:3, pp:266-270 [Journal]
  60. Tiziana Margaria
    Introductory paper. [Citation Graph (0, 0)][DBLP]
    STTT, 2005, v:7, n:4, pp:293-296 [Journal]
  61. Tiziana Margaria, Volker Braun, Jürgen Kreileder
    Interacting with ETI: A User Session. [Citation Graph (0, 0)][DBLP]
    STTT, 1997, v:1, n:1-2, pp:49-63 [Journal]
  62. 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]
  63. Tiziana Margaria, Wang Yi
    Introductory paper: scalability aspects of validation. [Citation Graph (0, 0)][DBLP]
    STTT, 2003, v:5, n:1, pp:1-3 [Journal]
  64. 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]
  65. 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]
  66. Maura Cerioli, Tiziana Margaria, Michel Wermelinger
    Foreword. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2007, v:376, n:3, pp:137-138 [Journal]
  67. 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]
  68. Pekka Abrahamsson, Nathan Baddoo, Tiziana Margaria, Richard Messnarz
    Software Process Improvement - EuroSPI 2007 Conference. [Citation Graph (0, 0)][DBLP]
    EuroSPI, 2007, pp:1-6 [Conf]
  69. 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]
  70. Tiziana Margaria, Harald Raffelt, Bernhard Steffen, Martin Leucker
    The LearnLib in FMICS-jETI. [Citation Graph (0, 0)][DBLP]
    ICECCS, 2007, pp:340-352 [Conf]
  71. Bernhard Steffen, Tiziana Margaria
    Continuous Engineering of Embedded systems. [Citation Graph (0, 0)][DBLP]
    DIPES, 2006, pp:45-54 [Conf]
  72. 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]

  73. Abductive Synthesis of the Mediator Scenario with jABC and GEM. [Citation Graph (, )][DBLP]


  74. Synthesizing the Mediator with jABC/ABC. [Citation Graph (, )][DBLP]


  75. Component-Oriented Behavior Extraction for Autonomic System Design using Games. [Citation Graph (, )][DBLP]


  76. Test your Strategy - Intuitive Strategy Definition and Evaluation for Novices and Experts. [Citation Graph (, )][DBLP]


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


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


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


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


  81. Analysis and Code Model Extraction for C/C++ Source Code. [Citation Graph (, )][DBLP]


  82. The Semantic Web Services Challenge: Tackling Complexity at the Orchestration Level. [Citation Graph (, )][DBLP]


  83. Enabling eXtreme Model Driven Design of Parlay X-based Communications Services for End-to-End Multiplatform Service Orchestrations. [Citation Graph (, )][DBLP]


  84. Test your Strategy: Graphical Construction of Strategies for Connect-Four. [Citation Graph (, )][DBLP]


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


  86. SWS Challenge - Status, Perspectives, Lessons Learned So Far. [Citation Graph (, )][DBLP]


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


  88. High Service Availability in MaTRICS for the OCS. [Citation Graph (, )][DBLP]


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


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


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


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


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


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


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


  96. Comparative Analysis of Tools for Automated Software Re-engineering Purposes. [Citation Graph (, )][DBLP]


  97. Anything You Want to Ask about Software Reliability Engineering. [Citation Graph (, )][DBLP]


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


  99. Policy expression and checking in XACML, WS-Policies, and the jABC. [Citation Graph (, )][DBLP]


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


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


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


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


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


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


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


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


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


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


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


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


  112. Software engineering and formal methods. [Citation Graph (, )][DBLP]


  113. Service Is in the Eyes of the Beholder. [Citation Graph (, )][DBLP]


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


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


Search in 0.207secs, Finished in 0.213secs
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