Tiziana Margaria Home Page Coauthor index DBLP Vis pubzone.org

Tiziana Margaria-Steffen

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2009
130Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristian Wagner, Tiziana Margaria, Hans-Georg Pagendarm: Analysis and Code Model Extraction for C/C++ Source Code. ICECCS 2009: 110-119
129Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarco Bakera, Sven Jörges, Tiziana Margaria: Test your Strategy: Graphical Construction of Strategies for Connect-Four. ICECCS 2009: 172-181
128Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNiklas Blum, Thomas Magedanz, Jan Kleessen, Tiziana Margaria: Enabling eXtreme Model Driven Design of Parlay X-based Communications Services for End-to-End Multiplatform Service Orchestrations. ICECCS 2009: 240-247
127Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAnna-Lena Lamprecht, Tiziana Margaria, Bernhard Steffen: From Bio-jETI Process Models to Native Code. ICECCS 2009: 95-101
126Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBernhard Steffen, Sven Jörges, Christian Wagner, Tiziana Margaria: Maintenance, or the 3rd dimension of eXtreme model-driven design. ICSM 2009: 483-486
125Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTiziana Margaria, Daniel Meyer, Christian Kubczak, Malte Isberner, Bernhard Steffen: Synthesizing Semantic Web Service Compositions with jMosel and Golog. International Semantic Web Conference 2009: 392-407
124Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTiziana Margaria, Bernhard Steffen: Continuous Model-Driven Engineering. IEEE Computer 42(10): 106-109 (2009)
123Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMike Hinchey, Tiziana Margaria, Bernhard Steffen: Guest Editor's introduction. STTT 11(3): 173-174 (2009)
122Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHarald Raffelt, Maik Merten, Bernhard Steffen, Tiziana Margaria: Dynamic testing via automata learning. STTT 11(4): 307-324 (2009)
121Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTiziana Margaria, Mieke Massink: Preface. STTT 11(5): 355-357 (2009)
120Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHarald Raffelt, Bernhard Steffen, Therese Berg, Tiziana Margaria: LearnLib: a framework for extrapolating behavioral models. STTT 11(5): 393-407 (2009)
2008
119no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAthman Bouguettaya, Ingolf Krüger, Tiziana Margaria: Service-Oriented Computing - ICSOC 2008, 6th International Conference, Sydney, Australia, December 1-5, 2008. Proceedings ICSOC 2008
118no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTiziana Margaria, Bernhard Steffen: Leveraging Applications of Formal Methods, Verification and Validation, Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008. Proceedings Springer 2008
117Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristian Kubczak, Tiziana Margaria, Matthias Kaiser, Jens Lemcke, Bjoern Knuth: Abductive Synthesis of the Mediator Scenario with jABC and GEM. EON 2008
116Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTiziana Margaria: Synthesizing the Mediator with jABC/ABC. EON 2008
115Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTiziana Margaria: The Semantic Web Services Challenge: Tackling Complexity at the Orchestration Level. ICECCS 2008: 183-189
114Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAnna-Lena Lamprecht, Tiziana Margaria, Bernhard Steffen: Seven Variations of an Alignment Workflow - An Illustration of Agile Process Design and Management in Bio-jETI. ISBRA 2008: 445-456
113Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichael G. Hinchey, Karama Kanoun, Mikael Lindvall, Michael R. Lyu, Tiziana Margaria, Veena B. Mendiratta, Paul Pettersson, Norman F. Schneidewind, W. Eric Wong: Anything You Want to Ask about Software Reliability Engineering. ISSRE 2008: 6
112Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGeorg Jung, Tiziana Margaria, Ralf Nagel, Wolfgang Schubert, Bernhard Steffen, Horst Voigt: SCA and jABC: Bringing a Service-Oriented Paradigm to Web-Service Construction. ISoLA 2008: 139-154
111Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTiziana Margaria, Bernhard Steffen: Agile IT: Thinking in User-Centric Models. ISoLA 2008: 490-502
110Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarkus Bajohr, Tiziana Margaria: High Service Availability in MaTRICS for the OCS. ISoLA 2008: 572-586
109Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartina Hörmann, Tiziana Margaria, Thomas Mender, Ralf Nagel, Bernhard Steffen, Hong Trinh: The jABC Approach to Rigorous Collaborative Development of SCM Applications. ISoLA 2008: 724-737
108Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHarald Raffelt, Tiziana Margaria, Bernhard Steffen, Maik Merten: Hybrid test of web applications with webtest. TAV-WEB 2008: 1-7
107Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartin Karusseit, Tiziana Margaria, Holger Willebrandt: Policy expression and checking in XACML, WS-Policies, and the jABC. TAV-WEB 2008: 20-26
106Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTiziana Margaria, Christian Kubczak, Bernhard Steffen: Bio-jETI: a service integration, design, and provisioning platform for orchestrated bioinformatics processes. BMC Bioinformatics 9(S-4): (2008)
105Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAnna-Lena Lamprecht, Tiziana Margaria, Bernhard Steffen, Alexander Sczyrba, Sven Hartmeier, Robert Giegerich: GeneFisher-P: variations of GeneFisher as processes in Bio-jETI. BMC Bioinformatics 9(S-4): (2008)
104Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMike Hinchey, Michael Jackson, Patrick Cousot, Byron Cook, Jonathan P. Bowen, Tiziana Margaria: Software engineering and formal methods. Commun. ACM 51(9): 54-59 (2008)
103Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSven Jörges, Tiziana Margaria, Bernhard Steffen: Genesys: service-oriented construction of property conform code generators. ISSE 4(4): 361-384 (2008)
102Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTiziana Margaria, Bernhard Steffen: Preface. Theor. Comput. Sci. 404(3): 185 (2008)
2007
101no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPekka Abrahamsson, Nathan Baddoo, Tiziana Margaria, Richard Messnarz: Software Process Improvement, 14th European Conference, EuroSPI 2007, Potsdam, Germany, September 26-28, 2007, Proceedings Springer 2007
100Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPekka Abrahamsson, Nathan Baddoo, Tiziana Margaria, Richard Messnarz: Software Process Improvement - EuroSPI 2007 Conference. EuroSPI 2007: 1-6
99Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHarald Raffelt, Bernhard Steffen, Tiziana Margaria: Dynamic Testing Via Automata Learning. Haifa Verification Conference 2007: 136-152
98Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTiziana Margaria, Harald Raffelt, Bernhard Steffen, Martin Leucker: The LearnLib in FMICS-jETI. ICECCS 2007: 340-352
97no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTiziana Margaria, Christian Winkler, Christian Kubczak, Bernhard Steffen, Marco Brambilla, Stefano Ceri, Dario Cerizza, Emanuele Della Valle, Federico Michele Facca, Christina Tziviskou: The SWS Mediator with WEBML/WEBRATIO and JABC/JETI: A Comparison. ICEIS (4) 2007: 422-429
96no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCharles J. Petrie, Tiziana Margaria, Ulrich Küster, Holger Lausen, Michal Zaremba: SWS Challenge - Status, Perspectives, Lessons Learned So Far. ICEIS (4) 2007: 447-452
95no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarco Bakera, Tiziana Margaria, Clemens D. Renner, Bernhard Steffen: Verification, Diagnosis and Adaptation: Tool supported enhancement of the model-driven verification process. ISoLA 2007: 85-97
94Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTiziana Margaria, Bernhard Steffen: Middleware: just another level for orchestration. MNCNA 2007: 4
93Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTiziana Margaria, Bernhard Steffen: LTL Guided Planning: Revisiting Automatic Tool Composition in ETI. SEW 2007: 214-226
92Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristian Kubczak, Tiziana Margaria, Bernhard Steffen, Stefan Naujokat: Service-Oriented Mediation with jETI/jABC: Verification and Export. Web Intelligence/IAT Workshops 2007: 144-147
91Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristian Kubczak, Tiziana Margaria, Christian Winkler, Bernhard Steffen: An Approach to Discovery with miAamics and jABC. Web Intelligence/IAT Workshops 2007: 157-160
90Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTiziana Margaria: Service Is in the Eyes of the Beholder. IEEE Computer 40(11): 33-37 (2007)
89Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichel Wermelinger, Tiziana Margaria, Maura Cerioli: Introduction to the special section on fundamental approaches to software engineering. STTT 9(5-6): 415-416 (2007)
88Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMaura Cerioli, Tiziana Margaria, Michel Wermelinger: Foreword. Theor. Comput. Sci. 376(3): 137-138 (2007)
2006
87no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTiziana Margaria, Bernhard Steffen: Leveraging Applications of Formal Methods, First International Symposium, ISoLA 2004, Paphos, Cyprus, October 30 - November 2, 2004, Revised Selected Papers Springer 2006
86Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTiziana Margaria, Michael G. Hinchey, Harald Raffelt, James L. Rash, Christopher A. Rouff, Bernhard Steffen: Completing and Adapting Models of Biological Processes. BICC 2006: 43-54
85Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAnna-Lena Lamprecht, Tiziana Margaria, Bernhard Steffen: Data-Flow Analysis as Model Checking Within the jABC. CC 2006: 101-104
84Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBernhard Steffen, Tiziana Margaria: Continuous Engineering of Embedded systems. DIPES 2006: 45-54
83Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBernhard Steffen, Tiziana Margaria, Ralf Nagel, Sven Jörges, Christian Kubczak: Model-Driven Development with the jABC. Haifa Verification Conference 2006: 92-108
82Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTiziana Margaria, Christian Kubczak, Marc Njoku, Bernhard Steffen: Model-based Design of Distributed Collaborative Bioinformatics Processes in the jABC. ICECCS 2006: 169-176
81Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSven Jörges, Tiziana Margaria, Bernhard Steffen: FormulaBuilder: a tool for graph-based modelling and generation of formulae. ICSE 2006: 815-818
80Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristian Kubczak, Tiziana Margaria, Arno Fritsch, Bernhard Steffen: Biological LC/MS Preprocessing and Analysis with jABC, jETI and xcms. ISoLA 2006: 303-308
79Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarkus Bajohr, Tiziana Margaria, Bernhard Steffen: Service Based Enabling Service Availability in the MaTRICS: A Model-Driven Approach. ISoLA 2006: 317-324
78Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTiziana Margaria, Christian Kubczak, Bernhard Steffen, Stefan Naujokat: The FMICS-jETI Platform: Status and Perspectives. ISoLA 2006: 402-407
77Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristian Wagner, Tiziana Margaria, Hans-Georg Pagendarm: Comparative Analysis of Tools for Automated Software Re-engineering Purposes. ISoLA 2006: 433-440
76Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTiziana Margaria, Oliver Rüthing, Bernhard Steffen: ViDoC - Visual Design of Optimizing Compilers. Program Analysis and Compilation 2006: 145-159
75Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTiziana Margaria, Bernhard Steffen: Service Engineering: Linking Business and IT. SEW 2006: 33-36
74Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristian Topnik, Eva Wilhelm, Tiziana Margaria, Bernhard Steffen: jMosel: A Stand-Alone Tool and jABC Plugin for M2L(Str). SPIN 2006: 293-298
73no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAnna-Lena Lamprecht, Tiziana Margaria, Bernhard Steffen: Datenflussanalyse als Modelchecking im jABC. Software Engineering 2006: 125-130
72Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJulia Padberg, Tiziana Margaria, Gabriele Taentzer: Editorial. ECEASST 4: (2006)
71Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartin Karusseit, Tiziana Margaria: Feature-based Modelling of a Complex, Online-Reconfigurable Decision Support Service. Electr. Notes Theor. Comput. Sci. 157(2): 101-118 (2006)
70Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTiziana Margaria, Bernhard Steffen: Service Engineering: Linking Business and IT. IEEE Computer 39(10): 45-55 (2006)
69Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarkus Bajohr, Tiziana Margaria: MaTRICS: A service-based management tool for remote intelligent configuration of systems. ISSE 2(2): 99-111 (2006)
68Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTiziana Margaria, Bernhard Steffen: Special Section on "Leveraging Formal Methods". STTT 8(6): 467-469 (2006)
2005
67Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTiziana Margaria, A. Prasad Sistla, Bernhard Steffen, Lenore D. Zuck: Taming Interface Specifications. CONCUR 2005: 548-561
66Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTiziana Margaria, Ralf Nagel, Bernhard Steffen: Remote Integration and Coordination of Verification Tools in JETI. ECBS 2005: 431-436
65Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTiziana Margaria, Bernhard Steffen, Manfred Reitenspieß: Service-Oriented Design: The Roots. ICSOC 2005: 450-464
64Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTiziana Margaria, Bernhard Steffen: Second-Order Semantic Web. SEW 2005: 219-227
63Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTiziana Margaria, Bernhard Steffen, Manfred Reitenspieß: Service-Oriented Design: The jABC Approach. Service Oriented Computing 2005
62Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTiziana Margaria, Ralf Nagel, Bernhard Steffen: jETI: A Tool for Remote Tool Integration. TACAS 2005: 557-562
61Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTiziana Margaria, Bernhard Steffen: From the How to the What. VSTTE 2005: 448-459
60Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTiziana Margaria, Bernhard Steffen: Run-Time Agents as a Means of Reconciling Flexibility and Scalability of Services. WRAC 2005: 257-268
59no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartin Karusseit, Tiziana Margaria: Feature-based Modelling of a Complex, Online-Reconfigurable Decision Support Service. WWV 2005: 9-25
58Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTiziana Margaria, Harald Raffelt, Bernhard Steffen: Knowledge-based relevance filtering for efficient system-level test-based model generation. ISSE 1(2): 147-156 (2005)
57Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMirko Loghi, Tiziana Margaria, Graziano Pravadelli, Bernhard Steffen: Dynamic and Formal Verification of Embedded Systems: A Comparative Survey. International Journal of Parallel Programming 33(6): 585-611 (2005)
56Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTiziana Margaria: Introductory paper. STTT 7(4): 293-296 (2005)
55Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTiziana Margaria: Web services-based tool-integration in the ETI platform. Software and System Modeling 4(2): 141-156 (2005)
2004
54no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTiziana Margaria, Bernhard Steffen, Anna Philippou, Manfred Reitenspieß: International Symposium on Leveraging Applications of Formal Methods, ISoLA 2004, October 30 - November 2, 2004, Paphos, Cyprus. Preliminary proceedings Department of Computer Science, University of Cyprus 2004
53no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichel Wermelinger, Tiziana Margaria: Fundamental Approaches to Software Engineering, 7th International Conference, FASE 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004 Barcelona, Spain, March 29 - april 2, 2004, Proceedings Springer 2004
52Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTiziana Margaria: Modeling Dependable Systems: What Can Model Driven Development Contribute and What Likely Not?. ISORC 2004: 113-120
51Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTiziana Margaria, Bernhard Steffen: Lightweight coarse-grained coordination: a scalable system-level approach. STTT 5(2-3): 107-123 (2004)
2003
50Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHardi Hungar, Tiziana Margaria, Bernhard Steffen: Test-Based Model Generation For Legacy Systems. ITC 2003: 971-980
49Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTiziana Margaria: Components, Features, and Agents in the ABC. Objects, Agents, and Features 2003: 154-174
48Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVolker Braun, Tiziana Margaria, Bernhard Steffen: The Electronic Tool Integration Platform (ETI) and the Petri Net Technology. Petri Net Technology for Communication-Based Systems 2003: 363-382
47Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTiziana Margaria: Preface by the section editor. STTT 4(3): 266-270 (2003)
46Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTiziana Margaria, Wang Yi: Introductory paper: scalability aspects of validation. STTT 5(1): 1-3 (2003)
2002
45Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndreas 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. FASE 2002: 336-340
44no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTiziana Margaria, Martin Karusseit: Community Usage of the Online Conference Service: an Experience Report from three CS Conferences. I3E 2002: 497-511
43Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHardi Hungar, Tiziana Margaria, Bernhard Steffen: Model Generation for Legacy Systems. RISSEF 2002: 167-183
42Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTiziana Margaria, Oliver Niese, Bernhard Steffen: Demonstration of an Automated Integrated Test Environment for Web-Based Applications. SPIN 2002: 250-253
41Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTiziana Margaria, Bernhard Steffen: Scalable System-level CTI Testing through Lightweight Coarse-grained Coordination. Electr. Notes Theor. Comput. Sci. 66(2): (2002)
40Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTiziana Margaria: The Electronic Tool Integration Platform as a Supplier and User of Graph Based Tools. Electr. Notes Theor. Comput. Sci. 72(2): (2002)
2001
39no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTiziana Margaria, Wang Yi: Tools and Algorithms for the Construction and Analysis of Systems, 7th International Conference, TACAS 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001, Proceedings Springer 2001
38no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTiziana Margaria, Thomas F. Melham: Correct Hardware Design and Verification Methods, 11th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2001, Livingston, Scotland, UK, September 4-7, 2001, Proceedings Springer 2001
37Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOliver Niese, Bernhard Steffen, Tiziana Margaria, Andreas Hagerer, Georg Brune, Hans-Dieter Ide: Library-Based Design and Consistency Checking of System-Level Industrial Test Cases. FASE 2001: 233-248
36Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBernhard Steffen, Tiziana Margaria, Volker Braun: Coarse-Granular Model Checking in Practice. SPIN 2001: 304-312
35no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBengt Jonsson, Tiziana Margaria, Gustaf Naeser, Jan Nyström, Bernhard Steffen: Incremental Requirement Specification for Evolving Systems. Nord. J. Comput. 8(1): 65-87 (2001)
2000
34no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBengt Jonsson, Tiziana Margaria, Gustaf Naeser, Jan Nyström, Bernhard Steffen: Incremental Requirement Specification for Evolving Systems. FIW 2000: 145-162
1999
33Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBernhard Steffen, Tiziana Margaria: METAFrame in Practice: Design of Intelligent Network Services. Correct System Design 1999: 390-415
32Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVolker Braun, Jürgen Kreileder, Tiziana Margaria, Bernhard Steffen: The ETI Online Service in Action. TACAS 1999: 439-443
1998
31no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTiziana Margaria, Bernhard Steffen, Roland Rückert, Joachim Posegga: Services and Visualization: Towards User-Friendly Design, ACoS'98, VISUAL'98, AIN'97, Selected Papers Springer 1998
30Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTiziana Margaria, Bernhard Steffen: Backtracking-Free Design Planning by Automatic Synthesis in METAFrame. FASE 1998: 188-204
29Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTiziana Margaria, Volker Gruhn: Flexible and Reliable Process Model Properties: An Integrated Approach. FM-Trends 1998: 213-227
28Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTiziana Margaria, Volker Braun: Formal Methods and Customized Visualization: A Fruitful Symbiosis. Services and Visualization: Towards User-Friendly Design 1998: 190-207
27Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVolker Braun, Tiziana Margaria, Bernhard Steffen, Haiseung Yoo: Automatic Error Location for IN Service Definition. Services and Visualization: Towards User-Friendly Design 1998: 222-237
26Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Friese, Tiziana Margaria, Alfred Hofmann: Integrating Printed and Online Information. STTT 2(2): 202 (1998)
1997
25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter Kelb, Tiziana Margaria, Michael Mendler, Claudia Gsottberger: MOSEL: A Sound and Efficient Tool for M2L(Str). CAV 1997: 448-451
24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichael von der Beeck, Tiziana Margaria, Bernhard Steffen: A formal requirements engineering method for specification, synthesis, and verification. SEE 1997: 131-144
23no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichael 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. TACAS 1997: 112-129
22no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter Kelb, Tiziana Margaria, Michael Mendler, Claudia Gsottberger: MOSEL: A FLexible Toolset for Monadic Second-Order Logic. TACAS 1997: 183-202
21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRance Cleaveland, Tiziana Margaria, Bernhard Steffen: Editorial. STTT 1(1-2): 1-5 (1997)
20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVolker Braun, Tiziana Margaria, Carsten Weise: Integrating Tools in the ETI Platform. STTT 1(1-2): 31-48 (1997)
19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTiziana Margaria, Volker Braun, Jürgen Kreileder: Interacting with ETI: A User Session. STTT 1(1-2): 49-63 (1997)
18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBernhard Steffen, Tiziana Margaria, Volker Braun: The Electronic Tool Integration Platform: Concepts and Design. STTT 1(1-2): 9-30 (1997)
1996
17no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTiziana Margaria, Bernhard Steffen: Tools and Algorithms for Construction and Analysis of Systems, Second International Workshop, TACAS '96, Passau, Germany, March 27-29, 1996, Proceedings Springer 1996
16no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBernhard Steffen, Tiziana Margaria, Andreas Claßen, Volker Braun: Incremental Formalization. AMAST 1996: 608-611
15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBernhard Steffen, Tiziana Margaria, Andreas Claßen, Volker Braun: The METAFrame'95 Environment. CAV 1996: 450-453
14no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTiziana Margaria: Fully Automatic Verifcation and Error Detection for Parameterized Iterative Sequential Circuits. TACAS 1996: 258-277
13no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBernhard Steffen, Tiziana Margaria, Andreas Claßen, Volker Braun, Rita Nisius, Manfred Reitenspieß: A Constraint-Oriented Service Creation Environment. TACAS 1996: 418-421
12no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBernhard Steffen, Tiziana Margaria: Tools Get Formal Methods into Practice. ACM Comput. Surv. 28(4es): 126 (1996)
11no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBernhard Steffen, Tiziana Margaria: Method Engineering for Real-Life Concurrent Systems. ACM Comput. Surv. 28(4es): 56 (1996)
10no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBernhard Steffen, Tiziana Margaria, Andreas Claßen: Heterogeneous Analysis and Verification for Distributed Systems. Software - Concepts and Tools 17(1): 13-25 (1996)
9no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTiziana Margaria, Bernhard Steffen: Foreword. Software - Concepts and Tools 17(2): 49 (1996)
8no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBernhard Steffen, Tiziana Margaria, Andreas Claßen, Volker Braun: Incremental Formalization: A Key to Industrial Success. Software - Concepts and Tools 17(2): 78- (1996)
1995
7no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEd Brinksma, Rance Cleaveland, Kim Guldstrand Larsen, Tiziana Margaria, Bernhard Steffen: Tools and Algorithms for Construction and Analysis of Systems, First International Workshop, TACAS '95, Aarhus, Denmark, May 19-20, 1995, Proceedings Springer 1995
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBernhard Steffen, Andreas Claßen, Marion Klein, Jens Knoop, Tiziana Margaria: The Fixpoint-Analysis Machine. CONCUR 1995: 72-87
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBurkhard Freitag, Bernhard Steffen, Tiziana Margaria, Ulrich Zukowski: An Approach to Intelligent Software Library Management. DASFAA 1995: 71-78
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBernhard Steffen, Tiziana Margaria, Andreas Claßen: The META-Frame: An Environment for Flexible Tool Management. TAPSOFT 1995: 791-792
1994
3no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBurkhard Freitag, Tiziana Margaria, Bernhard Steffen: A Pragmatic Approach to Software Synthesis. Workshop on Interface Definition Languages 1994: 46-58
1992
2no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTiziana Margaria: Efficient RT-Level Verification by Theorem Proving. IFIP Congress (1) 1992: 696-702
1no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTiziana Margaria: Hierarchical Mixed-Mode Verification of Complex FSMs Described at the RT Level. TPCD 1992: 59-75

Coauthor Index

1Pekka Abrahamsson [100] [101]
2Nathan Baddoo [100] [101]
3Markus Bajohr [69] [79] [110]
4Marco Bakera [95] [129]
5Michael von der Beeck [23] [24]
6Therese Berg [120]
7Niklas Blum [128]
8Athman Bouguettaya [119]
9Jonathan P. Bowen [104]
10Marco Brambilla [97]
11Volker Braun [8] [13] [15] [16] [18] [19] [20] [23] [27] [28] [32] [36] [48]
12Ed Brinksma [7]
13Georg Brune [37]
14Stefano Ceri [97]
15Maura Cerioli [88] [89]
16Dario Cerizza [97]
17Andreas Claßen [4] [6] [8] [10] [13] [15] [16] [23]
18Rance Cleaveland [7] [21]
19Byron Cook [104]
20Patrick Cousot [104]
21Achim Dannecker [23]
22Federico Michele Facca [97]
23Burkhard Freitag [3] [5]
24Carsten Friedrich [23]
25Thomas Friese [26]
26Arno Fritsch [80]
27Robert Giegerich [105]
28Volker Gruhn [29]
29Claudia Gsottberger [22] [25]
30Andreas Hagerer [37] [45]
31Sven Hartmeier [105]
32Michael G. Hinchey (Mike Hinchey) [86] [104] [113] [123]
33Alfred Hofmann [26]
34Martina Hörmann [109]
35Hardi Hungar [43] [45] [50]
36Hans-Dieter Ide [37] [45]
37Malte Isberner [125]
38Michael Jackson [104]
39Bengt Jonsson [34] [35]
40Sven Jörges [81] [83] [103] [126] [129]
41Georg Jung [112]
42Matthias Kaiser [117]
43Karama Kanoun [113]
44Martin Karusseit [44] [59] [71] [107]
45Peter Kelb [22] [25]
46Jan Kleessen [128]
47Marion Klein [6]
48Jens Knoop [6]
49Bjoern Knuth [117]
50Dirk Koschützki [23]
51Jürgen Kreileder [19] [32]
52Ingolf Krüger (Ingolf H. Krüger) [119]
53Christian Kubczak [78] [80] [82] [83] [91] [92] [97] [106] [117] [125]
54Ulrich Küster [96]
55Anna-Lena Lamprecht [73] [85] [105] [114] [127]
56Kim Guldstrand Larsen (Kim G. Larsen) [7]
57Holger Lausen [96]
58Jens Lemcke [117]
59Martin Leucker [98]
60Mikael Lindvall [113]
61Mirko Loghi [57]
62Michael R. Lyu [113]
63Thomas Magedanz [128]
64Mieke Massink [121]
65Thomas F. Melham [38]
66Thomas Mender [109]
67Veena B. Mendiratta [113]
68Michael Mendler [22] [25]
69Maik Merten [108] [122]
70Richard Messnarz [100] [101]
71Daniel Meyer [125]
72Gustaf Naeser [34] [35]
73Ralf Nagel [62] [66] [83] [109] [112]
74Stefan Naujokat [78] [92]
75Oliver Niese [37] [42] [45]
76Rita Nisius [13]
77Marc Njoku [82]
78Jan Nyström [34] [35]
79Julia Padberg [72]
80Hans-Georg Pagendarm [77] [130]
81Charles J. Petrie [96]
82Paul Pettersson [113]
83Anna Philippou [54]
84Joachim Posegga [31]
85Graziano Pravadelli [57]
86Harald Raffelt [58] [86] [98] [99] [108] [120] [122]
87James L. Rash [86]
88Manfred Reitenspieß [13] [54] [63] [65]
89Clemens D. Renner [95]
90Christopher A. Rouff (Christopher Rouff) [86]
91Roland Rückert [31]
92Oliver Rüthing [76]
93Norman F. Schneidewind [113]
94Falk Schreiber [23]
95Wolfgang Schubert [112]
96Alexander Sczyrba [105]
97A. Prasad Sistla [67]
98Bernhard Steffen [3] [4] [5] [6] [7] [8] [9] [10] [11] [12] [13] [15] [16] [17] [18] [21] [23] [24] [27] [30] [31] [32] [33] [34] [35] [36] [37] [41] [42] [43] [45] [48] [50] [51] [54] [57] [58] [60] [61] [62] [63] [64] [65] [66] [67] [68] [70] [73] [74] [75] [76] [78] [79] [80] [81] [82] [83] [84] [85] [86] [87] [91] [92] [93] [94] [95] [97] [98] [99] [102] [103] [105] [106] [108] [109] [111] [112] [114] [118] [120] [122] [123] [124] [125] [126] [127]
99Gabriele Taentzer [72]
100Christian Topnik [74]
101Hong Trinh [109]
102Christina Tziviskou [97]
103Emanuele Della Valle [97]
104Horst Voigt [112]
105Christian Wagner [77] [126] [130]
106Carsten Weise [20]
107Michel Wermelinger [53] [88] [89]
108Eva Wilhelm [74]
109Holger Willebrandt [107]
110Christian Winkler [91] [97]
111W. Eric Wong [113]
112Wang Yi [39] [46]
113Haiseung Yoo [27]
114Michal Zaremba [96]
115Lenore D. Zuck [67]
116Ulrich Zukowski [5]

Colors in the list of coauthors

Copyright © Sun Mar 14 22:39:24 2010 by Michael Ley (ley@uni-trier.de)