Tiziana Margaria - researchr alias

researchr

You are not signed in
Sign in
Sign up

2011

Assuring property conformance of code generators via model checkingSven Jörges, Tiziana Margaria, Bernhard Steffen. fac, 23(5):589-606, 2011. [doi]

EditorialDaniel Kroening, Tiziana Margaria, Jim Woodcock. fac, 23(5):585-588, 2011. [doi]

Next Generation LearnLibMaik Merten, Bernhard Steffen, Falk Howar, Tiziana Margaria. TACAS 2011: 220-223 [doi]

2010

Service-oriented Access to Next Generation Networks - from Service Creation to ExecutionNiklas Blum, Irina Boldea, Thomas Magedanz, Tiziana Margaria. monet, 15(3):356-365, 2010. [doi]

An Open Service Environment for Service Exposure and Orchestration of Heterogeneous NGN ServicesNiklas Blum, Tiziana Margaria. pik, 33(1):16-20, 2010. [doi]

Verified software: theories, tools and experimentsDaniel Kroening, Tiziana Margaria. STTT, 12(6):405-408, 2010. [doi]

Synthesis-Based Loose ProgrammingAnna-Lena Lamprecht, Stefan Naujokat, Tiziana Margaria, Bernhard Steffen. quatic 2010: 262-267 [doi]

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 ITiziana Margaria, Bernhard Steffen, editors, Volume 6415 of Lecture Notes in Computer Science, Springer, 2010. [doi]

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 IITiziana Margaria, Bernhard Steffen, editors, Volume 6416 of Lecture Notes in Computer Science, Springer, 2010. [doi]

Evolution support in heterogeneous service-oriented landscapesTiziana Margaria, Bernhard Steffen, Christian Kubczak. jbcs, 16(1):35-47, 2010. [doi]

Simplicity as a Driver for Agile InnovationTiziana Margaria, Bernhard Steffen. Computer, 43(6):90-92, 2010. [doi]

Second-Order Value NumberingTiziana Margaria, Bernhard Steffen, Christian Topnik. eceasst, 30, 2010. [doi]

2009

Tool-supported enhancement of diagnosis in model-driven verificationMarco Bakera, Tiziana Margaria, Clemens D. Renner, Bernhard Steffen. isse, 5(3):211-228, 2009. [doi]

Test your Strategy: Graphical Construction of Strategies for Connect-FourMarco Bakera, Sven JÃ¶rges, Tiziana Margaria. iceccs 2009: 172-181 [doi]

Enabling eXtreme Model Driven Design of Parlay X-based Communications Services for End-to-End Multiplatform Service OrchestrationsNiklas Blum, Thomas Magedanz, Jan Kleessen, Tiziana Margaria. iceccs 2009: 240-247 [doi]

Guest Editor s introductionMike Hinchey, Tiziana Margaria, Bernhard Steffen. STTT, 11(3):173-174, 2009. [doi]

Test your Strategy - Intuitive Strategy Definition and Evaluation for Novices and ExpertsSven JÃ¶rges, Marco Bakera, Tiziana Margaria, Christoph Lattemann. gi 2009: 3485-3493

Building Code Generators with Genesys: A Tutorial IntroductionSven Jörges, Bernhard Steffen, Tiziana Margaria. GTTSE 2011: 364-385 [doi]

A Hindsight on Formal Methods and Prospects of Semantic Computing in Software EngineeringBernd J. Krämer, Tiziana Margaria. ijsc, 3(1):5-30, 2009. [doi]

Bio-jETI: a framework for semantics-based service compositionAnna-Lena Lamprecht, Tiziana Margaria, Bernhard Steffen. bmcbi, 10(S-10):8, 2009. [doi]

From Bio-jETI Process Models to Native CodeAnna-Lena Lamprecht, Tiziana Margaria, Bernhard Steffen. iceccs 2009: 95-101 [doi]

PrefaceTiziana Margaria, Mieke Massink. STTT, 11(5):355-357, 2009. [doi]

Synthesizing Semantic Web Service Compositions with jMosel and GologTiziana Margaria, Daniel Meyer, Christian Kubczak, Malte Isberner, Bernhard Steffen. semweb 2009: 392-407 [doi]

Continuous Model-Driven EngineeringTiziana Margaria, Bernhard Steffen. Computer, 42(10):106-109, 2009. [doi]

Component-Oriented Behavior Extraction for Autonomic System Design using GamesTiziana Margaria, Christian Wagner, Marco Bakera. gi 2009: 3502-3506

Dynamic testing via automata learningHarald Raffelt, Maik Merten, Bernhard Steffen, Tiziana Margaria. STTT, 11(4):307-324, 2009. [doi]

LearnLib: a framework for extrapolating behavioral modelsHarald Raffelt, Bernhard Steffen, Therese Berg, Tiziana Margaria. STTT, 11(5):393-407, 2009. [doi]

Maintenance, or the 3rd dimension of eXtreme model-driven designBernhard Steffen, Sven JÃ¶rges, Christian Wagner, Tiziana Margaria. ICSM 2009: 483-486 [doi]

Analysis and Code Model Extraction for C/C++ Source CodeChristian Wagner, Tiziana Margaria, Hans-Georg Pagendarm. iceccs 2009: 110-119 [doi]

2008

High Service Availability in MaTRICS for the OCSMarkus Bajohr, Tiziana Margaria. isola 2008: 572-586 [doi]

The SHADOWS Story on Implementation of Self-Healing SystemsMarco Bakera, Tiziana Margaria. ercim, 2008(75), 2008. [doi]

Service-Oriented Computing - ICSOC 2008, 6th International Conference, Sydney, Australia, December 1-5, 2008. ProceedingsAthman Bouguettaya, Ingolf Krüger, Tiziana Margaria, editors, Volume 5364 of Lecture Notes in Computer Science, 2008.

Anything You Want to Ask about Software Reliability EngineeringMichael G. Hinchey, Karama Kanoun, Mikael Lindvall, Michael R. Lyu, Tiziana Margaria, Veena B. Mendiratta, Paul Pettersson, Norman F. Schneidewind, Eric Wong. issre 2008: 6 [doi]

Software engineering and formal methodsMike Hinchey, Michael Jackson, Patrick Cousot, Byron Cook, Jonathan P. Bowen, Tiziana Margaria. CACM, 51(9):54-59, 2008. [doi]

The jABC Approach to Rigorous Collaborative Development of SCM ApplicationsMartina Hörmann, Tiziana Margaria, Thomas Mender, Ralf Nagel, Bernhard Steffen, Hong Trinh. isola 2008: 724-737 [doi]

SCA and jABC: Bringing a Service-Oriented Paradigm to Web-Service ConstructionGeorg Jung, Tiziana Margaria, Ralf Nagel, Wolfgang Schubert, Bernhard Steffen, Horst Voigt. isola 2008: 139-154 [doi]

Genesys: service-oriented construction of property conform code generatorsSven JÃ¶rges, Tiziana Margaria, Bernhard Steffen. isse, 4(4):361-384, 2008. [doi]

Policy expression and checking in XACML, WS-Policies, and the jABCMartin Karusseit, Tiziana Margaria, Holger Willebrandt. ISSTA 2008: 20-26 [doi]

Abductive Synthesis of the Mediator Scenario with jABC and GEMChristian Kubczak, Tiziana Margaria, Matthias Kaiser, Jens Lemcke, Bjoern Knuth. eon 2008: [doi]

Plug and Play with FMICS-jETI: Beyond Scripting and CodingChristian Kubczak, Tiziana Margaria, Ralf Nagel, Bernhard Steffen. ercim, 2008(73), 2008. [doi]

GeneFisher-P: variations of GeneFisher as processes in Bio-jETIAnna-Lena Lamprecht, Tiziana Margaria, Bernhard Steffen, Alexander Sczyrba, Sven Hartmeier, Robert Giegerich. bmcbi, 9(S-4), 2008. [doi]

Seven Variations of an Alignment Workflow - An Illustration of Agile Process Design and Management in Bio-jETIAnna-Lena Lamprecht, Tiziana Margaria, Bernhard Steffen. isbra 2008: 445-456 [doi]

Leveraging Applications of Formal Methods, Verification and Validation, Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008. ProceedingsTiziana Margaria, Bernhard Steffen, editors, Volume 17 of Communications in Computer and Information Science, Springer, 2008.

PrefaceTiziana Margaria, Bernhard Steffen. TCS, 404(3):185, 2008. [doi]

Synthesizing the Mediator with jABC/ABCTiziana Margaria. eon 2008: [doi]

The Semantic Web Services Challenge: Tackling Complexity at the Orchestration LevelTiziana Margaria. iceccs 2008: 183-189 [doi]

Agile IT: Thinking in User-Centric ModelsTiziana Margaria, Bernhard Steffen. isola 2008: 490-502 [doi]

Bio-jETI: a service integration, design, and provisioning platform for orchestrated bioinformatics processesTiziana Margaria, Christian Kubczak, Bernhard Steffen. bmcbi, 9(S-4), 2008. [doi]

Hybrid test of web applications with webtestHarald Raffelt, Tiziana Margaria, Bernhard Steffen, Maik Merten. ISSTA 2008: 1-7 [doi]

2007

Software Process Improvement, 14th European Conference, EuroSPI 2007, Potsdam, Germany, September 26-28, 2007, ProceedingsPekka Abrahamsson, Nathan Baddoo, Tiziana Margaria, Richard Messnarz, editors, Volume 4764 of Lecture Notes in Computer Science, Springer, 2007.

Software Process Improvement - EuroSPI 2007 ConferencePekka Abrahamsson, Nathan Baddoo, Tiziana Margaria, Richard Messnarz. eurospi 2007: 1-6 [doi]

Verification, Diagnosis and Adaptation: Tool supported enhancement of the model-driven verification processMarco Bakera, Tiziana Margaria, Clemens D. Renner, Bernhard Steffen. isola 2007: 85-97

ForewordMaura Cerioli, Tiziana Margaria, Michel Wermelinger. TCS, 376(3):137-138, 2007. [doi]

Service-Oriented Mediation with jETI/jABC: Verification and ExportChristian Kubczak, Tiziana Margaria, Bernhard Steffen, Stefan Naujokat. iat 2007: 144-147 [doi]

An Approach to Discovery with miAamics and jABCChristian Kubczak, Tiziana Margaria, Christian Winkler, Bernhard Steffen. iat 2007: 157-160 [doi]

Middleware: just another level for orchestrationTiziana Margaria, Bernhard Steffen. middleware 2007: 4 [doi]

The SWS Mediator with WEBML/WEBRATIO and JABC/JETI: A ComparisonTiziana Margaria, Christian Winkler, Christian Kubczak, Bernhard Steffen, Marco Brambilla, Stefano Ceri, Dario Cerizza, Emanuele Della Valle, Federico Michele Facca, Christina Tziviskou. ICEIS 2007: 422-429

The LearnLib in FMICS-jETITiziana Margaria, Harald Raffelt, Bernhard Steffen, Martin Leucker. iceccs 2007: 340-352 [doi]

Service Is in the Eyes of the BeholderTiziana Margaria. Computer, 40(11):33-37, 2007. [doi]

LTL Guided Planning: Revisiting Automatic Tool Composition in ETITiziana Margaria, Bernhard Steffen. sew 2007: 214-226 [doi]

SWS Challenge - Status, Perspectives, Lessons Learned So FarCharles J. Petrie, Tiziana Margaria, Ulrich Küster, Holger Lausen, Michal Zaremba. ICEIS 2007: 447-452

Dynamic Testing Via Automata LearningHarald Raffelt, Bernhard Steffen, Tiziana Margaria. hvc 2008: 136-152 [doi]

Introduction to the special section on fundamental approaches to software engineeringMichel Wermelinger, Tiziana Margaria, Maura Cerioli. STTT, 9(5-6):415-416, 2007. [doi]

2006

MaTRICS: A service-based management tool for remote intelligent configuration of systemsMarkus Bajohr, Tiziana Margaria. isse, 2(2):99-111, 2006. [doi]

Service Based Enabling Service Availability in the MaTRICS: A Model-Driven ApproachMarkus Bajohr, Tiziana Margaria, Bernhard Steffen. isola 2006: 317-324 [doi]

Enhanced Requirements-Based Programming for Embedded Systems DesignMichael G. Hinchey, Tiziana Margaria, James L. Rash, Christopher A. Rouff, Bernhard Steffen. mbees 2006: 43-52 [doi]

FormulaBuilder: a tool for graph-based modelling and generation of formulaeSven Jörges, Tiziana Margaria, Bernhard Steffen. ICSE 2006: 815-818 [doi]

Feature-based Modelling of a Complex, Online-Reconfigurable Decision Support ServiceMartin Karusseit, Tiziana Margaria. ENTCS, 157(2):101-118, 2006. [doi]

Biological LC/MS Preprocessing and Analysis with jABC, jETI and xcmsChristian Kubczak, Tiziana Margaria, Arno Fritsch, Bernhard Steffen. isola 2006: 303-308 [doi]

Datenflussanalyse als Modelchecking im jABCAnna-Lena Lamprecht, Tiziana Margaria, Bernhard Steffen. se 2006: 125-130

Data-Flow Analysis as Model Checking Within the jABCAnna-Lena Lamprecht, Tiziana Margaria, Bernhard Steffen. CC (empty year): 101-104 [doi]

Leveraging Applications of Formal Methods, First International Symposium, ISoLA 2004, Paphos, Cyprus, October 30 - November 2, 2004, Revised Selected PapersTiziana Margaria, Bernhard Steffen, editors, Volume 4313 of Lecture Notes in Computer Science, Springer, 2006.

Special Section on Leveraging Formal Methods Tiziana Margaria, Bernhard Steffen. STTT, 8(6):467-469, 2006. [doi]

The FMICS-jETI Platform: Status and PerspectivesTiziana Margaria, Christian Kubczak, Bernhard Steffen, Stefan Naujokat. isola 2006: 402-407 [doi]

Service Engineering: Linking Business and ITTiziana Margaria, Bernhard Steffen. sew 2006: 33-36 [doi]

Service Engineering: Linking Business and ITTiziana Margaria, Bernhard Steffen. Computer, 39(10):45-55, 2006. [doi]

Completing and Adapting Models of Biological ProcessesTiziana Margaria, Michael G. Hinchey, Harald Raffelt, James L. Rash, Christopher A. Rouff, Bernhard Steffen. ifip10 2006: 43-54 [doi]

ViDoC - Visual Design of Optimizing CompilersTiziana Margaria, Oliver Rüthing, Bernhard Steffen. birthday 2007: 145-159 [doi]

Model-based Design of Distributed Collaborative Bioinformatics Processes in the jABCTiziana Margaria, Christian Kubczak, Marc Njoku, Bernhard Steffen. iceccs 2006: 169-176 [doi]

EditorialJulia Padberg, Tiziana Margaria, Gabriele Taentzer. eceasst, 4, 2006. [doi]

Continuous Engineering of Embedded systemsBernhard Steffen, Tiziana Margaria. ifip10-3 2006: 45-54 [doi]

Model-Driven Development with the jABCBernhard Steffen, Tiziana Margaria, Ralf Nagel, Sven Jörges, Christian Kubczak. hvc 2007: 92-108 [doi]

jMosel: A Stand-Alone Tool and jABC Plugin for M2L(Str)Christian Topnik, Eva Wilhelm, Tiziana Margaria, Bernhard Steffen. spin 2006: 293-298 [doi]

Comparative Analysis of Tools for Automated Software Re-engineering PurposesChristian Wagner, Tiziana Margaria, Hans-Georg Pagendarm. isola 2006: 433-440 [doi]

2005

Feature-based Modelling of a Complex, Online-Reconfigurable Decision Support ServiceMartin Karusseit, Tiziana Margaria. wwv 2005: 9-25

Dynamic and Formal Verification of Embedded Systems: A Comparative SurveyMirko Loghi, Tiziana Margaria, Graziano Pravadelli, Bernhard Steffen. ijpp, 33(6):585-611, 2005. [doi]

Remote Integration and Coordination of Verification Tools in JETITiziana Margaria, Ralf Nagel, Bernhard Steffen. ECBS 2005: 431-436 [doi]

From the How to the WhatTiziana Margaria, Bernhard Steffen. vstte 2008: 448-459 [doi]

Introductory paperTiziana Margaria. STTT, 7(4):293-296, 2005. [doi]

Run-Time Agents as a Means of Reconciling Flexibility and Scalability of ServicesTiziana Margaria, Bernhard Steffen. wrac 2006: 257-268 [doi]

jETI: A Tool for Remote Tool IntegrationTiziana Margaria, Ralf Nagel, Bernhard Steffen. TACAS 2005: 557-562 [doi]

Taming Interface SpecificationsTiziana Margaria, A. Prasad Sistla, Bernhard Steffen, Lenore D. Zuck. concur 2005: 548-561 [doi]

Second-Order Semantic WebTiziana Margaria, Bernhard Steffen. sew 2006: 219-227 [doi]

Aggressive Model-Driven Development: Synthesizing Systems from Models viewed as ConstraintsTiziana Margaria, Bernhard Steffen. mbees 2005: 51-62 [doi]

Service-Oriented Design: The jABC ApproachTiziana Margaria, Bernhard Steffen, Manfred Reitenspieß. dagstuhl 2006: [doi]

Service-Oriented Design: The RootsTiziana Margaria, Bernhard Steffen, Manfred Reitenspieß. icsoc 2005: 450-464 [doi]

Knowledge-based relevance filtering for efficient system-level test-based model generationTiziana Margaria, Harald Raffelt, Bernhard Steffen. isse, 1(2):147-156, 2005. [doi]

Web services-based tool-integration in the ETI platformTiziana Margaria. SoSyM, 4(2):141-156, 2005. [doi]

2004

International Symposium on Leveraging Applications of Formal Methods, ISoLA 2004, October 30 - November 2, 2004, Paphos, Cyprus. Preliminary proceedingsTiziana Margaria, Bernhard Steffen, Anna Philippou, Manfred Reitenspieß, editors, Volume TR-2004-6 of Technical Report, Department of Computer Science, University of Cyprus, 2004.

Lightweight coarse-grained coordination: a scalable system-level approachTiziana Margaria, Bernhard Steffen. STTT, 5(2-3):107-123, 2004. [doi]

PreviousNext