| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Antonia Bertolino, Antonello Calabrò, Maik Merten, Bernhard Steffen |
Never-stop Learning: Continuous Validation of Learned Models for Evolving Systems through Monitoring.  |
ERCIM News  |
2012 |
DBLP BibTeX RDF |
|
| 1 | Maik Merten, Falk Howar, Bernhard Steffen, Sofia Cassel, Bengt Jonsson |
Demonstrating Learning of Register Automata. |
TACAS |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefan Naujokat, Anna-Lena Lamprecht, Bernhard Steffen |
Loose Programming with PROPHETS. |
FASE |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Falk Howar, Bernhard Steffen, Bengt Jonsson, Sofia Cassel |
Inferring Canonical Register Automata. |
VMCAI |
2012 |
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 | Sofia Cassel, Falk Howar, Bengt Jonsson, Maik Merten, Bernhard Steffen |
A Succinct Canonical Register Automaton Model. |
ATVA |
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 | Bernhard Steffen, Falk Howar, Maik Merten |
Introduction to Active Automata Learning from a Practical Perspective. |
SFM |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Maik Boltes, Jun Zhang, Armin Seyfried, Bernhard Steffen |
T-junction: Experiments, trajectory collection, and analysis. |
ICCV Workshops |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefan Naujokat, Anna-Lena Lamprecht, Bernhard Steffen |
Tailoring Process Synthesis to Domain Characteristics. |
ICECCS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Sven Jörges, Bernhard Steffen |
Leveraging Service-Orientation for Combining Code Generation Frameworks. |
ICECCS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Falk Howar, Bernhard Steffen, Maik Merten |
Automata Learning with Automated Alphabet Abstraction Refinement. |
VMCAI |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Bernhard Steffen, Oliver Rüthing |
Quality Engineering: Leveraging Heterogeneous Information - (Invited Talk). |
VMCAI |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Tiziana Margaria, Bernhard Steffen, Christian Topnik |
Second-Order Value Numbering. |
ECEASST |
2010 |
DBLP 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 | 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 | Falk Howar, Bernhard Steffen, Maik Merten |
From ZULU to RERS - Lessons Learned in the ZULU Challenge. |
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 II |
ISoLA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Falk Howar, Bengt Jonsson, Maik Merten, Bernhard Steffen, Sofia Cassel |
On Handling Data in Automata Learning - Considerations from the CONNECT Perspective. |
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 | Amel Bennaceur, Gordon S. Blair, Franck Chauvel, Gang Huang 0001, Nikolaos Georgantas, Paul Grace, Falk Howar, Paola Inverardi, Valérie Issarny, Massimo Paolucci, Animesh Pathak, Romina Spalazzese, Bernhard Steffen, Bertrand Souville |
Towards an Architecture for Runtime Interoperability. |
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 | 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 | Armin Seyfried, Oliver Passon, Bernhard Steffen, Maik Boltes, Tobias Rupprecht, Wolfram Klingsch |
New Insights into Pedestrian Flow Through Bottlenecks. |
Transportation Science |
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 | 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 | 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 | Bernhard Steffen |
Keynote: Continuous Model Driven Engineering. |
ICECCS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Valérie Issarny, Bernhard Steffen, Bengt Jonsson, Gordon S. Blair, Paul Grace, Marta Z. Kwiatkowska, Radu Calinescu, Paola Inverardi, Massimo Tivoli, Antonia Bertolino, Antonino Sabetta |
CONNECT Challenges: Towards Emergent Connectors for Eternal Networked Systems. |
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 | 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 | 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, 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 | Bernhard Steffen, Prakash Narayan |
Full Life-Cycle Support for End-to-End Processes. |
IEEE Computer |
2007 |
DBLP DOI BibTeX RDF |
Java Application Building Center (jABC), NetBeans IDE, XMDD, service orientation, model-driven design |
| 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 | 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 | Maxim Reshetnyak, Bernhard Steffen |
Pseudo-Spectral Modeling in Geodynamo. |
PARCO |
2007 |
DBLP 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 | Harald Raffelt, Bernhard Steffen |
LearnLib: A Library for Automata Learning and Experimentation. |
FASE |
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 | 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 | 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 | Godehard Sutmann, Bernhard Steffen |
A particle-particle particle-multigrid method for long-range interactions in molecular simulations. |
Computer Physics Communications |
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 | 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 |
|
| 1 | Tiziana Margaria, Bernhard Steffen |
Second-Order Semantic Web. |
SEW |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Tiziana Margaria, Bernhard Steffen |
Aggressive Model-Driven Development: Synthesizing Systems from Models viewed as Constraints. |
MBEES |
2005 |
DBLP BibTeX RDF |
|
| 1 | Tiziana Margaria, Bernhard Steffen, Manfred Reitenspieß |
Service-Oriented Design: The jABC Approach. |
Service Oriented Computing |
2005 |
DBLP BibTeX RDF |
|
| 1 | Tiziana Margaria, Bernhard Steffen, Manfred Reitenspieß |
Service-Oriented Design: The Roots. |
ICSOC |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Tiziana Margaria, Bernhard Steffen |
Run-Time Agents as a Means of Reconciling Flexibility and Scalability of Services. |
WRAC |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Therese Berg, Olga Grinchtein, Bengt Jonsson, Martin Leucker, Harald Raffelt, Bernhard Steffen |
On the Correspondence Between Conformance Testing and Regular Inference. |
FASE |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Tiziana Margaria, Bernhard Steffen |
From the How to the What. |
VSTTE |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Markus Müller-Olm, Helmut Seidl, Bernhard Steffen |
Interprocedural Herbrand Equalities. |
ESOP |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Hardi Hungar, Bernhard Steffen |
Behavior-based model construction. |
STTT |
2004 |
DBLP DOI BibTeX RDF |
Automata learning, Model checking, Testing, Abstraction |
| 1 | Tiziana Margaria, Bernhard Steffen |
Lightweight coarse-grained coordination: a scalable system-level approach. |
STTT |
2004 |
DBLP DOI BibTeX RDF |
Coarse-grained modelling, Testing, Formal methods, Coordination, System-level modelling |
| 1 | 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 |
ISoLA (Preliminary proceedings) |
2004 |
DBLP BibTeX RDF |
|
| 1 | Bernhard Steffen |
Major Threat: From Formal Methods without Tools to Tools without Formal Methods. (PDF / PS) |
ICECCS |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Bernhard Steffen, Giorgio Levi (eds.) |
Verification, Model Checking, and Abstract Interpretation, 5th International Conference, VMCAI 2004, Venice, January 11-13, 2004, Proceedings |
VMCAI |
2004 |
DBLP BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")