SSE-Logo

Service and Software Engineering

Prof. Dr. Ing. Tiziana Margaria-Steffen

Publications of Prof. Dr. Tiziana Margaria-Steffen

 

Panels

[P6] Everything you ever wanted to know about software assurance
panel at ISSRE 2007, the 18th IEEE International Symposium on Software Reliability Engineering
5-9th November, Trollhättan (S).
[P5] Distributed objects in a world of web services
anel at ECOOP'07, 21st European Conference on Object Oriented Programming
Berlin, 30.7.-3.8.2007.
[P4] Proof Tools, panel at VSTTE 2005
the IFIP WG 2.3 Working Conference on Verified Software: Theories, Tools, Experiments
Zürich, 10-14. October 2005.
[P3] Panel Moderator at the I-Day 2005
the ForTIA Industry Day 2005 (The Formal Techniques Industrial Association)
Newcastle upon Tyne, 20th July 2005.
[P2] Major Threat: From Formal Methods without Tools to Tools without Formal Methods
panel at ICECCS 2004 (9th IEEE Intern. Conf. on Engineering of Complex Computer Systems)
devoted to Navigating Complexity in the e-Engineering Age, Florenz (I), 14-16 April, 2004.
[P1] Overcoming the Software Crisis by Systematic Project Management
Podiumdiskussion im Rahmen der OOP 2003 (Objekt-orientiertes Programmieren)
ICM - International Congress Center Munich, München, 23.1.2003.
 

Invited Contributions

[E28] T.Margaria:
Service is in the eyes of the beholder
IEEE Computer, Nov. 2007 November 2007 (Vol. 40, No. 11), ISSN: 0018-9162, pp. 33-37.
[E27] T. Margaria:
Towards SOA/Web2.0 Telco Creation Toolkits
Invited presentation at the workshop IMS and Web2.0/SOA at the 3rd International FOKUS IMS Workshop, Berlin (D), Fraunhofer Gesellschaft, Nov. 2007.
[E26] T.Margaria:
Hot topics in the Future of FET
invited presentation and position paper - EU Expert meeting Shaping FET Proactive Initiatives - FET 2009/2010 Program, 20 - 21 September 2007, Brussels.
[E25] W. Stüttgen, V. Enkrodt, T. Margaria:
Education 3.0 mit Web 2.0: Status, Stärken, Schwächen, Perspektiven
Eingeladener Vortrag zur Campus Innovation 2007, auf der GMW'07, 12. Europäische Jahrestagung Gesellschaft für Medien in der Wissenschaft, Hamburg, 12.-14. Sept. 2007.
[E24] T. Margaria:
Thinking in Services: Methodologies and Adoption
invited keynote at MEMICS'07, the 3rd Doctoral Workshop on Mathematical and Engineering Methods in Computer Science, Znojmo (CZ), 26-28.10.2007.
[E23] T. Margaria:
Participation in the Age of Web 2.0
Keynote at SEMISH - XXXIV Seminário Integrado de Software e Hardware, part of the XXVII Conference of the Brazilian Computing Society, Rio de Janeiro (BRA), July 2-6, 2007.
[E22] [E22] T. Margaria, H. Raffelt, B. Steffen, M. Leucker:
The LearnLib in FMICS-jETI
Proc. ICECCS 2007, 12th IEEE Int. Conf. on Engineering of Complex Computer Systems Auckland (NZ), July 2007, IEEE CS Press, pp.340-349.
[E21] T. Margaria:
Education 3.0 mit Web 2.0: Was machen die Anderen - Blicke über den eLearning Horizont
Keynote at the Grundfragen Multimedialen Lehrens und Lernens - Neue Medien und Technologien der Informationsgesellschaft, 19.-20.3.2007, Technische Universität Berlin, Germany.
[E20] T. Margaria:
Service and software research driving European Competiteveness invited talk at the IST event 2006, Session on Service and Software Architectures, Infrastructures and Engineering, Helsinki, 22.11.2006.
[E19] T. Margaria, B. Steffen:
Service Engineering: Linking Business and IT
Cover feature of IEEE Computer, Oct. 2006, (invited), issue for the 60th anniversary of the Computer Society, Vol. 39,  N. 10,  pp. 45-55, IEEE CS Press.
[E18] B. Steffen, T. Margaria:
Continuous Engineering of Embedded Systems
Proc. DIPES 2006, 5th IFIP Working Conference on Distributed and Parallel Embedded Systems, Braga (P) October,2006, IEEE Computer Society Press, to appear.
[E17] T. Margaria, C. Kubczak, M. Njoku, B. Steffen:
Model-based Design of Distributed Collaborative Bioinformatics Processes in the jABC
Proc. ICECCS 2006, 11th IEEE International Conference on Engineering of Complex Computer Systems. Stanford University, CA (USA), August 2006, IEEE Computer Society Press, pp. 169-176.
[E16] M. Högl, T. Margaria, B. Steffen:
The Galileogate Solution Factory For Location-Based Integrated Services
Proc. Integrated Design and Process Technology, IDPT-2006, San Diego (USA), 26-29.6.2006, Society for Design and Process Science, 2006
[E15] A. Arenas, J. Bicarregui, T. Margaria:
The FMICS View on the Verified Software Repository
Proc. Integrated Design and Process Technology, IDPT-2006, San Diego (USA), 26-29.6.2006, Society for Design and Process Science, 2006
[E14] T. Margaria:
Service Engineering: between Software and Business
invited talk, 2nd IEEE Systems and Software Week (SASW 2006), Columbia, MD, USA, 25-27 April 2006.
[E13] T. Margaria:
Modeling in the Context of Legacy Systems
invited talk, Distinguished Lecture Series "Theory and Practice of Software Development: Past and Future"
TAP-SOFT 2005, TU Berlin, February 17-18, 2005.
[E12] T. Margaria:
Frontiers of Complexity in System-Level Workflows: Interaction and Emerging Behaviour
invited contribution to the EU-WP2005-06 Workshop, Bruxelles, 11th June 2004.
[E11] T. Margaria:
Modelling Dependable Systems: What can Model Driven Development Contribute and What Likely Not?
invited paper to ISORC 2004, 7th IEEE Intern. Symposium on Object-oriented Realtime distributed Computing
May 12-14, 2004, Vienna (A), IEEE CS Press, pp. 113-120.
[E10] T. Margaria:
Aggressive Model-Driven Development: Synthesizing Systems from Models viewed as Constraints
The John von Neumann Minerva Center for Verification of Reactive Systems - Formal Verification School
May 16-19, 2004, Kibbutz Shefayim (Israel).
[E9] T. Margaria, B. Steffen:
AMDD: Aggressive Model-Driven Development
invited contribution to the Workshop on Software and Complex Systems, satellite to ICECCS 2004, the 9th IEEE Int. Conf. on Engineering of Complex Computer Systems
Reggello (FI), Italy, April 14th 2004.
[E8] T. Margaria, B. Steffen:
Aggressive Model-Driven Development: Synthesizing Systems from Models viewed as Constraints
Workshop on Software Engineering for Embedded Systems: From Requirements to Implementation
The Monterey Workshop Series, Chicago, Illinois, September 24-26, 2003. -- Revised Version invited to the Post-Workshop Proceedings.
[E7] T. Margaria:
Peopleware in Practice: Human Experiences in Tool Integration in ETI and Lessons Learned for QPQ
1st QPQ Workshop, satellite to CADE-19, Miami (FL), 28.7.2003
[E6] T. Margaria:
The Tool Column
Editorial, The EASST NEWSLETTER, Vol. 4, August 2002
http://www.easst.org/newsletter/index.html
[E5] T. Margaria:
The Electronic Tool Integration Platform as a supplier and user of Graph Transformation Tools - Experience and Perspectives
Int. Workshop on Graph Based Tools (GraBaTs´02), Barcelona (E), Oct. 2002
satellite to ICGT 2002, Int. Conference on Graph Transformations, ENTCS Vol. 72 N.2
http://www.elsevier.com/locate/entcs/volume72.html
[E4] T. Margaria, B. Steffen:
Model Generation for Legacy Systems
Monterey 2002 Workshop on Radical Innovations of Software and Systems Engineering in the Future
Venice, Italy, October 2002 - LNCS 2941, Springer Verlag, April 2004 - pp. 168-182.
[E3] T. Margaria:
Die Einbindung von Middleware in die Reporting Landschaft der Bank: Vorteile eines Toolbasierten Reportings
eingeladener Vortrag zur Konferenz MIDDLEWARE 2002 - Geschäftsprozessoptimierung mit Middleware in Banken
Von der IT-Integration zur prozesskostenorientierten Wettbewerbsfähigkeit, Mainz, 3.-4. Juni 2002.
[E2] T. Margaria:
he Application Layer of the MoSeL Toolset
Vortrag, Final Meeting, Esprit Working Group 8533 NADA: New Hardware Design Methods
Lübeck (D), September 20-23, 1997.
[E1] B. Steffen, A. Claßen, M. Klein, J. Knoop, T. Margaria:
The Fixpoint Analysis Machine
(invited paper) CONCUR'95, 6th Int. Conf. on Concurrency Theory Pittsburgh (USA)
Aug. 1995, LNCS 962, pp. 72-87. Springer Verlag.
 

Monographys

[M1] T. Margaria, M. Rapa:
Materiali e componenti per l\'elettronica
Libreria ed. Universitaria Levrotto & Bella, Torino, Mai 1986
Textbuch für die Vorlesungen Componenti Elettronici and Materiali per l\'Elettrotecnica am Politecnico di Torino und an der Universität Bari.
 

Tutorials

[T5] T. Margaria:
Verification of Parametric systems or Monadic 2nd Order Logic in Practice
tutorial at ETAPS'99, Amsterdam (NL), 27.3.1999.
[T4] B. Steffen, T. Margaria:
The METAFrame Agent Building Center: An Integrated Approach to Telephone and Internet service Design
invited tutorial, ETRI - Electronics and Telecommunication Research Institute
Taejon (Korea), 26. August 1997.
[T3] T. Margaria:
Women and Intelligent Networks: Experience in a Leading-edge Technological Project
full-day tutorial, WWC'97, 6th Intern. IFIP Conference on Women, Work and Computerization
May 23rd, 1997, Bonn (D), LNCS, Springer Verlag
(Text vorbereitet mit V. Kriete, B. Massion, C. Molic, J. Schütt, F.-K. Bruhns).
[T2] T. Margaria, K.-F. Bruhns, V. Kriete:
Service Creation Environments: Today and Tomorrow
half-day tutorial, 4th Int. Conf. on Intelligent Networks (ICIN'96)
Nov. 1996, Bordeaux (France).
[T1] T. Margaria:
The OTTER theorem prover for the verification of circuit design
(invited tutorial). IFIP TC 10/WG 10.2 Intern. Conference on Theorem Provers in Circuit Design: Theory, Practice and Experience
Nijmegen (NL), June 1992.
 

Journals

[J29] T. Margaria, C. Kubzcak, B. Steffen:
Bio-jETI: a Service Integration, Design, and Provisioning Platform for Orchestrated Bioinformatics Processes
To appear in BioMed Central (BMC) Bioinformatics Supplement dedicated to Network Tools and Applications in Biology 2007 Workshop (NETTAB 2007) ISSN 1471-2105.
(preliminary version appeared in Proc. of NETTAB 2007 Workshop: A Semantic Web for Bioinformatics, Pisa, 2007).
[J28] A.-L. Lamprecht, T. Margaria, B. Steffen, A. Sczyrba, S. Hartmeier, R. Giegerich:
GeneFisher-P: Variations of GeneFisher as Processes in BiojETI
To appear in BioMed Central (BMC) Bioinformatics Supplement dedicated to Network Tools and Applications in Biology 2007 Workshop (NETTAB 2007) ISSN 1471-2105.
(preliminary version appeared in Proc. of NETTAB 2007 Workshop: A Semantic Web for Bioinformatics, Pisa, 2007).
[J27] M. Bajohr, T. Margaria:
MaTRICS: A service-based management tool for remote intelligent configuration of systems
in Innovations in System and Software Engineering - a NASA Journal, Vol2, N.2, Springer Verlag, July 2006, pp. 99-111.
[J26] M. Högl, T. Margaria, B. Steffen:
Location-Based Integrated Services: The Galileo Perspective
To appear in Annual Review of Communication, Int. Engineering Consortium, Chicago (USA), Vol. 58, IEC, 2005. ISBN: 978-1-931695-36-7
[J25] T. Margaria, M. Reitenspieß, B. Steffen:
Service Oriented Approaches for Highly Available Triple-Play Telecommunication Services
to appear in IEC Comprehensive Report on the Deployment of Triple-Play Services, Int. Engineering Consortium, Chicago (USA), 2005.
[J24] T. Margaria, H. Raffelt, B. Steffen:
Knowledge-based relevance filtering for efficient system-level test-based model generation
Innovations in System and Software Engineering - a NASA Journal, Vol. 1, N. 2, pp. 147-156, Springer Verlag, September 2005.
[J23] [J23] M. Loghi,T. Margaria, G. Pravadelli, and B. Steffen:
Dynamic and Formal Verification of Embedded Systems: A Review
special issue on "Testing of Embedded Systems", I.Harris and F. Fummi (eds.)
to appear in the International Journal of Parallel Programming (IJPP), Kluwer, 2005.
[J22] [J22] T. Margaria:
Web Services-Based Tool-Integration in the ETI Platform
SoSyM, Int. Journal on Software and System Modelling, Springer Verlag
(availabla in Online First, DOI: 10.1007/s10270-004-0072-z).
[J21] [J21] T. Margaria, B. Steffen:
Aggressive Model Driven Development for the Management of Service Evolution
Annual Review of Communication, Int. Engineering Consortium
Chicago (USA), Vol. 57, IEC, 2004.
[J20] [J20] T. Margaria, B. Steffen:
Aggressive Model Driven Development of Broadband Applications
eingeladener Beitrag zum Buch Delivering Broadband Applications: A Comprehensive Report
IEC, Int. Engineering Consortium Chicago (USA).
[J19] T. Margaria B. Steffen:
Lightweight Coarse-grained Coordination: A Scalable System-Level Approach
in STTT, Special Section on Formal Methods in Industrial Critical Systems of the Int. Journal on Software Tools for Technology Transfer
Vol.5, N.2-3, 2004, Springer Verlag, pp.107-123.
[J18] A. Hagerer, H. Hungar, T. Margaria, O. Niese, B. Steffen:
An Operational Procedure for Model-Based Testing of CTI Systems
in Annual Review of Communication
Int. Engineering Consortium, Chicago (USA), Vol. 56, IEC, 2003.
[J17] T.Margaria, O. Niese, B. Steffen:
A Practical Approach for the Regression Testing of IP-based Applications
eingeladener Beitrag zum Buch IP Applications and Services 2003: A Comprehensive Report
IEC, Int. Engineering Consortium, Chicago (USA), ISBN 1-931695-12-1.
[J16] A. Hagerer, T. Margaria, O. Niese, B. Steffen, G. Brune, H.-D. Ide:
Efficient Regression Testing of CTI-Systems: Testing a Complex Call-Center Solution
in Annual Review of Communication
Int. Engineering Consortium Chicago (USA), Vol. 55, pp.1033--1039, IEC, 2002
[J15] [J15] B. Jonsson, T. Margaria, G. Naeser, J. Nyström, B. Steffen:
Incremental Requirement Specification for Evolving Systems
Nordic Journal of Computing Vol.8, N.1, Spring 2001, pp. 65-87.
[J14] V. Braun, T. Margaria, B. Steffen:
The Electronic Tool Integration Platform
Special Theme Issue on "Internet Based Technology Transfer Services" of the Journal Asia Pacific Tech Monitor, 2001.
[J13] O. Niese, A. Hagerer, T. Margaria, M. Nagelmann, B. Steffen, G. Brune, H.-D. Ide:
An Automated Testing Environment for CTI Systems Using Concepts for Specification and Verification of Workflows
In Annual Review of Communication
Int. Engineering Consortium Chicago (USA), Vol. 54, pp. 927-936, IEC, 2001.
[J12] T. Margaria, V. Braun, J. Kreileder:
Interacting with ETI: A User Session
STTT, Int. Journal on Software Tools for Technology Transfer
Vol.1 (1/2), 1997, Springer Verlag, pp. 49-63.
[J11] T. Margaria, V. Braun, C. Weise:
Integrating Tools in ETI
STTT, Int. Journal on Software Tools for Technology Transfer
Vol.1 (1/2), 1997, Springer Verlag, pp. 31-48.
[J10] [J10] B.Steffen, V. Braun, T. Margaria:
The Electronic Tool Integration Platform: Concepts and Design
STTT, Int. Journal on Software Tools for Technology Transfer
Vol.1 (1/2), 1997, Springer Verlag, pp. 9-30.
[J9] T.Margaria, R. Cleaveland, B. Steffen:
Editorial
STTT, Int. Journal on Software Tools for Technology Transfer
Vol.1 (1/2), 1997, Springer Verlag, pp. 1-5.
[J8] B. Steffen, T. Margaria, V. Braun, N. Kalt:
Hierarchical Service Definition
Annual Review of Communication
Int. Engineering Consortium Chicago (USA), IEC, 1997, pp. 847-856.
[J7] B. Steffen, T. Margaria:
Tools Get Formal Methods into Practice
ACM Computing Surveys 28A(4), position statement, ACM Workshop on Strategic Directions in Computing Research}
Working Group on Formal Methods (Co-Chairs E. Clarke, J. Wing), December 1996
http://www.acm.org/sur-veys/1996/SteffenTools/
[J6] B. Steffen, T. Margaria:
Method Engineering for Real-Life Concurrent Systems
ACM Computing Surveys 28A(4), December 1996 - position statement, ACM Workshop on Strategic Directions in Computing Research
Working Group on Concurrency (Chair S. Smolka)
http://www.acm.org/sur-veys/1996/SteffenMethod/
[J5] B. Steffen, T. Margaria, A. Claßen, V. Braun:
Incremental Formalization: a Key to Industrial Success
Eingeladen, in "SOFTWARE: Concepts and Tools"
Vol. 17, N.2, pp. 78-91, Springer Verlag, July 1996.
[J4] B. Steffen, T. Margaria, A. Claßen:
Heterogeneous Analysis and Verification for Distributed Systems
"SOFTWARE: Concepts and Tools"
Vol. 17, N.1, pp. 13-25, March 1996, Springer Verlag.
[J3] B. Steffen, T. Margaria, A. Claßen, V. Braun, M. Reitenspieß:
An Environment for the Creation of Intelligent Network Services
(invited contribution) Annual Review of Communication, Int. Engineering Consortium Chicago (USA), IEC, 1996, pp. 919-935.
auch eingeladener Beitrag zum Buch "Intelligent Networks: IN/AIN Technologies, Operations, Services, and Applications - A Comprehensive Report", IEC, 1996, pp. 287-300.
[J2] P. Camurati, T. Margaria, P. Prinetto:
The OTTER environment for resolution-based proof of hardware correctness
Microprocessing and Microprogramming, The Euromicro Journal
Vol. 30, n. 1-5, August 1990, pp. 413-419.
[J1] P. Camurati, T. Margaria, P. Prinetto:
Systolic array description in F^2, Microprocessing and Microprogramming
The Euromicro Journal
Vol. 27, n. 1-5, Sept. 1989, pp. 171-178.
 

Conferences

[C82] A.-L. Lamprecht, T. Margaria, B. Steffen:
Seven Variations of an Alignment Workflow - An Illustration of Agile Process
Design/Management in Bio-jETI, to appear at ISBRA'08, 4th Int. Symp. On Bioinformatics Research and Applications, Atlanta (GA), May 2008.
[C81] [C81] M. Bakera, T. Margaria, C. Renner, B. Steffen:
Verification, Diagnosis and Adaptation: Tool supported enhancement of the model-driven verification process
ISoLA'07 Workshop on Formal Methods in Avionics, Space and Transport, Poitiers (F), Dec. 2007. In Revue des Nouvelles Technologies de l'Information (RNTI-SM-1), pp. 85-98, ISBN 2854288148.
[C80] [C80] C. Kubczak, T. Margaria, C. Winkler, B. Steffen:
An approach to Discovery with miAamics and jABC
Workshop on Service Composition & SWS Challenge, part of WI-IAT'07, the IEEE/ WIC/ ACM Int. Conf. on Web Intelligence, 5. November 2007, Stanford (CA), pp. 157-160, ISBN-10: 0-7695-3028-1
[C79] [C79] C. Kubczak, T. Margaria, B. Steffen, S. Naujokat:
Service-oriented Mediation with jETI/jABC: Verification and Export
Workshop on Service Composition & SWS Challenge, part of WI-IAT'07, the IEEE/ WIC/ ACM Int. Conf. on Web Intelligence, 5. November 2007, Stanford (CA), pp. 144-147, ISBN-10: 0-7695-3028-1
[C78] [C78] H. Raffelt, B. Steffen, T. Margaria:
Dynamic Testing via Automata Learning
Proc. HVC'07, Haifa Verification Conference 2007, IBM Haifa Research Labs (Israel), October 23 - 25, 2007, LNCS, Springer Verlag.
[C77] O. Shehory, S. Ur, T. Margaria:
Self-Healing Technologies in SHADOWS: Targeting Performance, Concurrency and Functional Aspects
Proc. CONQUEST 2007, 10th Int. Conference on Quality Engineering in Software Technology, Potsdam, 26-28 Sept. 2007.
[C76] [C76] M. Bakera, T. Margaria, C. Renner, B. Steffen:
Property-driven functional healing: Playing against undesired behavior
Proc. CONQUEST 2007, 10th Int. Conference on Quality Engineering in Software Technology, Potsdam, 26-28 Sept. 2007.
[C75] [C75] A.-L. Lamprecht, T. Margaria, B. Steffen:
GeneFisher-P: Variations of GeneFisher as Processes in Bio-jETI
Proc. NETTAB'07, A Semantic Web for Bioinformatics: Goals, Tools, Systems, Applications, Special session From Components to Processes in Bioinformatics, Pisa (Italy), June 2007, pp. 73-87.
[C74] [C74] T. Margaria, C. Kubczak, B. Steffen:
Bio-jETI: a Service Integration, Design, and Provisioning Platform for Orchestrated Bioinformatics Processes
Proc. NETTAB'07, A Semantic Web for Bioinformatics: Goals, Tools, Systems, Applications, Special session From Components to Processes in Bioinformatics, Pisa (Italy), June 2007, pp. 59-71.
[C73] [C73] C. Petrie, T. Margaria, U. Küster, H. Lausen, Mi. Zaremba:
SWS Challenge: Status, Perspectives, and Lessons Learned so Far
Proc. ICEIS'07, 9th Int. Conf. on Enterprise Information Systems, Special Session on Comparative Evaluation of Semantic Web Service Frameworks, June 2007, Funchal (P).
[C72] [C72] [C72] T. Margaria, C. Winkler, C. Kubczak, B.Steffen, M. Brambilla, S. Ceri, D. Cerizza, E. Della Valle, F. Facca, C. Tziviskou:
The SWS Mediator with WebML/Webratio and jABC/jETI: A Comparison
Proc. ICEIS'07, 9th Int. Conf. on Enterprise Information Systems, Special Session on Comparative Evaluation of Semantic Web Service Frameworks, June 2007, Funchal (P).
[C71] [C71] [C71] S. Jörges, C.Kubczak, F. Pageau, T. Margaria:
Model Driven Design of Reliable Robot Control Programs Using the jABC
Proc. EASe'07, IEEE Conf. on Engineering of Autonomic and Autonomous Systems - Special Session on Autonomous and Autonomic Space Exploration Systems. Loyola College, Baltimore, MD, USA, March 2007, IEEE CS Press.
[C70] [C70] T. Margaria, B. Steffen:
LTL Guided Planning: Revisiting Automatic Tool Composition in ETI
Proc. SEW2007, 31st IEEE Annual Software Engineering Workshop. Loyola College, Baltimore, MD, USA, March 2007, IEEE CS Press post-proceedings (to appear).
[C69] T. Margaria, O. Rüthing, B. Steffen:
ViDoC- Visual Design of Optimizing Compilers
In Program Analyses and Compilation, Theory and Practice: Essays dedicated to Reinhard Wilhelm. LNCS N. 4444, pp. 145-159, Springer Verlag, June 2006.
[C68] [C68] M. Karusseit, T. Margaria:
A Web-based runtime-reconfigurable role management service
Proc. WWV'06, 2nd worksh. on Automated Specification and Verification of Web Systems, part of ISOLA 2006, Paphos (CY), 19.11.06, pp. 530-538, (to appear), IEEE CS Press.
[C67] C. Kubczak, T. Margaria, A. Fischer, B. Steffen:
Biological LC/MS preprocessing and analysis with jABC, jETi, and xcms
ISoLA 2006, 2nd IEEE-EASST Int. symp. On Leveraging Applications of formal methods, verification, and validation, Paphos (CY), 15-19.11.06, pp. 308-313 (to appear), IEEE CS Press.
[C66] [C66] M. Bajohr, T. Margaria:
Service-based enabling of service availability in the MaTRICS: A model driven approach
ISoLA 2006, 2nd IEEE-EASST Int. symp. On Leveraging Applications of formal methods, verification, and validation, Paphos (CY), 15-19.11.06, pp. 329-336 (to appear), IEEE CS Press.
[C65] T. Margaria, C. Kubczak, B. Steffen, S. Naujokat:
The FMICS-jETI Platform: Status and Perspectives
ISoLA 2006, 2nd IEEE-EASST Int. symp. On Leveraging Applications of formal methods, verification, and validation, Paphos (CY), 15-19.11.06, pp. 414-418 (to appear), IEEE CS Press.
[C64] C. Wagner, T. Margaria, H.-G. Pagendarm:
Comparative analysis of tools to be used for data extraction for automated software re-engineering purposes
ISoLA 2006, 2nd IEEE-EASST Int. symp. On Leveraging Applications of formal methods, verification, and validation, Paphos (CY), 15-19.11.06, pp. 446-452 (to appear), IEEE CS Press.
[C63] [C63] B. Steffen, T. Margaria, R. Nagel, S. Jörges, C. Kubczak:
Model-Driven Development with the jABC
Proc. HVC'06, IBM Haifa Verification Conference, Haifa (Israel), LNCS 4383, Springer Verlag, October 2006.
[C62] T. Margaria, M. G. Hinchey, H. Raffelt, J.L. Rash, C A. Rouff, B. Steffen:
Completing and Adapting Models of Biological Processes
BiCC 2006, IFIP Conference on Biologically Inspired Cooperative Computing, Santiago (Chile), Aug. 2006, Springer Verlag.
[C61] T. Margaria, M. G. Hinchey, J.L. Rash, C A. Rouff, B. Steffen:
Enhanced Requirements-Based Programming for Complex Model Completion
Proc. APFA5, 5th International Conference on 'Applications of Physics in Financial Analysis', Torino (I), June-July 2006.
[C60] A.-L. Lamprecht, T. Margaria, B. Steffen:
Datenflussanalyse als Modelchecking im jABC
Proc. SE'06, GI Int. Conf. on Software Engineering, Leipzig, March-April 2006, LNI Vol. P-79, pp. 125-130.
[C59] T. Margaria, B. Steffen, M. Reitenspieß:
Service-Oriented Design: The Roots
ICSOC 2005: 3rd ACM SIG-SOFT/SIGWEB Intern. Conf. on Service-Oriented Computing
Amsterdam (NL), 12-15 Dec. 2005, to appear in LNCS, Springer Verlag
[C58] T. Margaria, H. Raffelt, B. Steffen:
Analyzing Second-Order Effects Between Optimizations for System-Level Test-Based Model Generation
IEEE International Test Conference (ITC)
Austin TX (USA), November 8-10 2005
[C57] [C57] B. Steffen, H. Raffelt, T. Margaria:
Searching for Regular Patterns by Observation
AVIS'05, 4th International Workshop on Automated Verification of Infinite-State Systems, co-located with ETAPS 2005
Edinburgh Scotland, 2-3 April 2005, Post Workshop Proceedings appear in ENTCS
[C56] T. Margaria, B. Steffen:
From the How to the What
IFIP WG 2.3 Working Conference on Verified Software: Tools, Techniques, and Experiments
Zurich (CH), Oct. 10-14 2005
[C55] T. Margaria, B. Steffen:
Run-time Agents as a Means of reconciling Flexibility and Scalability - A radical view?
WRAC 2005, 2nd GSFC/IEEE Workshop on Radical Agent Concepts
NASA Goddard Space Flight Center Visitor's Center Greenbelt MD USA, 20-22 Sept. 2005, Proc. to appear as Lecture Notes in Artificial Intelligence, Springer Verlag
[C54] T. Margaria, P.A. Sistla, B. Steffen, L. Zuck:
Taming Interface Specifications
Proc. CONCUR'05, 16th Int. Conf. on Concurrency Theory
San Francisco, 23-26 Aug. 2005, Proc. appear in LNCS, Springer Verlag
[C53] [C53] M. Bajohr, T. Margaria:
MaTRICS: A Management Tool for Remote Intelligent Configuration of (Pervasive) Systems
Proc. ICPS 2005, IEEE Int. Conference on Pervasive Services
Santorini Greece, 11-14.July 2005, IEEE Computer Society Press
[C52] T.Margaria, B. Steffen:
Second-Order Semantic Web
Proc. SEW-29, 29th Annual IEEE/NASA Software Engineering Workshop
Greenbelt (USA), April 2005
[C51] [C51] T. Margaria, R. Nagel, B. Steffen:
Remote Integration and Coordination of Verification Tools in jETI
Proc. ECBS 2005, 12th IEEE Int. Conf. on the Engineering of Computer Based Systems
Greenbelt (USA), April 2005
[C50] M. Karusseit, T. Margaria:
Feature-based Modelling of a Complex, Online-Reconfigurable Decision Support Service
WWV'05. 1st Int'l Workshop on Automated Specification and Verification of Web Sites
Valencia Spain -- Post Workshop Proc. to appear in ENTCS, March 14-15 2005
[C49] [C49] T. Margaria, H. Raffelt, B. Steffen, O. Niese:
Efficient Test-based Model Generation of Legacy Systems
Proc. HLDVT 2004, 9th IEEE Int. Workshop on High Level Design Validation and Test
Sonoma (CA), IEEE Computer Society Press, November 10-12 2004, pp. 95-100
[C48] [C48] Tiziana Margaria:
Components, Features, and Agents in the ABC
In Objects, Agents, and Features, Revised and Invited Papers from the International Seminar on Objects, Agents, and Features
Dagstuhl Castle Germany, February 2003, LNCS 2975 Springer Verlag 2003, pp. 154-174
[C47] [C47] H. Hungar, T. Margaria, B. Steffen:
Test-Based Model Generation for Legacy Systems
Proc. IEEE International Test Conference (ITC)
Charlotte NC, September 30 - October 2 2003, IEEE Computer Society Press, pp.971-980
[C46] [C46] T. Margaria, B. Steffen:
Aggressive Model-Driven Development: Synthesizing Systems from Models viewed as Constraints
position paper for the Monterey'03 Workshop on "Software Engineering for Embedded Systems: From Requirements to Implementation"
Chicago IL, September 24-26 2003, Post-workshop Proceedings appear in IEEE Press
[C45] [C45] T. Margaria, M. Wübben:
Tool Integration in the ETI Platform - Review and Perspectives
Workshop on Tool-Integration in System Development
at ESEC 2003 Helsinki (FIN), September 2003
[C44] [C44] T. Margaria, M. Karusseit:
Community Usage of the Online Conference Service: an Experience Report from three CS Conferences
2nd IFIP Conference on e-commerce, e-business, e-commerce (I3E 2002)
Lisboa (P) in "Towards the Knowledge Society - eCommerce eBusiness and eGovernment", 7-9 Oct. 2002, Kluwer Academic Publishers, pp.497-511
[C43] T. Margaria, B. Steffen:
Scalable System-level CTI Testing through Lightweight Coarse-grained Coordination
FMICS 2002, 7th Intern. ERCIM Workshop on Formal Methods for Industrial Critical Systems
Malaga (Spain), July 2002, co-located with ICALP Proc. in ENTCS Vol.66 N.2
[C42] T. Margaria, O.Niese, B. Steffen, A. Erochock:
System Level Testing of Virtual Switch (Re-)Configuration over IP
Proc. ETW 2002, IEEE European Test Workshop
Corfu (Greece), May 2002
[C41] O.Niese, T. Margaria, B. Steffen:
Automated Functional Testing of Web-based Applications
Proc. QWE'01, 5th Conf. On Software and Internet Quality Week Europe
Brussels (B), March 2002
[C40] [C40] T. Margaria, V. Braun, B. Steffen:
The Electronic Tool Integration Platform (ETI) and its Role for Petri Net Technology
Inv. contribution to the volume Petri Net Technology for Communication Based Systems, LNCS 2472 sub-series on Advances on Petri Nets, pp. 363 - 382, Nov. 2003
Berlin, Sept. 2001, a previous version appeared in the Proc. 2nd Int. Colloquium on Petri Net Technologies for Modelling Communication Based Systems, pp. 21-32
[C39] [C39] B. Lindner, T. Margaria, B. Steffen:
Ein personalisierter Internetdienst für wissenschaftliche Begutachtungsprozesse
GI-VOI-BITKOM-OCG-TeleTrusT Konferenz Elektronische Geschäftsprozesse (eBusiness Processes)
Universität Klagenfurt http://syssec.uni-klu.ac.at/EBP2001/, September 2001
[C38] O. Niese, T. Margaria, A. Hagerer, B. Steffen, G. Brune, W. Goerigk, H.-D. Ide:
Automated Regression Testing of CTI -Systems
Proc. ETW 2001, IEEE European Test Workshop
Stockholm (S), May 2001, pp. 139-144
[C37] B. Steffen, T. Margaria, V. Braun:
Coarse Granular Model Checking in Practice
Proc.8th Intern. SPIN Workshop on Model Checking Software, satellite to ICSE 2001
Toronto (Canada), May 2001, LNCS 2057 Springer Verlag, pp. 304-312
[C36] O. Niese, B. Steffen, T. Margaria, A. Hagerer, G. Brune, H.-D. Ide:
Library-Based Design and Consistency Checking of System-Level Industrial Test Cases
Proc. FASE 2001, Int. Conf. on Fundamental Approaches to Software Engineering
Genoa (I), April 2001, LNCS 2029 Springer-Verlag, pp. 233-248
[C35] [C35] O. Niese, T. Margaria, M. Nagelmann, B. Steffen, G. Brune, H.-D. Ide:
An Open Environment for Automated Integrated Testing
Proc. QWE'00, 4th Int. Conf. On Software and Internet Quality Week Europe
Brussels (B), Nov. 2000
[C34] B. Jonsson, T. Margaria, G. Naeser, J. Nyström, B. Steffen:
Incremental Requirement Specification for Evolving Systems
Proc. of FIW 2000, 6th Feature Interaction Workshop
Glasgow (UK), May 2000, "Feature Interactions in Telecommunications and Software Systems VI" eds. M. Calder and E. Magill IOS Press
[C33] B. Steffen, V. Braun, T. Margaria:
Personalized Electronic Commerce Services
Proc. IFIP WG 7.3 8th Int. Conference on Telecommunication Systems Modeling and Analysis
Nashville Tennessee USA, March 2000
[C32] B. Steffen, T. Margaria:
METAFrame in Practice: Intelligent Network Service Design
In Correct System Design - Issues, Methods and Perspectives, E.-R. Olderog and B. Steffen (eds.)
1999, LNCS 1710 Springer Verlag, pp.390-415
[C31] T. Margaria, V. Gruhn:
Flexible and Reliable Process Model Properties: An Integrated Approach
FM-Trends'98, Int. Workshop on Current Trends in Applied Formal Methods
Boppard (D), Oct. 1998, LNCS 1641 Springer Verlag, pp. 212-226
[C30] T. Margaria:
Modelling and Verification of Unbounded Length Systolic Arrays in Monadic Second Order Logic
Infinity'98 - Int. Workshop on Infinite State Systems, satellite to ICALP'98
Aalborg (DK), 18 Juli 1998
[C29] The Electronic Tool Integration Platform
Proc. STTT'98 - Int. Workshop on Software Tools for Technology Transfer, satellite to ICALP'98
Aalborg (DK), 12 Juli 1998
[C28] [C28] T. Margaria, V. Braun:
Formal Methods and Customized Visualization: A Fruitful Symbiosis Proc. VISUAL'98, Int. Worksh. on Visual Issues for Formal Methods
in Services and Visualization: Towards User-Friendly Design
Lissabon (P) satellite of TACAS'98/ETAPS'98 , März 1998, LNCS 1385, Springer Verlag, pp.190-207
[C27] T. Margaria, B. Steffen:
Backtracking-free Design Planning by Automatic Synthesis in METAFrame
Proc. FASE'98, Int. Conf. on Fundamental Aspects of Software Engineering
Lissabon, Apr. 1998, LNCS 1382 Springer Verlag, pp.188-204
[C26] V. Braun, T. Margaria, B. Steffen, H. Yoo:
Automatic Error Location for IN Service Definition
Proc. AIN'97, 2nd Int. Workshop on Advanced Intelligent Networks
Cesena in Services and Visualization: Towards User-Friendly Design, Juli 1997, LNCS 1385 Springer Verlag März 1998, pp.222-237
[C25] P. Kelb, T. Margaria, M. Mendler, C. Gsottberger:
MOSEL: A Sound and Efficient Tool for M2L(Str)
Proc. 9th Int. Conference on Computer Aided Verification (CAV'97)
Haifa (Israel), Juli 1997, LNCS 1254, pp. 448-451
[C24] V. Braun, T. Margaria, B. Steffen, H. Yoo, T. Rychly:
Safe Service Customization
Proc. IN'97, IEEE Communication Soc. Workshop on Intelligent Network
Colorado Springs CO (USA) IEEE Comm. Soc. Press, 4-7 May 1997
[C23] V. Braun, T. Margaria, B. Steffen, F.-K. Bruhns:
Service Definition for Intelligent Networks: Experience in a Leading-edge Technological Project Based on Constraint Techniques
Proc. PACT'97, 3rd Int. Conf. on Practical Application of Constraint Technology
London UK Ed. by The Practical Application Company, April 1997
[C22] M. von der Beeck, T. Margaria, B. Steffen:
A Formal Requirements Engineering Method Combining Specification, Synthesis, and Verification
Proc. SEE'97, 8th IEEE Conference on Software Engineering Environments
Cottbus (D), April 1997, IEEE Computer Society Press, pp.131-144
[C21] P. Kelb, T. Margaria, M. Mendler, C. Gsottberger:
Mosel: A Flexible Toolset for Monadic Second-Order Logic
Proc. TACAS'97, Int. Workshop on Tools and Algorithms for the Construction and Analysis of Systems
Enschede (NL), März 1997, LNCS 1217 Springer Verlag, pp. 183-202
[C20] M. von der Beeck, V. Braun, A. Claßen, A. Dannecker, C. Friedrich, D. Koschützki, T. Margaria, F. Schreiber, B. Steffen:
Graphs in METAFrame: The Unifying Power of Polymorphism
Proc. TACAS'97, Int. Workshop on Tools and Algorithms for the Construction and Analysis of Systems
Enschede (NL), März 1997, LNCS 1217 Springer Verlag, pp. 112-129
[C19] T. Margaria, M. Mendler:
Model-based Automatic Synthesis and Analysis in Second-Order Monadic Logic
Proc. AAS'97, ACM/SIGPLAN Int. Workshop on Automated Analysis of Software
(affiliated to POPL'97) Paris (F), Jan. 1997, pp. 99-112
[C18] B. Steffen, T. Margaria, M. von der Beeck:
Automatic Synthesis of Linear Process Models from Temporal Constraints: An Incremental Approach
Proc. AAS'97, ACM/SIGPLAN Int. Workshop on Automated Analysis of Software
(affiliated to POPL'97) Paris (F), Jan. 1997, pp. 127-141
[C17] B. Steffen, T. Margaria, A. Claßen, V. Braun, M. Reitenspieß, H. Wendler:
Service Creation: Formal Verification and Abstract Views
Proc. 4th Int. Conf. on Intelligent Networks (ICIN'96)
Bordeaux (F), Nov. 1996, pp. 96-101
[C16] B. Steffen, T. Margaria, A. Claßen, V. Braun, M. Reitenspieß:
An Environment for the Creation of Intelligent Network Services
Proc. AIN'96, Int. Workshop on Advanced Intelligent Networks, satellite to TACAS'96
Passau, März 1996, pp. 117-136
[C15] B. Steffen, T. Margaria, A. Claßen, V. Braun, M. Reitenspieß:
A Constraint-Oriented Service Creation Environment
Proc. PACT'96, 2nd Int. Conf. on Practical Application of Constraint Technology
London UK Ed. by The Practical Application Company, April 1996, pp. 283-298
[C14] T. Margaria:
Fully Automatic Verification and Error Detection for Parameterized Iterative Sequential Circuits
Proc. TACAS'96, Int. Workshop on Tools and Algorithms for the Construction and Analysis of Systems
Passau, März 1996, LNCS N. 1055 Springer Verlag, pp. 258-277
[C13] B. Freitag, B. Steffen, T. Margaria, U. Zukowski:
An Approach to Intelligent Software Library Management
Proc. 4th Int. Conf. on Database Systems for Advanced Applications (DASFAA '95)
National University of Singapore Singapore, April 1995
[C12] B. Steffen, B. Freitag, A. Claßen, T. Margaria, U. Zukowski:
Intelligent Software Synthesis in the "DaCapo" Environment
In Proc. 6th Nordic Workshop on Programming Theory
Aarhus (DK) BRICS Report N. 94/6 December 1994, October 1994
[C11] B. Freitag, T. Margaria, B. Steffen:
Deductive Database Support for Software Configuration
Proc. ICSE-Workshop on Research Issues in the Intersection between Software Engineering and Databases
Sorrento (I), May 1994
[C10] B. Freitag, T. Margaria, B. Steffen:
A Pragmatic Approach to Software Synthesis
ACM SIGPLAN Workshop on Interface Definition Languages
Portland Oregon, Januar 1994, ACM SIGPLAN Notices
[C9] C. Weise, T. Margaria:
Continuous Real Time Models in Practice
Proc. 5th Euromicro Workshop on Real Time Systems
Oulu (Finnland), June 1993, IEEE Computer Society Press
[C8] T. Margaria, B. Steffen:
Distinguishing Formulas for Free
EDAC--EUROASIC'93: IEEE European Design Automation Conference
Paris (France), February 1993, pp. 105-110
[C7] T. Margaria:
Efficient RT-Level Verification by Theorem Proving
IFIP World Conference'92
Madrid (Spain), September 1992, IFIP Transactions A-12 North-Holland, pp. 696-702
[C6] T. Margaria:
Hierarchical mixed-mode verifi-cation of complex FSMs described at the RT level
IFIP TC 10/WG 10.2 Proc. Intern. Conference on Theorem Provers in Circuit Design: Theory, Practice and Experience
Nijmegen (NL), June 1992, IFIP Transactions A-10 North-Holland, pp. 59-75
[C5] P. Camurati, T. Margaria, P. Prinetto:
Formal verification of design correctness of sequential circuits based on theorem provers
Proc. IEEE CompEuro'91 : Advanced Computer Technology, Reliable Systems and Applications
Bologna (Italy), May 1991
[C4] P. Camurati, T. Margaria, P. Prinetto:
Resolution-based correctness proof of synchronous circuits
EDAC'91: IEEE European Design Automation Conference
Amsterdam (NL), February 1991, IEEE Computer Press, pp. 1-15
[C3] P. Camurati, T. Margaria, P. Prinetto:
Use of the OTTER theorem prover for the formal verification of hardware
Proc. Workshop on Designing Correct Circuits
Oxford (UK) Springer Verlag, 1991
[C2] P. Camurati, T. Margaria, P. Prinetto:
The use of F^2 in functional descriptions of VLSI
Proc. IASTED Intern. Symposium on Applied Informatics
Grindelwald (CH), February 1989
[C1] P. Camurati, T. Margaria, P. Prinetto:
VLSI functional descriptions in F^2
Proc. IFIP TC-10 Conference on Design Methodologies for VLSI and Computer Architecture
Pisa (I), September 1988
 

Refereed Tool Presentations

[Ct11] S. Jörges, T. Margaria, B. Steffen:
FormulaBuilder: A Tool for Graph-based Modelling and Generation of Formulae
Proc. ICSE 2006, 28th ACM-IEEE Int. Conf. on software Engineering, Shanghai (CHN), May 2006, pp.815 - 818.
[Ct10] C. Topnik, E. Wilhelm, T. Margaria, B. Steffen:
jMosel: A Stand-Alone Tool and jABC Plugin for M2L(Str)
Proc. SPIN 2006, 13th International SPIN Workshop on Model Checking of Software, Vienna (A), April 2006, LNCS 3925, Springer Verlag, pp. 293 - 298.
[Ct9] A.L. Lamprecht, T. Margaria, B.Steffen:
Data-Flow Analysis as Model Checking within the jABC
Proc. CC'06, 15th Int. Conf. on Compiler Construction, Vienna (A), March 2006, LNCS, 3923, Springer Verlag, pp. 101-104.
[Ct8] T. Margaria, R. Nagel, B. Steffen:
jETI: A Tool for Remote Tool Integration
Proc. TACAS'05, Int. Conf. on Tools and Algorithms for the Construction and Analysis of Systems
Edinburgh (Scotland), April 2005, LNCS , Springer Verlag.
[Ct7] O.Niese, T. Margaria, B. Steffen:
Demonstration of an Automated Integrated Test Environment for Web-based Applications
in Model Checking of Software, Proc. SPIN 2002, 9th Int. SPIN Workshop on Applications of Model Checking, satellite Workshop to ETAPS 2002
Grenoble (F), April 2002, LNCS N. 2318, pp. 250-253, Springer Verlag.
[Ct6] A. Hagerer, H. Hungar, T. Margaria, O. Niese, B. Steffen, H.-D. Ide:
Demonstration of an Operational Procedure for the Model-Based Testing of CTI Systems
Proc. FASE 2002, Int. Conf. on Fundamental Approaches to Software Engineering
Grenoble (F) April 2002. In LNCS Vol.2306, pp.336-340, Springer-Verlag, April 2002.
[Ct5] V. Braun, J. Kreileder, T. Margaria, B. Steffen:
The ETI Online Service in Action
Proc. TACAS'99, Int. Conf. on Tools and Algorithms for the Construction and Analysis of Systems
Amsterdam (NL), März 1999, LNCS 1579, Springer, pp. 439-443.
[Ct4] B. Steffen, T. Margaria, A. Claßen, V. Braun:
The METAFrame'95 Environment
Experience Report for the Industry Day, Proc. CAV'96, Int. Conf. on Computer-Aided Verification
Juli-Aug. 1996, New Brunswick, NJ, USA, LNCS 1102, pp.450-453, Springer Verlag.
[Ct3] B. Steffen, T. Margaria, A. Claßen, V. Braun:
Incremental Formalization
tool presentation - Proc. AMAST'96, 5th Int. Conf. on Algebraic Methodology and Software Technology
München, Juli 1996, LNCS 1101, pp.608-611, Springer Verlag.
[Ct2] B. Steffen, T. Margaria, A. Claßen, V. Braun, R. Nisius, M. Reitenspieß:
A Constraint-Oriented Service Creation Environment
Tool description - Proc. TACAS'96, Int. Workshop on Tools and Algorithms for the Construction and Analysis of Systems
Passau, März 1996, LNCS 1055 Springer Verlag, pp. 418-421.
[Ct1] B. Steffen, T. Margaria, A. Claßen:
The METAFrame: An Environment for Flexible Tool Management
TAPSOFT'95, Aarhus (DK), May 1995, LNCS N. 915, Springer Verlag -- längere Version im 12. GI FG 2.1.4 Workshop on Alternative Konzepte für Sprachen und Rechner
Bad Honnef, Mai 1995.
 

Technical Reports

[I8] C. Kubczak, T. Margaria, B. Steffen, P. Grünewald:
Geballte Kompetenz - Integration und verteilte Nutzung von entfernten Diensten zur Prozessmodellierung
In Biotechnologie Special (BioTechnica 2007), Verfahrenstechnik N.10/2007, pp. 2-3.
[I7] M. Hörmann, T. Margaria, T. Mender, R. Nagel, M. Schuster, B.Steffen, H. Trinh:
The jABC Appraoch to Collaborative Development of Embedded Applications
CCE'06, Int. Workshop on Challenges in Collaborative Engineering - State of the Art and Future Challenges on collaborative Design, Prag (CZ), 19-20 April 2006 (Industry day).
[I6] T.Margaria:
Experience in technology transfer and lessons learned for an applied CS Curriculum
Int. Worksh. on Formal Methods in Industrial Applications and Engineering Curricula, in coop. with FME
Gent (B), 26-27 Nov. 2003.
[I5] T. Margaria, B. Steffen:
Personalisierung im Zeitalter des Ubiquitous Computing
Proc. Online 2003, Congress V (eCommerce & eSelling, mCommerce & mBusiness)
Symposium eCommerce der neuen Generation: Kundenorientierte Optimierung der Internet-Präsenz
Düsseldorf (D), 23-26.9.2003.
[I4] B. Steffen, T. Margaria:
360° Personalisierung: Erwartungen und Realität
Proc. Online 2002, Congress V (eCommerce, mCommerce, eFinance & Finanzportale)
Symposium eCommerce & Online Marketing der neuen Generation: Mehrwert-Strategien der Internet-Präsenz
Düsseldorf (D), Jan. 2002, ISBN 3-89077-235-8, pp. C510.01-07.
[I3] [I3] V. Braun, T. Margaria:
Neue Internet-Organisation zur Strukturierung und Organisation von Inhalten und Abläufen
Proc.Online'99, Congress "Web Computing, Java, CORBA & DCOM"
Symposium "Web-Commerce: Intelligente Java-Anwendungen für Electronic Commerce"
Düsseldorf, Feb. 1999, ISBN 3-89077-197-1.
[I2] [I2] T. Margaria, V. Braun, B. Steffen:
The ETI Online Service: Concepts and Design
4. Fachkongress Smalltalk und Java in Industrie und Ausbildung (STJA'98)
Oktober 1998, Erfurt.
[I1] T. Margaria, B. Steffen:
Coarse-grain Component Based Software Development: The METAFrame Approach
eingeladen zum 3. Fachkongress Smalltalk und Java in Industrie und Ausbildung (STJA'97)
September 1997, Erfurt.
 

Workshops

[W11] C. Kubczak, R. Nagel, T. Margaria, B. Steffen:
The jABC Approach to Mediation and Choreography
Semantic Web Services Challenge 2006, Phase I Workshop, DERI, Stanford University, Palo Alto, March 2006.
[W10] M. Hinchey, T. Margaria, J. Rash, C. Rouff, B. Steffen:
Enhanced Requirements-Based Programming for Embedded Systems Design
Proc. MBEES'06, Dagstuhl Workshop Modellbasierte Entwicklung eingebetteter Systeme II, Jan. 2006, Tech. Rep. TU-Braunschweig 2006-01, pp. 43-52.
[W9] T. Margaria, B. Steffen:
Aggressive Model-Driven Development: Synthesizing Systems from Models viewed as Constraints
Dagstuhl-Workshop on Modellbasierte Entwicklung eingebetteter Systeme (MBEES)
10-14 Januar 2005, Schloss Dagstuhl (D)
[W8] [W8] T. Margaria, H. Raffelt, B. Steffen:
Test-based Control of System Evolution
Workshop on Electronic System Testing, co-located with ITC 2004
28.10.2004, Charlotte (USA)
[W7] Modelling Coordination with Service Logic Graphs
Dagstuhl Seminar on Objects, Agents and Features
H.-D. Ehrich (Braunschweig), J.-J. Meyer (Utrecht), and M. Ryan (Birmingham)
17-21.3.2003, Seminar No. 03814.
[W6] On Modelling Feature Interactions in Telecommunications
Dagstuhl Seminar on Temporal Logics for Distributed Systems - Paradigms and Algorithms
E. Clarke (Pittsburgh), U. Goltz (Hildesheim), P. Niebert (VERIMAG Grenoble), W. Penczek (Warszawa)
10.-15.10.99, Seminar No. 99411, Report No. 254.
[W5] On Modelling Feature Interactions in Telecommunication Systems
Nordic Workshop on Programming Theory
Uppsala (S), October 6-8, 1999.
[W4] T. Margaria, A. Claßen, B. Steffen:
Computer Aided Tool Synthesis in the METAFrame
3. GI/ITG Workshop on Anwendung formaler Methoden beim Entwurf von Hardwaresystemen
Passau (Germany), March 1995, pp. 11-20, Shaker Verlag.
[W3] [W3] T. Margaria, M. Mendler:
Automatic Treatment of Sequential Circuits in Second-Order Monadic Logic
4th GI/ITG/GME Worksh. on Methoden des Entwurfs und der Verifikation digitaler Systeme
Kreischa (D), März 1996, Shaker Verlag, pp. 21-30.
[W2] Hardware Verifikation in Mona
3. GI/ITG Workshop on Anwendung formaler Methoden beim Entwurf von Hardwaresystemen
Passau (Germany), March 1995.
[W1] B. Steffen, T. Margaria, B. Freitag:
Module Configuration by Minimal Model Construction
Proc. Workshop on Semantikgestützte Analyse, Entwicklung und Generierung von Programmen
GI-Fachgruppe 2.1.3, Schloß Rauischholzhausen, März 1994, Tech. Rep. N.94-02
Justus-Liebig-Universität Giessen.
 
 
 

Thematical list

 
Service Engineering
[E28] [E27] [E24] [E20] [E19] [E17] [E16] [E15] [E12] [E7] [E5]
[T3] [T2]
[J29] [J28] [J27] [J26] [J25] [J22] [J21] [J20] [J14] [J12] [J10] [J8] [J3]
[C82] [C75] [C74] [C73] [C72] [C71] [C70] [C68] [C67] [C66] [C63] [C59] [C53] [C51] [C50] [C49] [C48] [C46] [C45] [C44] [C39] [C32] [C28] [C26] [C25] [C24] [C23] [C18] [C17] [C16] [C15]
[I3] [I2] [I1]
[W7]
 
Testing
[E22]
[J24] [J18] [J17] [J16] [J13]
[C78] [C58] [C43] [C42] [C41] [C38] [C36] [C35]
[W8]
 
Formal Methods
[E11] [E10] [E9] [E8] [E4]
[T4]
[J23] [J20] [J15] [J10] [J9] [J7] [J6] [J5] [J4]
[C81] [C79] [C78] [C77] [C76] [C71] [C68] [C60] [C57] [C54] [C49] [C47] [C46] [C40] [C34] [C31] [C30] [C28] [C22] [C20] [C14] [C13] [C12] [C11] [C10] [C8] [C4] [C2] [C1]
[W10] [W9] [W8] [W6] [W5] [W4] [W3] [W1]
 
Tools
[P4]
[E22] [E18] [E6] [E2] [E1]
[T5] [T1]
[J2] [J1]
[C81] [C80] [C76] [C75] [C74] [C72] [C71] [C70] [C69] [C66] [C65] [C63] [C62] [C61] [C53] [C51] [C40] [C37] [C29] [C21] [C19] [C9] [C7] [C6] [C5] [C3]
[Ct11] [Ct10] [Ct9] [Ct8] [Ct7] [Ct6] [Ct5] [Ct4] [Ct3] [Ct2] [Ct1]
[I8] [I7]
[W11] [W3] [W2]
 
E-Business
[E3]
[C80] [C79] [C73] [C72] [C44] [C39] [C33]
[I5] [I4] [I3]
 
Software Engineering
[P6] [P5] [P3] [P2] [P1]
[E26] [E25] [E23] [E21] [E14] [E13]
[J23] [J22] [J21] [J19] [J15] [J11]
[C64] [C57] [C56] [C55] [C52] [C48] [C47] [C45] [C35] [C27]
[I6] [I2]
 
Various
[M1]