Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Tiziana Margaria
Tiziana Margaria-Steffen
2010 – today
- 2013
[c104]Bernhard Steffen, Malte Isberner, Stefan Naujokat, Tiziana Margaria, Maren Geske: Property-Driven Benchmark Generation. SPIN 2013: 341-357- [e17]Georg Herzwurm, Tiziana Margaria (Eds.): Software Business. From Physical Products to Software Services and Solutions - 4th International Conference, ICSOB 2013, Potsdam, Germany, June 11-14, 2013. Proceedings. Lecture Notes in Business Information Processing 150, Springer 2013, ISBN 978-3-642-39335-8
- [i2]Johannes Neubauer, Bernhard Steffen, Tiziana Margaria: Higher-Order Process Modeling: Product-Lining, Variability Modeling and Beyond. CoRR abs/1309.5143 (2013)
- 2012
- [j52]Sven Jörges, Anna-Lena Lamprecht, Tiziana Margaria, Ina Schaefer, Bernhard Steffen: A constraint-based variability modeling framework. STTT 14(5): 511-530 (2012)
- [c103]Anna-Lena Lamprecht, Tiziana Margaria: Scientific Workflows: Eternal Components, Changing Interfaces, Varying Compositions. ISoLA (1) 2012: 47-63
- [c102]Andrea Braun von Reinersdorff, Tiziana Margaria, Christoph Rasche: Processes and Data Integration in the Networked Healthcare. ISoLA (2) 2012: 67-69
- [c101]Tiziana Margaria, Steve Boßelmann, Bertold Kujath: Simple Modeling of Executable Role-Based Workflows: An Application in the Healthcare Domain. ISoLA (2) 2012: 70-72
- [c100]Maik Merten, Malte Isberner, Falk Howar, Bernhard Steffen, Tiziana Margaria: Automated Learning Setups in Automata Learning. ISoLA (1) 2012: 591-607
- [p2]Tiziana Margaria, Bernhard Steffen: Service-Orientation: Conquering Complexity with XMDD. Conquering Complexity 2012: 217-236
- [p1]Tiziana Margaria, Steve Boßelmann, Markus Doedt, Barry D. Floyd, Bernhard Steffen: Customer-Oriented Business Process Management: Vision and Obstacles. Conquering Complexity 2012: 407-429
- [e16]Tiziana Margaria, Bernhard Steffen (Eds.): Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change - 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part I. Lecture Notes in Computer Science 7609, Springer 2012, ISBN 978-3-642-34025-3
- [e15]Tiziana Margaria, Bernhard Steffen (Eds.): Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies - 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part II. Lecture Notes in Computer Science 7610, Springer 2012, ISBN 978-3-642-34031-4
- [e14]Tiziana Margaria, Zongyan Qiu, Hongli Yang (Eds.): Sixth International Symposium on Theoretical Aspects of Software Engineering, TASE 2012, 4-6 July 2012, Beijing, China. IEEE 2012, ISBN 978-0-7695-4751-0
- 2011
- [j51]Daniel Kroening, Tiziana Margaria, Jim Woodcock: Editorial. Formal Asp. Comput. 23(5): 585-588 (2011)
- [j50]Sven Jörges, Tiziana Margaria, Bernhard Steffen: Assuring property conformance of code generators via model checking. Formal Asp. Comput. 23(5): 589-606 (2011)
- [c99]Tiziana Margaria, Barry D. Floyd, Bernhard Steffen: IT Simply Works: Simplicity and Embedded Systems Design. COMPSAC Workshops 2011: 194-199
- [c98]
- [c97]Anna-Lena Lamprecht, Tiziana Margaria, Ina Schaefer, Bernhard Steffen: Synthesis-Based Variability Control: Correctness by Construction. FMCO 2011: 69-88
- [c96]Tiziana Margaria, Bernhard Steffen: Special Session on "Simplification through Change of Perspective". SEW 2011: 67-68
- [c95]Ina Schaefer, Anna-Lena Lamprecht, Tiziana Margaria: Constraint-oriented Variability Modeling. SEW 2011: 77-83
- [c94]Maik Merten, Bernhard Steffen, Falk Howar, Tiziana Margaria: Next Generation LearnLib. TACAS 2011: 220-223
- 2010
- [j49]Tiziana Margaria, Bernhard Steffen: Simplicity as a Driver for Agile Innovation. IEEE Computer 43(6): 90-92 (2010)
- [j48]Tiziana Margaria, Bernhard Steffen, Christian Topnik: Second-Order Value Numbering. ECEASST 30 (2010)
- [j47]Tiziana Margaria, Bernhard Steffen, Christian Kubczak: Evolution support in heterogeneous service-oriented landscapes. J. Braz. Comp. Soc. 16(1): 35-47 (2010)
- [j46]Niklas Blum, Irina Boldea, Thomas Magedanz, Tiziana Margaria: Service-oriented Access to Next Generation Networks - from Service Creation to Execution. MONET 15(3): 356-365 (2010)
- [j45]Niklas Blum, Tiziana Margaria: An Open Service Environment for Service Exposure and Orchestration of Heterogeneous NGN Services. Praxis der Informationsverarbeitung und Kommunikation 33(1): 16-20 (2010)
- [j44]Daniel Kroening, Tiziana Margaria: Verified software: theories, tools and experiments. STTT 12(6): 405-408 (2010)
- [c93]Anna-Lena Lamprecht, Stefan Naujokat, Tiziana Margaria, Bernhard Steffen: Synthesis-Based Loose Programming. QUATIC 2010: 262-267
- [c92]Anna-Lena Lamprecht, Stefan Naujokat, Bernhard Steffen, Tiziana Margaria: Constraint-Guided Workflow Composition Based on the EDAM Ontology. SWAT4LS 2010
- [e13]Tiziana Margaria, Bernhard Steffen (Eds.): Leveraging Applications of Formal Methods, Verification, and Validation - 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part I. Lecture Notes in Computer Science 6415, Springer 2010, ISBN 978-3-642-16557-3
- [e12]Tiziana Margaria, Bernhard Steffen (Eds.): Leveraging Applications of Formal Methods, Verification, and Validation - 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part II. Lecture Notes in Computer Science 6416, Springer 2010, ISBN 978-3-642-16560-3
- [r2]Anna-Lena Lamprecht, Tiziana Margaria, Bernhard Steffen: Bioinformatics: Processes and Workflows. Encyclopedia of Software Engineering 2010: 118-130
- [r1]Bernhard Steffen, Tiziana Margaria, Christian Wagner: Round-Trip Engineering. Encyclopedia of Software Engineering 2010: 1044-1055
- [i1]Anna-Lena Lamprecht, Stefan Naujokat, Bernhard Steffen, Tiziana Margaria: Constraint-Guided Workflow Composition Based on the EDAM Ontology. CoRR abs/1012.1640 (2010)
2000 – 2009
- 2009
- [j43]Anna-Lena Lamprecht, Tiziana Margaria, Bernhard Steffen: Bio-jETI: a framework for semantics-based service composition. BMC Bioinformatics 10(S-10): 8 (2009)
- [j42]Tiziana Margaria, Bernhard Steffen: Continuous Model-Driven Engineering. IEEE Computer 42(10): 106-109 (2009)
- [j41]Bernd J. Krämer, Tiziana Margaria: A Hindsight on Formal Methods and Prospects of Semantic Computing in Software Engineering. Int. J. Semantic Computing 3(1): 5-30 (2009)
- [j40]Marco Bakera, Tiziana Margaria, Clemens D. Renner, Bernhard Steffen: Tool-supported enhancement of diagnosis in model-driven verification. ISSE 5(3): 211-228 (2009)
- [j39]Mike Hinchey, Tiziana Margaria, Bernhard Steffen: Guest Editor's introduction. STTT 11(3): 173-174 (2009)
- [j38]Harald Raffelt, Maik Merten, Bernhard Steffen, Tiziana Margaria: Dynamic testing via automata learning. STTT 11(4): 307-324 (2009)
- [j37]
- [j36]Harald Raffelt, Bernhard Steffen, Therese Berg, Tiziana Margaria: LearnLib: a framework for extrapolating behavioral models. STTT 11(5): 393-407 (2009)
- [c91]Sven Jörges, Marco Bakera, Tiziana Margaria, Christoph Lattemann: Test your Strategy - Intuitive Strategy Definition and Evaluation for Novices and Experts. GI Jahrestagung 2009: 3485-3493
- [c90]Tiziana Margaria, Christian Wagner, Marco Bakera: Component-Oriented Behavior Extraction for Autonomic System Design using Games. GI Jahrestagung 2009: 3502-3506
- [c89]Sven Jörges, Bernhard Steffen, Tiziana Margaria: Building Code Generators with Genesys: A Tutorial Introduction. GTTSE 2009: 364-385
- [c88]Anna-Lena Lamprecht, Tiziana Margaria, Bernhard Steffen: From Bio-jETI Process Models to Native Code. ICECCS 2009: 95-101
- [c87]Christian Wagner, Tiziana Margaria, Hans-Georg Pagendarm: Analysis and Code Model Extraction for C/C++ Source Code. ICECCS 2009: 110-119
- [c86]Marco Bakera, Sven Jörges, Tiziana Margaria: Test your Strategy: Graphical Construction of Strategies for Connect-Four. ICECCS 2009: 172-181
- [c85]Niklas 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
- [c84]Bernhard Steffen, Sven Jörges, Christian Wagner, Tiziana Margaria: Maintenance, or the 3rd dimension of eXtreme model-driven design. ICSM 2009: 483-486
- [c83]Tiziana Margaria, Marco Bakera, Christian Wagner, Emil Vassev, Michael G. Hinchey, Bernhard Steffen: Component-Oriented Behavior Extraction for Autonomic System Design. NASA Formal Methods 2009: 66-75
- [c82]Tiziana 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
- [c81]Anna-Lena Lamprecht, Stefan Naujokat, Tiziana Margaria, Bernhard Steffen: Semantics-Based Composition of EMBOSS Services with Bio-jETI. SWAT4LS 2009
- 2008
- [j35]Anna-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)
- [j34]Tiziana Margaria, Christian Kubczak, Bernhard Steffen: Bio-jETI: a service integration, design, and provisioning platform for orchestrated bioinformatics processes. BMC Bioinformatics 9(S-4) (2008)
- [j33]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)
- [j32]Christian Kubczak, Tiziana Margaria, Ralf Nagel, Bernhard Steffen: Plug and Play with FMICS-jETI: Beyond Scripting and Coding. ERCIM News 2008(73) (2008)
- [j31]Marco Bakera, Tiziana Margaria: The SHADOWS Story on Implementation of Self-Healing Systems. ERCIM News 2008(75) (2008)
- [j30]Sven Jörges, Tiziana Margaria, Bernhard Steffen: Genesys: service-oriented construction of property conform code generators. ISSE 4(4): 361-384 (2008)
- [j29]
- [c80]Christian Kubczak, Tiziana Margaria, Matthias Kaiser, Jens Lemcke, Bjoern Knuth: Abductive Synthesis of the Mediator Scenario with jABC and GEM. EON 2008
- [c79]
- [c78]Tiziana Margaria: The Semantic Web Services Challenge: Tackling Complexity at the Orchestration Level. ICECCS 2008: 183-189
- [c77]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
- [c76]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
- [c75]
- [c74]Markus Bajohr, Tiziana Margaria: High Service Availability in MaTRICS for the OCS. ISoLA 2008: 572-586
- [c73]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
- [c72]Michael 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
- [c71]Harald Raffelt, Tiziana Margaria, Bernhard Steffen, Maik Merten: Hybrid test of web applications with webtest. TAV-WEB 2008: 1-7
- [c70]Martin Karusseit, Tiziana Margaria, Holger Willebrandt: Policy expression and checking in XACML, WS-Policies, and the jABC. TAV-WEB 2008: 20-26
- [e11]Athman Bouguettaya, Ingolf Krüger, Tiziana Margaria (Eds.): Service-Oriented Computing - ICSOC 2008, 6th International Conference, Sydney, Australia, December 1-5, 2008. Proceedings. Lecture Notes in Computer Science 5364, 2008, ISBN 978-3-540-89647-0
- [e10]Tiziana Margaria, Bernhard Steffen (Eds.): Leveraging Applications of Formal Methods, Verification and Validation, Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008. Proceedings. Communications in Computer and Information Science 17, Springer 2008, ISBN 978-3-540-88478-1
- 2007
- [j28]
- [j27]Michel Wermelinger, Tiziana Margaria, Maura Cerioli: Introduction to the special section on fundamental approaches to software engineering. STTT 9(5-6): 415-416 (2007)
- [j26]Maura Cerioli, Tiziana Margaria, Michel Wermelinger: Foreword. Theor. Comput. Sci. 376(3): 137-138 (2007)
- [c69]Pekka Abrahamsson, Nathan Baddoo, Tiziana Margaria, Richard Messnarz: Software Process Improvement - EuroSPI 2007 Conference. EuroSPI 2007: 1-6
- [c68]Harald Raffelt, Bernhard Steffen, Tiziana Margaria: Dynamic Testing Via Automata Learning. Haifa Verification Conference 2007: 136-152
- [c67]Christian Kubczak, Tiziana Margaria, Bernhard Steffen, Stefan Naujokat: Service-Oriented Mediation with jETI/jABC: Verification and Export. Web Intelligence/IAT Workshops 2007: 144-147
- [c66]Christian Kubczak, Tiziana Margaria, Christian Winkler, Bernhard Steffen: An Approach to Discovery with miAamics and jABC. Web Intelligence/IAT Workshops 2007: 157-160
- [c65]Tiziana Margaria, Harald Raffelt, Bernhard Steffen, Martin Leucker: The LearnLib in FMICS-jETI. ICECCS 2007: 340-352
- [c64]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
- [c63]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
- [c62]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
- [c61]
- [c60]Tiziana Margaria, Bernhard Steffen: LTL Guided Planning: Revisiting Automatic Tool Composition in ETI. SEW 2007: 214-226
- [e9]Pekka Abrahamsson, Nathan Baddoo, Tiziana Margaria, Richard Messnarz (Eds.): Software Process Improvement, 14th European Conference, EuroSPI 2007, Potsdam, Germany, September 26-28, 2007, Proceedings. Lecture Notes in Computer Science 4764, Springer 2007, ISBN 978-3-540-74765-9
- 2006
- [j25]Tiziana Margaria, Bernhard Steffen: Service Engineering: Linking Business and IT. IEEE Computer 39(10): 45-55 (2006)
- [j24]
- [j23]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)
- [j22]Markus Bajohr, Tiziana Margaria: MaTRICS: A service-based management tool for remote intelligent configuration of systems. ISSE 2(2): 99-111 (2006)
- [j21]Tiziana Margaria, Bernhard Steffen: Special Section on "Leveraging Formal Methods". STTT 8(6): 467-469 (2006)
- [c59]Tiziana Margaria, Oliver Rüthing, Bernhard Steffen: ViDoC - Visual Design of Optimizing Compilers. Program Analysis and Compilation 2006: 145-159
- [c58]Anna-Lena Lamprecht, Tiziana Margaria, Bernhard Steffen: Data-Flow Analysis as Model Checking Within the jABC. CC 2006: 101-104
- [c57]Bernhard Steffen, Tiziana Margaria, Ralf Nagel, Sven Jörges, Christian Kubczak: Model-Driven Development with the jABC. Haifa Verification Conference 2006: 92-108
- [c56]Tiziana Margaria, Christian Kubczak, Marc Njoku, Bernhard Steffen: Model-based Design of Distributed Collaborative Bioinformatics Processes in the jABC. ICECCS 2006: 169-176
- [c55]Sven Jörges, Tiziana Margaria, Bernhard Steffen: FormulaBuilder: a tool for graph-based modelling and generation of formulae. ICSE 2006: 815-818
- [c54]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
- [c53]
- [c52]Christian Kubczak, Tiziana Margaria, Arno Fritsch, Bernhard Steffen: Biological LC/MS Preprocessing and Analysis with jABC, jETI and xcms. ISoLA 2006: 303-308
- [c51]Markus Bajohr, Tiziana Margaria, Bernhard Steffen: Service Based Enabling Service Availability in the MaTRICS: A Model-Driven Approach. ISoLA 2006: 317-324
- [c50]Tiziana Margaria, Christian Kubczak, Bernhard Steffen, Stefan Naujokat: The FMICS-jETI Platform: Status and Perspectives. ISoLA 2006: 402-407
- [c49]Christian Wagner, Tiziana Margaria, Hans-Georg Pagendarm: Comparative Analysis of Tools for Automated Software Re-engineering Purposes. ISoLA 2006: 433-440
- [c48]Michael G. Hinchey, Tiziana Margaria, James L. Rash, Christopher A. Rouff, Bernhard Steffen: Enhanced Requirements-Based Programming for Embedded Systems Design. MBEES 2006: 43-52
- [c47]Anna-Lena Lamprecht, Tiziana Margaria, Bernhard Steffen: Datenflussanalyse als Modelchecking im jABC. Software Engineering 2006: 125-130
- [c46]
- [c45]Christian Topnik, Eva Wilhelm, Tiziana Margaria, Bernhard Steffen: jMosel: A Stand-Alone Tool and jABC Plugin for M2L(Str). SPIN 2006: 293-298
- [e8]Tiziana Margaria, Bernhard Steffen (Eds.): Leveraging Applications of Formal Methods, First International Symposium, ISoLA 2004, Paphos, Cyprus, October 30 - November 2, 2004, Revised Selected Papers. Lecture Notes in Computer Science 4313, Springer 2006, ISBN 3-540-48928-2
- 2005
- [j20]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)
- [j19]Tiziana Margaria, Harald Raffelt, Bernhard Steffen: Knowledge-based relevance filtering for efficient system-level test-based model generation. ISSE 1(2): 147-156 (2005)
- [j18]Tiziana Margaria: Web services-based tool-integration in the ETI platform. Software and System Modeling 4(2): 141-156 (2005)
- [j17]
- [c44]Tiziana Margaria, A. Prasad Sistla, Bernhard Steffen, Lenore D. Zuck: Taming Interface Specifications. CONCUR 2005: 548-561
- [c43]Tiziana Margaria, Bernhard Steffen, Manfred Reitenspieß: Service-Oriented Design: The jABC Approach. Service Oriented Computing 2005
- [c42]Tiziana Margaria, Ralf Nagel, Bernhard Steffen: Remote Integration and Coordination of Verification Tools in JETI. ECBS 2005: 431-436
- [c41]Tiziana Margaria, Bernhard Steffen, Manfred Reitenspieß: Service-Oriented Design: The Roots. ICSOC 2005: 450-464
- [c40]Tiziana Margaria, Harald Raffelt, Bernhard Steffen: Analyzing second-order effects between optimizations for system-level test-based model generation. ITC 2005: 7
- [c39]Tiziana Margaria, Bernhard Steffen: Aggressive Model-Driven Development: Synthesizing Systems from Models viewed as Constraints. MBEES 2005: 51-62
- [c38]
- [c37]Tiziana Margaria, Ralf Nagel, Bernhard Steffen: jETI: A Tool for Remote Tool Integration. TACAS 2005: 557-562
- [c36]
- [c35]Tiziana Margaria, Bernhard Steffen: Run-Time Agents as a Means of Reconciling Flexibility and Scalability of Services. WRAC 2005: 257-268
- [c34]Martin Karusseit, Tiziana Margaria: Feature-based Modelling of a Complex, Online-Reconfigurable Decision Support Service. WWV 2005: 9-25
- 2004
- [j16]Tiziana Margaria, Bernhard Steffen: Lightweight coarse-grained coordination: a scalable system-level approach. STTT 5(2-3): 107-123 (2004)
- [c33]Tiziana Margaria, Oliver Niese, Harald Raffelt, Bernhard Steffen: Efficient test-based model generation for legacy reactive systems. HLDVT 2004: 95-100
- [c32]Tiziana Margaria: Modeling Dependable Systems: What Can Model Driven Development Contribute and What Likely Not?. ISORC 2004: 113-120
- [e7]Michel Wermelinger, Tiziana Margaria (Eds.): 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. Lecture Notes in Computer Science 2984, Springer 2004, ISBN 3-540-21305-8
- [e6]Tiziana Margaria, Bernhard Steffen, Anna Philippou, Manfred Reitenspieß (Eds.): International Symposium on Leveraging Applications of Formal Methods, ISoLA 2004, October 30 - November 2, 2004, Paphos, Cyprus. Preliminary proceedings. Technical Report TR-2004-6, Department of Computer Science, University of Cyprus 2004
- 2003
- [j15]
- [j14]
- [c31]Tiziana Margaria: Components, Features, and Agents in the ABC. Objects, Agents, and Features 2003: 154-174
- [c30]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
- [c29]Hardi Hungar, Tiziana Margaria, Bernhard Steffen: Test-Based Model Generation For Legacy Systems. ITC 2003: 971-980
- 2002
- [j13]Tiziana Margaria, Bernhard Steffen: Scalable System-level CTI Testing through Lightweight Coarse-grained Coordination. Electr. Notes Theor. Comput. Sci. 66(2): 66-83 (2002)
- [j12]Tiziana Margaria: The Electronic Tool Integration Platform as a Supplier and User of Graph Based Tools. Electr. Notes Theor. Comput. Sci. 72(2): 32-46 (2002)
- [c28]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
- [c27]Tiziana Margaria, Martin Karusseit: Community Usage of the Online Conference Service: an Experience Report from three CS Conferences. I3E 2002: 497-511
- [c26]Hardi Hungar, Tiziana Margaria, Bernhard Steffen: Model Generation for Legacy Systems. RISSEF 2002: 167-183
- [c25]Tiziana Margaria, Oliver Niese, Bernhard Steffen: Demonstration of an Automated Integrated Test Environment for Web-Based Applications. SPIN 2002: 250-253
- 2001
- [j11]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)
- [c24]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
- [c23]Bernhard Steffen, Tiziana Margaria, Volker Braun: Coarse-Granular Model Checking in Practice. SPIN 2001: 304-312
- [e5]Tiziana Margaria, Thomas F. Melham (Eds.): 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. Lecture Notes in Computer Science 2144, Springer 2001, ISBN 3-540-42541-1
- [e4]Tiziana Margaria, Wang Yi (Eds.): 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. Lecture Notes in Computer Science 2031, Springer 2001, ISBN 3-540-41865-2
- 2000
- [c22]Bengt Jonsson, Tiziana Margaria, Gustaf Naeser, Jan Nyström, Bernhard Steffen: Incremental Requirement Specification for Evolving Systems. FIW 2000: 145-162
1990 – 1999
- 1999
- [c21]Bernhard Steffen, Tiziana Margaria: METAFrame in Practice: Design of Intelligent Network Services. Correct System Design 1999: 390-415
- [c20]Volker Braun, Jürgen Kreileder, Tiziana Margaria, Bernhard Steffen: The ETI Online Service in Action. TACAS 1999: 439-443
- 1998
- [j10]Thomas Friese, Tiziana Margaria, Alfred Hofmann: Integrating Printed and Online Information. STTT 2(2): 202 (1998)
- [c19]Tiziana Margaria, Bernhard Steffen: Backtracking-Free Design Planning by Automatic Synthesis in METAFrame. FASE 1998: 188-204
- [c18]Tiziana Margaria, Volker Gruhn: Flexible and Reliable Process Model Properties: An Integrated Approach. FM-Trends 1998: 213-227
- [c17]Tiziana Margaria, Volker Braun: Formal Methods and Customized Visualization: A Fruitful Symbiosis. Services and Visualization: Towards User-Friendly Design 1998: 190-207
- [c16]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
- [e3]Tiziana Margaria, Bernhard Steffen, Roland Rückert, Joachim Posegga (Eds.): Services and Visualization: Towards User-Friendly Design, ACoS'98, VISUAL'98, AIN'97, Selected Papers. Lecture Notes in Computer Science 1385, Springer 1998, ISBN 3-540-64367-2
- 1997
- [j9]
- [j8]Bernhard Steffen, Tiziana Margaria, Volker Braun: The Electronic Tool Integration Platform: Concepts and Design. STTT 1(1-2): 9-30 (1997)
- [j7]Volker Braun, Tiziana Margaria, Carsten Weise: Integrating Tools in the ETI Platform. STTT 1(1-2): 31-48 (1997)
- [j6]Tiziana Margaria, Volker Braun, Jürgen Kreileder: Interacting with ETI: A User Session. STTT 1(1-2): 49-63 (1997)
- [c15]Peter Kelb, Tiziana Margaria, Michael Mendler, Claudia Gsottberger: MOSEL: A Sound and Efficient Tool for M2L(Str). CAV 1997: 448-451
- [c14]Michael von der Beeck, Tiziana Margaria, Bernhard Steffen: A formal requirements engineering method for specification, synthesis, and verification. SEE 1997: 131-144
- [c13]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
- [c12]Peter Kelb, Tiziana Margaria, Michael Mendler, Claudia Gsottberger: MOSEL: A FLexible Toolset for Monadic Second-Order Logic. TACAS 1997: 183-202
- 1996
- [j5]Bernhard Steffen, Tiziana Margaria: Method Engineering for Real-Life Concurrent Systems. ACM Comput. Surv. 28(4es): 56 (1996)
- [j4]Bernhard Steffen, Tiziana Margaria: Tools Get Formal Methods into Practice. ACM Comput. Surv. 28(4es): 126 (1996)
- [j3]Bernhard Steffen, Tiziana Margaria, Andreas Claßen: Heterogeneous Analysis and Verification for Distributed Systems. Software - Concepts and Tools 17(1): 13-25 (1996)
- [j2]
- [j1]Bernhard Steffen, Tiziana Margaria, Andreas Claßen, Volker Braun: Incremental Formalization: A Key to Industrial Success. Software - Concepts and Tools 17(2): 78- (1996)
- [c11]Bernhard Steffen, Tiziana Margaria, Andreas Claßen, Volker Braun: Incremental Formalization. AMAST 1996: 608-611
- [c10]Bernhard Steffen, Tiziana Margaria, Andreas Claßen, Volker Braun: The METAFrame'95 Environment. CAV 1996: 450-453
- [c9]Tiziana Margaria: Fully Automatic Verifcation and Error Detection for Parameterized Iterative Sequential Circuits. TACAS 1996: 258-277
- [c8]Bernhard Steffen, Tiziana Margaria, Andreas Claßen, Volker Braun, Rita Nisius, Manfred Reitenspieß: A Constraint-Oriented Service Creation Environment. TACAS 1996: 418-421
- [e2]Tiziana Margaria, Bernhard Steffen (Eds.): Tools and Algorithms for Construction and Analysis of Systems, Second International Workshop, TACAS '96, Passau, Germany, March 27-29, 1996, Proceedings. Lecture Notes in Computer Science 1055, Springer 1996, ISBN 3-540-61042-1
- 1995
- [c7]Bernhard Steffen, Andreas Claßen, Marion Klein, Jens Knoop, Tiziana Margaria: The Fixpoint-Analysis Machine. CONCUR 1995: 72-87
- [c6]Burkhard Freitag, Bernhard Steffen, Tiziana Margaria, Ulrich Zukowski: An Approach to Intelligent Software Library Management. DASFAA 1995: 71-78
- [c5]Bernhard Steffen, Tiziana Margaria, Andreas Claßen: The META-Frame: An Environment for Flexible Tool Management. TAPSOFT 1995: 791-792
- [e1]Ed Brinksma, Rance Cleaveland, Kim Guldstrand Larsen, Tiziana Margaria, Bernhard Steffen (Eds.): Tools and Algorithms for Construction and Analysis of Systems, First International Workshop, TACAS '95, Aarhus, Denmark, May 19-20, 1995, Proceedings. Lecture Notes in Computer Science 1019, Springer 1995, ISBN 3-540-60630-0
- 1994
- [c4]Burkhard Freitag, Tiziana Margaria, Bernhard Steffen: A Pragmatic Approach to Software Synthesis. Workshop on Interface Definition Languages 1994: 46-58
- 1993
- [c3]
- 1992
- [c2]Tiziana Margaria: Efficient RT-Level Verification by Theorem Proving. IFIP Congress (1) 1992: 696-702
- [c1]Tiziana Margaria: Hierarchical Mixed-Mode Verification of Complex FSMs Described at the RT Level. TPCD 1992: 59-75
Coauthor Index
[c104] [i2] [j52] [c100] [p2] [p1] [e16] [e15] [j50] [c99] [c97] [c96] [c94] [j49] [j48] [j47] [c93] [c92] [e13] [e12] [r2] [r1] [i1] [j43] [j42] [j40] [j39] [j38] [j36] [c89] [c88] [c84] [c83] [c82] [c81] [j35] [j34] [j32] [j30] [j29] [c77] [c76] [c75] [c73] [c71] [e10] [c68] [c67] [c66] [c65] [c64] [c62] [c61] [c60] [j25] [j21] [c59] [c58] [c57] [c56] [c55] [c54] [c53] [c52] [c51] [c50] [c48] [c47] [c46] [c45] [e8] [j20] [j19] [c44] [c43] [c42] [c41] [c40] [c39] [c38] [c37] [c36] [c35] [j16] [c33] [e6] [c30] [c29] [j13] [c28] [c26] [c25] [j11] [c24] [c23] [c22] [c21] [c20] [c19] [c16] [e3] [j9] [j8] [c14] [c13] [j5] [j4] [j3] [j2] [j1] [c11] [c10] [c8] [e2] [c7] [c6] [c5] [e1] [c4]
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-16 21:28 CEST by the dblp team