| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Daniel Kroening, Tiziana Margaria, Jim Woodcock |
Editorial.  |
Formal Asp. Comput.  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Sven Jörges, Tiziana Margaria, Bernhard Steffen |
Assuring property conformance of code generators via model checking. |
Formal Asp. Comput. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Maik Merten, Bernhard Steffen, Falk Howar, Tiziana Margaria |
Next Generation LearnLib. |
TACAS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Tiziana Margaria |
Formal Methods in the Era of Service-Oriented Design. |
COMPSAC |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Tiziana Margaria, Barry D. Floyd, Bernhard Steffen |
IT Simply Works: Simplicity and Embedded Systems Design. |
COMPSAC Workshops |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Tiziana Margaria, Bernhard Steffen, Christian Topnik |
Second-Order Value Numbering. |
ECEASST |
2010 |
DBLP BibTeX RDF |
|
| 1 | Niklas Blum, Tiziana Margaria |
An Open Service Environment for Service Exposure and Orchestration of Heterogeneous NGN Services. |
Praxis der Informationsverarbeitung und Kommunikation |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Niklas Blum, Irina Boldea, Thomas Magedanz, Tiziana Margaria |
Service-oriented Access to Next Generation Networks - from Service Creation to Execution. |
MONET |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Tiziana Margaria, Bernhard Steffen, Christian Kubczak |
Evolution support in heterogeneous service-oriented landscapes. |
J. Braz. Comp. Soc. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Tiziana Margaria, Bernhard Steffen |
Simplicity as a Driver for Agile Innovation. |
IEEE Computer |
2010 |
DBLP DOI BibTeX RDF |
Domain-specific approaches, software orientations, agile methods |
| 1 | Anna-Lena Lamprecht, Stefan Naujokat, Bernhard Steffen, Tiziana Margaria |
Constraint-Guided Workflow Composition Based on the EDAM Ontology |
CoRR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Daniel Kroening, Tiziana Margaria |
Verified software: theories, tools and experiments. |
STTT |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Anna-Lena Lamprecht, Tiziana Margaria, Bernhard Steffen |
Bioinformatics: Processes and Workflows. |
Encyclopedia of Software Engineering |
2010 |
DBLP BibTeX RDF |
|
| 1 | Bernhard Steffen, Tiziana Margaria, Christian Wagner |
Round-Trip Engineering. |
Encyclopedia of Software Engineering |
2010 |
DBLP BibTeX RDF |
|
| 1 | Anna-Lena Lamprecht, Stefan Naujokat, Tiziana Margaria, Bernhard Steffen |
Synthesis-Based Loose Programming. |
QUATIC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Anna-Lena Lamprecht, Stefan Naujokat, Bernhard Steffen, Tiziana Margaria |
Constraint-Guided Workflow Composition Based on the EDAM Ontology. |
SWAT4LS |
2010 |
DBLP BibTeX RDF |
|
| 1 | 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 |
ISoLA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
ISoLA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Anna-Lena Lamprecht, Tiziana Margaria, Bernhard Steffen |
Bio-jETI: a framework for semantics-based service composition. |
BMC Bioinformatics |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Bernd J. Krämer, Tiziana Margaria |
A Hindsight on Formal Methods and Prospects of Semantic Computing in Software Engineering. |
Int. J. Semantic Computing |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Bakera, Tiziana Margaria, Clemens D. Renner, Bernhard Steffen |
Tool-supported enhancement of diagnosis in model-driven verification. |
ISSE |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Tiziana Margaria, Bernhard Steffen |
Continuous Model-Driven Engineering. |
IEEE Computer |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Harald Raffelt, Bernhard Steffen, Therese Berg, Tiziana Margaria |
LearnLib: a framework for extrapolating behavioral models. |
STTT |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Harald Raffelt, Maik Merten, Bernhard Steffen, Tiziana Margaria |
Dynamic testing via automata learning. |
STTT |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Mike Hinchey, Tiziana Margaria, Bernhard Steffen |
Guest Editor's introduction. |
STTT |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Tiziana Margaria, Mieke Massink |
Preface. |
STTT |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Sven Jörges, Bernhard Steffen, Tiziana Margaria |
Building Code Generators with Genesys: A Tutorial Introduction. |
GTTSE |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Bernhard Steffen, Sven Jörges, Christian Wagner, Tiziana Margaria |
Maintenance, or the 3rd dimension of eXtreme model-driven design. |
ICSM |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Tiziana Margaria, Christian Wagner, Marco Bakera |
Component-Oriented Behavior Extraction for Autonomic System Design using Games. |
GI Jahrestagung |
2009 |
DBLP BibTeX RDF |
|
| 1 | Sven Jörges, Marco Bakera, Tiziana Margaria, Christoph Lattemann |
Test your Strategy - Intuitive Strategy Definition and Evaluation for Novices and Experts. |
GI Jahrestagung |
2009 |
DBLP BibTeX RDF |
|
| 1 | Anna-Lena Lamprecht, Stefan Naujokat, Tiziana Margaria, Bernhard Steffen |
Semantics-Based Composition of EMBOSS Services with Bio-jETI. |
SWAT4LS |
2009 |
DBLP BibTeX RDF |
|
| 1 | Tiziana Margaria, Daniel Meyer, Christian Kubczak, Malte Isberner, Bernhard Steffen |
Synthesizing Semantic Web Service Compositions with jMosel and Golog. |
International Semantic Web Conference |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Anna-Lena Lamprecht, Tiziana Margaria, Bernhard Steffen |
From Bio-jETI Process Models to Native Code. |
ICECCS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Bakera, Sven Jörges, Tiziana Margaria |
Test your Strategy: Graphical Construction of Strategies for Connect-Four. |
ICECCS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Christian Wagner, Tiziana Margaria, Hans-Georg Pagendarm |
Analysis and Code Model Extraction for C/C++ Source Code. |
ICECCS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Tiziana Margaria, Christian Kubczak, Bernhard Steffen |
Bio-jETI: a service integration, design, and provisioning platform for orchestrated bioinformatics processes. |
BMC Bioinformatics |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Tiziana Margaria, Bernhard Steffen |
Preface. |
Theor. Comput. Sci. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Sven Jörges, Tiziana Margaria, Bernhard Steffen |
Genesys: service-oriented construction of property conform code generators. |
ISSE |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Mike Hinchey, Michael Jackson, Patrick Cousot, Byron Cook, Jonathan P. Bowen, Tiziana Margaria |
Software engineering and formal methods. |
Commun. ACM |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Bakera, Tiziana Margaria |
The SHADOWS Story on Implementation of Self-Healing Systems. |
ERCIM News |
2008 |
DBLP BibTeX RDF |
|
| 1 | Christian Kubczak, Tiziana Margaria, Ralf Nagel, Bernhard Steffen |
Plug and Play with FMICS-jETI: Beyond Scripting and Coding. |
ERCIM News |
2008 |
DBLP BibTeX RDF |
|
| 1 | Martin Karusseit, Tiziana Margaria, Holger Willebrandt |
Policy expression and checking in XACML, WS-Policies, and the jABC. |
TAV-WEB |
2008 |
DBLP DOI BibTeX RDF |
model checking, access control, validation, policies |
| 1 | Harald Raffelt, Tiziana Margaria, Bernhard Steffen, Maik Merten |
Hybrid test of web applications with webtest. |
TAV-WEB |
2008 |
DBLP DOI BibTeX RDF |
automata learning, testing, web applications |
| 1 | Tiziana Margaria |
Synthesizing the Mediator with jABC/ABC. |
EON |
2008 |
DBLP BibTeX RDF |
|
| 1 | Christian Kubczak, Tiziana Margaria, Matthias Kaiser, Jens Lemcke, Bjoern Knuth |
Abductive Synthesis of the Mediator Scenario with jABC and GEM. |
EON |
2008 |
DBLP BibTeX RDF |
|
| 1 | Athman Bouguettaya, Ingolf Krüger, Tiziana Margaria (eds.) |
Service-Oriented Computing - ICSOC 2008, 6th International Conference, Sydney, Australia, December 1-5, 2008. Proceedings |
ICSOC |
2008 |
DBLP BibTeX RDF |
|
| 1 | Markus Bajohr, Tiziana Margaria |
High Service Availability in MaTRICS for the OCS. |
ISoLA |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
ISoLA |
2008 |
DBLP BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Tiziana Margaria, Bernhard Steffen |
Agile IT: Thinking in User-Centric Models. |
ISoLA |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
bioinformatics workflows, Web services, model-driven development, service orchestration |
| 1 | Tiziana Margaria |
The Semantic Web Services Challenge: Tackling Complexity at the Orchestration Level. |
ICECCS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Maura Cerioli, Tiziana Margaria, Michel Wermelinger |
Foreword. |
Theor. Comput. Sci. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Tiziana Margaria |
Service Is in the Eyes of the Beholder. |
IEEE Computer |
2007 |
DBLP DOI BibTeX RDF |
business service stack, Web services, service orientation, Intelligent Network, enterprise services |
| 1 | Michel Wermelinger, Tiziana Margaria, Maura Cerioli |
Introduction to the special section on fundamental approaches to software engineering. |
STTT |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Charles J. Petrie, Tiziana Margaria, Ulrich Küster, Holger Lausen, Michal Zaremba |
SWS Challenge - Status, Perspectives, Lessons Learned So Far. |
ICEIS |
2007 |
DBLP BibTeX RDF |
|
| 1 | 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 |
2007 |
DBLP BibTeX RDF |
|
| 1 | Tiziana Margaria, Bernhard Steffen |
LTL Guided Planning: Revisiting Automatic Tool Composition in ETI. |
SEW |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Pekka Abrahamsson, Nathan Baddoo, Tiziana Margaria, Richard Messnarz (eds.) |
Software Process Improvement, 14th European Conference, EuroSPI 2007, Potsdam, Germany, September 26-28, 2007, Proceedings |
EuroSPI |
2007 |
DBLP BibTeX RDF |
|
| 1 | Pekka Abrahamsson, Nathan Baddoo, Tiziana Margaria, Richard Messnarz |
Software Process Improvement - EuroSPI 2007 Conference. |
EuroSPI |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Christian Kubczak, Tiziana Margaria, Bernhard Steffen, Stefan Naujokat |
Service-Oriented Mediation with jETI/jABC: Verification and Export. |
Web Intelligence/IAT Workshops |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Christian Kubczak, Tiziana Margaria, Christian Winkler, Bernhard Steffen |
An Approach to Discovery with miAamics and jABC. |
Web Intelligence/IAT Workshops |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Bakera, Tiziana Margaria, Clemens D. Renner, Bernhard Steffen |
Verification, Diagnosis and Adaptation: Tool supported enhancement of the model-driven verification process. |
ISoLA |
2007 |
DBLP BibTeX RDF |
|
| 1 | Tiziana Margaria, Bernhard Steffen |
Middleware: just another level for orchestration. |
MNCNA |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Harald Raffelt, Bernhard Steffen, Tiziana Margaria |
Dynamic Testing Via Automata Learning. |
Haifa Verification Conference |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Tiziana Margaria, Harald Raffelt, Bernhard Steffen, Martin Leucker |
The LearnLib in FMICS-jETI. |
ICECCS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Julia Padberg, Tiziana Margaria, Gabriele Taentzer |
Editorial. |
ECEASST |
2006 |
DBLP BibTeX RDF |
|
| 1 | Markus Bajohr, Tiziana Margaria |
MaTRICS: A service-based management tool for remote intelligent configuration of systems. |
ISSE |
2006 |
DBLP DOI BibTeX RDF |
Environments for pervasive computing, Distributed systems, Service-Oriented Architectures, Communication protocols, Model Driven Design, Configuration systems |
| 1 | Martin Karusseit, Tiziana Margaria |
Feature-based Modelling of a Complex, Online-Reconfigurable Decision Support Service. |
Electr. Notes Theor. Comput. Sci. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Tiziana Margaria, Bernhard Steffen |
Service Engineering: Linking Business and IT. |
IEEE Computer |
2006 |
DBLP DOI BibTeX RDF |
web services, software engineering, service engineering |
| 1 | Tiziana Margaria, Bernhard Steffen |
Special Section on "Leveraging Formal Methods". |
STTT |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Tiziana Margaria, Bernhard Steffen |
Service Engineering: Linking Business and IT. |
SEW |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael G. Hinchey, Tiziana Margaria, James L. Rash, Christopher A. Rouff, Bernhard Steffen |
Enhanced Requirements-Based Programming for Embedded Systems Design. |
MBEES |
2006 |
DBLP BibTeX RDF |
|
| 1 | Christian Topnik, Eva Wilhelm, Tiziana Margaria, Bernhard Steffen |
jMosel: A Stand-Alone Tool and jABC Plugin for M2L(Str). |
SPIN |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Anna-Lena Lamprecht, Tiziana Margaria, Bernhard Steffen |
Datenflussanalyse als Modelchecking im jABC. |
Software Engineering |
2006 |
DBLP BibTeX RDF |
|
| 1 | Tiziana Margaria, Michael G. Hinchey, Harald Raffelt, James L. Rash, Christopher A. Rouff, Bernhard Steffen |
Completing and Adapting Models of Biological Processes. |
BICC |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Anna-Lena Lamprecht, Tiziana Margaria, Bernhard Steffen |
Data-Flow Analysis as Model Checking Within the jABC. |
CC |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Bernhard Steffen, Tiziana Margaria |
Continuous Engineering of Embedded systems. |
DIPES |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Tiziana Margaria, Oliver Rüthing, Bernhard Steffen |
ViDoC - Visual Design of Optimizing Compilers. |
Program Analysis and Compilation |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Christian Kubczak, Tiziana Margaria, Arno Fritsch, Bernhard Steffen |
Biological LC/MS Preprocessing and Analysis with jABC, jETI and xcms. |
ISoLA |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Christian Wagner, Tiziana Margaria, Hans-Georg Pagendarm |
Comparative Analysis of Tools for Automated Software Re-engineering Purposes. |
ISoLA |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Tiziana Margaria, Christian Kubczak, Bernhard Steffen, Stefan Naujokat |
The FMICS-jETI Platform: Status and Perspectives. |
ISoLA |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
ISoLA |
2006 |
DBLP BibTeX RDF |
|
| 1 | Markus Bajohr, Tiziana Margaria, Bernhard Steffen |
Service Based Enabling Service Availability in the MaTRICS: A Model-Driven Approach. |
ISoLA |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Bernhard Steffen, Tiziana Margaria, Ralf Nagel, Sven Jörges, Christian Kubczak |
Model-Driven Development with the jABC. |
Haifa Verification Conference |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Tiziana Margaria, Christian Kubczak, Marc Njoku, Bernhard Steffen |
Model-based Design of Distributed Collaborative Bioinformatics Processes in the jABC. |
ICECCS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Sven Jörges, Tiziana Margaria, Bernhard Steffen |
FormulaBuilder: a tool for graph-based modelling and generation of formulae. |
ICSE |
2006 |
DBLP DOI BibTeX RDF |
formula generation, property specification, specification patterns |
| 1 | Tiziana Margaria |
Web services-based tool-integration in the ETI platform. |
Software and System Modeling |
2005 |
DBLP DOI BibTeX RDF |
ETI, Tool-experimentation platform, Web services, Tool-integration, Distributed coordination |
| 1 | Mirko Loghi, Tiziana Margaria, Graziano Pravadelli, Bernhard Steffen |
Dynamic and Formal Verification of Embedded Systems: A Comparative Survey. |
International Journal of Parallel Programming |
2005 |
DBLP DOI BibTeX RDF |
Embedded systems, validation, functional test |
| 1 | Tiziana Margaria, Harald Raffelt, Bernhard Steffen |
Knowledge-based relevance filtering for efficient system-level test-based model generation. |
ISSE |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Tiziana Margaria |
Introductory paper. |
STTT |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Tiziana Margaria, A. Prasad Sistla, Bernhard Steffen, Lenore D. Zuck |
Taming Interface Specifications. |
CONCUR |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Tiziana Margaria, Harald Raffelt, Bernhard Steffen |
Analyzing second-order effects between optimizations for system-level test-based model generation. |
ITC |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Karusseit, Tiziana Margaria |
Feature-based Modelling of a Complex, Online-Reconfigurable Decision Support Service. |
WWV |
2005 |
DBLP BibTeX RDF |
|
| 1 | Tiziana Margaria, Ralf Nagel, Bernhard Steffen |
jETI: A Tool for Remote Tool Integration. |
TACAS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Tiziana Margaria, Ralf Nagel, Bernhard Steffen |
Remote Integration and Coordination of Verification Tools in JETI. |
ECBS |
2005 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")