![]() | ![]() |
Tiziana Margaria-Steffen
List of publications from the DBLP Bibliography Server - FAQ
2008 | ||
---|---|---|
110 | Athman Bouguettaya, Ingolf Krüger, Tiziana Margaria: Service-Oriented Computing - ICSOC 2008, 6th International Conference, Sydney, Australia, December 1-5, 2008. Proceedings ICSOC 2008 | |
109 | Tiziana 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 | |
108 | EE | Christian Kubczak, Tiziana Margaria, Matthias Kaiser, Jens Lemcke, Bjoern Knuth: Abductive Synthesis of the Mediator Scenario with jABC and GEM. EON 2008 |
107 | EE | Tiziana Margaria: Synthesizing the Mediator with jABC/ABC. EON 2008 |
106 | EE | Anna-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 |
105 | EE | Michael G. Hinchey, Karama Kanoun, Mikael Lindvall, Michael R. Lyu, Tiziana Margaria, Veena B. Mendiratta, Paul Pettersson, Norman F. Schneidewind, Eric Wong: Anything You Want to Ask about Software Reliability Engineering. ISSRE 2008: 6 |
104 | EE | Georg 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 |
103 | EE | Tiziana Margaria, Bernhard Steffen: Agile IT: Thinking in User-Centric Models. ISoLA 2008: 490-502 |
102 | EE | Markus Bajohr, Tiziana Margaria: High Service Availability in MaTRICS for the OCS. ISoLA 2008: 572-586 |
101 | EE | Martina 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 |
100 | EE | Harald Raffelt, Tiziana Margaria, Bernhard Steffen, Maik Merten: Hybrid test of web applications with webtest. TAV-WEB 2008: 1-7 |
99 | EE | Martin Karusseit, Tiziana Margaria, Holger Willebrandt: Policy expression and checking in XACML, WS-Policies, and the jABC. TAV-WEB 2008: 20-26 |
98 | EE | Mike Hinchey, Michael Jackson, Patrick Cousot, Byron Cook, Jonathan P. Bowen, Tiziana Margaria: Software engineering and formal methods. Commun. ACM 51(9): 54-59 (2008) |
97 | EE | Tiziana Margaria, Bernhard Steffen: Preface. Theor. Comput. Sci. 404(3): 185 (2008) |
2007 | ||
96 | Pekka Abrahamsson, Nathan Baddoo, Tiziana Margaria, Richard Messnarz: Software Process Improvement, 14th European Conference, EuroSPI 2007, Potsdam, Germany, September 26-28, 2007, Proceedings Springer 2007 | |
95 | EE | Pekka Abrahamsson, Nathan Baddoo, Tiziana Margaria, Richard Messnarz: Software Process Improvement - EuroSPI 2007 Conference. EuroSPI 2007: 1-6 |
94 | EE | Harald Raffelt, Bernhard Steffen, Tiziana Margaria: Dynamic Testing Via Automata Learning. Haifa Verification Conference 2007: 136-152 |
93 | EE | Tiziana Margaria, Harald Raffelt, Bernhard Steffen, Martin Leucker: The LearnLib in FMICS-jETI. ICECCS 2007: 340-352 |
92 | Tiziana 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 | |
91 | Charles J. Petrie, Tiziana Margaria, Ulrich Küster, Holger Lausen, Michal Zaremba: SWS Challenge - Status, Perspectives, Lessons Learned So Far. ICEIS (4) 2007: 447-452 | |
90 | Marco 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 | |
89 | EE | Tiziana Margaria, Bernhard Steffen: Middleware: just another level for orchestration. MNCNA 2007: 4 |
88 | EE | Tiziana Margaria, Bernhard Steffen: LTL Guided Planning: Revisiting Automatic Tool Composition in ETI. SEW 2007: 214-226 |
87 | EE | Christian Kubczak, Tiziana Margaria, Bernhard Steffen, Stefan Naujokat: Service-Oriented Mediation with jETI/jABC: Verification and Export. Web Intelligence/IAT Workshops 2007: 144-147 |
86 | EE | Christian Kubczak, Tiziana Margaria, Christian Winkler, Bernhard Steffen: An Approach to Discovery with miAamics and jABC. Web Intelligence/IAT Workshops 2007: 157-160 |
85 | EE | Tiziana Margaria: Service Is in the Eyes of the Beholder. IEEE Computer 40(11): 33-37 (2007) |
84 | EE | Michel Wermelinger, Tiziana Margaria, Maura Cerioli: Introduction to the special section on fundamental approaches to software engineering. STTT 9(5-6): 415-416 (2007) |
83 | EE | Maura Cerioli, Tiziana Margaria, Michel Wermelinger: Foreword. Theor. Comput. Sci. 376(3): 137-138 (2007) |
2006 | ||
82 | Tiziana 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 | |
81 | EE | Tiziana 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 |
80 | EE | Anna-Lena Lamprecht, Tiziana Margaria, Bernhard Steffen: Data-Flow Analysis as Model Checking Within the jABC. CC 2006: 101-104 |
79 | EE | Bernhard Steffen, Tiziana Margaria: Continuous Engineering of Embedded systems. DIPES 2006: 45-54 |
78 | EE | Bernhard Steffen, Tiziana Margaria, Ralf Nagel, Sven Jörges, Christian Kubczak: Model-Driven Development with the jABC. Haifa Verification Conference 2006: 92-108 |
77 | EE | Tiziana Margaria, Christian Kubczak, Marc Njoku, Bernhard Steffen: Model-based Design of Distributed Collaborative Bioinformatics Processes in the jABC. ICECCS 2006: 169-176 |
76 | EE | Sven Jörges, Tiziana Margaria, Bernhard Steffen: FormulaBuilder: a tool for graph-based modelling and generation of formulae. ICSE 2006: 815-818 |
75 | EE | Tiziana Margaria, Oliver Rüthing, Bernhard Steffen: ViDoC - Visual Design of Optimizing Compilers. Program Analysis and Compilation 2006: 145-159 |
74 | EE | Tiziana Margaria, Bernhard Steffen: Service Engineering: Linking Business and IT. SEW 2006: 33-36 |
73 | EE | Christian Topnik, Eva Wilhelm, Tiziana Margaria, Bernhard Steffen: jMosel: A Stand-Alone Tool and jABC Plugin for M2L(Str). SPIN 2006: 293-298 |
72 | Anna-Lena Lamprecht, Tiziana Margaria, Bernhard Steffen: Datenflussanalyse als Modelchecking im jABC. Software Engineering 2006: 125-130 | |
71 | EE | Julia Padberg, Tiziana Margaria, Gabriele Taentzer: Editorial. ECEASST 4: (2006) |
70 | EE | Martin Karusseit, Tiziana Margaria: Feature-based Modelling of a Complex, Online-Reconfigurable Decision Support Service. Electr. Notes Theor. Comput. Sci. 157(2): 101-118 (2006) |
69 | EE | Tiziana Margaria, Bernhard Steffen: Service Engineering: Linking Business and IT. IEEE Computer 39(10): 45-55 (2006) |
68 | EE | Markus Bajohr, Tiziana Margaria: MaTRICS: A service-based management tool for remote intelligent configuration of systems. ISSE 2(2): 99-111 (2006) |
67 | EE | Tiziana Margaria, Bernhard Steffen: Special Section on "Leveraging Formal Methods". STTT 8(6): 467-469 (2006) |
2005 | ||
66 | EE | Tiziana Margaria, A. Prasad Sistla, Bernhard Steffen, Lenore D. Zuck: Taming Interface Specifications. CONCUR 2005: 548-561 |
65 | EE | Tiziana Margaria, Ralf Nagel, Bernhard Steffen: Remote Integration and Coordination of Verification Tools in JETI. ECBS 2005: 431-436 |
64 | EE | Tiziana Margaria, Bernhard Steffen, Manfred Reitenspieß: Service-Oriented Design: The Roots. ICSOC 2005: 450-464 |
63 | EE | Tiziana Margaria, Bernhard Steffen: Second-Order Semantic Web. SEW 2005: 219-227 |
62 | EE | Tiziana Margaria, Bernhard Steffen, Manfred Reitenspieß: Service-Oriented Design: The jABC Approach. Service Oriented Computing 2005 |
61 | EE | Tiziana Margaria, Ralf Nagel, Bernhard Steffen: jETI: A Tool for Remote Tool Integration. TACAS 2005: 557-562 |
60 | EE | Tiziana Margaria, Bernhard Steffen: From the How to the What. VSTTE 2005: 448-459 |
59 | EE | Tiziana Margaria, Bernhard Steffen: Run-Time Agents as a Means of Reconciling Flexibility and Scalability of Services. WRAC 2005: 257-268 |
58 | Martin Karusseit, Tiziana Margaria: Feature-based Modelling of a Complex, Online-Reconfigurable Decision Support Service. WWV 2005: 9-25 | |
57 | EE | Tiziana Margaria, Harald Raffelt, Bernhard Steffen: Knowledge-based relevance filtering for efficient system-level test-based model generation. ISSE 1(2): 147-156 (2005) |
56 | EE | Mirko 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) |
55 | EE | Tiziana Margaria: Introductory paper. STTT 7(4): 293-296 (2005) |
54 | EE | Tiziana Margaria: Web services-based tool-integration in the ETI platform. Software and System Modeling 4(2): 141-156 (2005) |
2004 | ||
53 | Tiziana 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 | |
52 | Michel 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 | |
51 | EE | Tiziana Margaria: Modeling Dependable Systems: What Can Model Driven Development Contribute and What Likely Not?. ISORC 2004: 113-120 |
50 | EE | Tiziana Margaria, Bernhard Steffen: Lightweight coarse-grained coordination: a scalable system-level approach. STTT 5(2-3): 107-123 (2004) |
2003 | ||
49 | EE | Hardi Hungar, Tiziana Margaria, Bernhard Steffen: Test-Based Model Generation For Legacy Systems. ITC 2003: 971-980 |
48 | EE | Tiziana Margaria: Components, Features, and Agents in the ABC. Objects, Agents, and Features 2003: 154-174 |
47 | EE | Volker 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 |
46 | EE | Tiziana Margaria: Preface by the section editor. STTT 4(3): 266-270 (2003) |
45 | EE | Tiziana Margaria, Wang Yi: Introductory paper: scalability aspects of validation. STTT 5(1): 1-3 (2003) |
2002 | ||
44 | EE | 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. FASE 2002: 336-340 |
43 | Tiziana Margaria, Martin Karusseit: Community Usage of the Online Conference Service: an Experience Report from three CS Conferences. I3E 2002: 497-511 | |
42 | EE | Hardi Hungar, Tiziana Margaria, Bernhard Steffen: Model Generation for Legacy Systems. RISSEF 2002: 167-183 |
41 | EE | Tiziana Margaria, Oliver Niese, Bernhard Steffen: Demonstration of an Automated Integrated Test Environment for Web-Based Applications. SPIN 2002: 250-253 |
40 | EE | Tiziana Margaria, Bernhard Steffen: Scalable System-level CTI Testing through Lightweight Coarse-grained Coordination. Electr. Notes Theor. Comput. Sci. 66(2): (2002) |
39 | EE | Tiziana Margaria: The Electronic Tool Integration Platform as a Supplier and User of Graph Based Tools. Electr. Notes Theor. Comput. Sci. 72(2): (2002) |
2001 | ||
38 | Tiziana 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 | |
37 | Tiziana 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 | |
36 | EE | 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. FASE 2001: 233-248 |
35 | EE | Bernhard Steffen, Tiziana Margaria, Volker Braun: Coarse-Granular Model Checking in Practice. SPIN 2001: 304-312 |
34 | Bengt 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 | ||
33 | Bengt Jonsson, Tiziana Margaria, Gustaf Naeser, Jan Nyström, Bernhard Steffen: Incremental Requirement Specification for Evolving Systems. FIW 2000: 145-162 | |
1999 | ||
32 | EE | Bernhard Steffen, Tiziana Margaria: METAFrame in Practice: Design of Intelligent Network Services. Correct System Design 1999: 390-415 |
31 | EE | Volker Braun, Jürgen Kreileder, Tiziana Margaria, Bernhard Steffen: The ETI Online Service in Action. TACAS 1999: 439-443 |
1998 | ||
30 | Tiziana 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 | |
29 | EE | Tiziana Margaria, Bernhard Steffen: Backtracking-Free Design Planning by Automatic Synthesis in METAFrame. FASE 1998: 188-204 |
28 | Tiziana Margaria, Volker Gruhn: Flexible and Reliable Process Model Properties: An Integrated Approach. FM-Trends 1998: 213-227 | |
27 | EE | Tiziana Margaria, Volker Braun: Formal Methods and Customized Visualization: A Fruitful Symbiosis. Services and Visualization: Towards User-Friendly Design 1998: 190-207 |
26 | EE | Volker Braun, Tiziana Margaria, Bernhard Steffen, Haiseung Yoo: Automatic Error Location for IN Service Definition. Services and Visualization: Towards User-Friendly Design 1998: 222-237 |
25 | EE | Thomas Friese, Tiziana Margaria, Alfred Hofmann: Integrating Printed and Online Information. STTT 2(2): 202 (1998) |
1997 | ||
24 | Peter Kelb, Tiziana Margaria, Michael Mendler, Claudia Gsottberger: MOSEL: A Sound and Efficient Tool for M2L(Str). CAV 1997: 448-451 | |
23 | 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. TACAS 1997: 112-129 | |
22 | Peter Kelb, Tiziana Margaria, Michael Mendler, Claudia Gsottberger: MOSEL: A FLexible Toolset for Monadic Second-Order Logic. TACAS 1997: 183-202 | |
21 | EE | Rance Cleaveland, Tiziana Margaria, Bernhard Steffen: Editorial. STTT 1(1-2): 1-5 (1997) |
20 | EE | Volker Braun, Tiziana Margaria, Carsten Weise: Integrating Tools in the ETI Platform. STTT 1(1-2): 31-48 (1997) |
19 | EE | Tiziana Margaria, Volker Braun, Jürgen Kreileder: Interacting with ETI: A User Session. STTT 1(1-2): 49-63 (1997) |
18 | EE | Bernhard Steffen, Tiziana Margaria, Volker Braun: The Electronic Tool Integration Platform: Concepts and Design. STTT 1(1-2): 9-30 (1997) |
1996 | ||
17 | Tiziana 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 | |
16 | Bernhard Steffen, Tiziana Margaria, Andreas Claßen, Volker Braun: Incremental Formalization. AMAST 1996: 608-611 | |
15 | Bernhard Steffen, Tiziana Margaria, Andreas Claßen, Volker Braun: The METAFrame'95 Environment. CAV 1996: 450-453 | |
14 | Tiziana Margaria: Fully Automatic Verifcation and Error Detection for Parameterized Iterative Sequential Circuits. TACAS 1996: 258-277 | |
13 | Bernhard Steffen, Tiziana Margaria, Andreas Claßen, Volker Braun, Rita Nisius, Manfred Reitenspieß: A Constraint-Oriented Service Creation Environment. TACAS 1996: 418-421 | |
12 | Bernhard Steffen, Tiziana Margaria: Tools Get Formal Methods into Practice. ACM Comput. Surv. 28(4es): 126 (1996) | |
11 | Bernhard Steffen, Tiziana Margaria: Method Engineering for Real-Life Concurrent Systems. ACM Comput. Surv. 28(4es): 56 (1996) | |
10 | Bernhard Steffen, Tiziana Margaria, Andreas Claßen: Heterogeneous Analysis and Verification for Distributed Systems. Software - Concepts and Tools 17(1): 13-25 (1996) | |
9 | Tiziana Margaria, Bernhard Steffen: Foreword. Software - Concepts and Tools 17(2): 49 (1996) | |
8 | Bernhard Steffen, Tiziana Margaria, Andreas Claßen, Volker Braun: Incremental Formalization: A Key to Industrial Success. Software - Concepts and Tools 17(2): 78- (1996) | |
1995 | ||
7 | Ed 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 | |
6 | Bernhard Steffen, Andreas Claßen, Marion Klein, Jens Knoop, Tiziana Margaria: The Fixpoint-Analysis Machine. CONCUR 1995: 72-87 | |
5 | EE | Burkhard Freitag, Bernhard Steffen, Tiziana Margaria, Ulrich Zukowski: An Approach to Intelligent Software Library Management. DASFAA 1995: 71-78 |
4 | Bernhard Steffen, Tiziana Margaria, Andreas Claßen: The META-Frame: An Environment for Flexible Tool Management. TAPSOFT 1995: 791-792 | |
1994 | ||
3 | Burkhard Freitag, Tiziana Margaria, Bernhard Steffen: A Pragmatic Approach to Software Synthesis. Workshop on Interface Definition Languages 1994: 46-58 | |
1992 | ||
2 | Tiziana Margaria: Efficient RT-Level Verification by Theorem Proving. IFIP Congress (1) 1992: 696-702 | |
1 | Tiziana Margaria: Hierarchical Mixed-Mode Verification of Complex FSMs Described at the RT Level. TPCD 1992: 59-75 |