The Use of Executable FIT Tables to support Maintenance and Evolution Tasks (2009)
Marco Torchiano, Massimiliano Di Penta, Mariano Ceccato, Paolo Tonella, Tiziana Margaria, Julia Padberg, ...
Proceedings of the Third International ERCIM Symposium on
Bio-jETI: a framework for semantics-based service composition (2009)
Lamprecht, Anna-Lena, Margaria, Tiziana, Steffen, Bernhard
Abstract Background The development of bioinformatics databases, algorithms, and tools throughout the last years has lead to a highly distributed world of bioinformatics services. Without adequate...
Dynamic Software Architectures Verification using DynAlloy (2009)
Antonio Bucchiarone, Juan P. Galeotti, Claudia Ermel, Reiko Heckel, Juan De Lara, Tiziana Margaria, ...
Abstract: Graph Grammars have been often used for modeling dynamic changes in software architectures. In particular, we have previously characterized some classes of dynamicity in terms of particular...
Semantic Web Services Challenge 2008 Synthesizing the Mediator with jABC/ABC (2009)
Tiziana Margaria, Marco Bakera, Harald Raffelt, Bernhard Steffen
Abstract. In this paper we show how to apply a tableau-based software composition technique to automatically generate the mediator’s service logic. This uses an LTL planning (or configuration)...
Semantic Web Services Challenge 2008 Abductive Synthesis of the Mediator Scenario with (2009)
Christian Kubczak, Tiziana Margaria, Matthias Kaiser, Jens Lemcke, Björn Knuth
Abstract. We reuse here the framework, the setting, and the semantic modelling for the automated synthesis of the SWS Challenge Mediator presented in the companion paper [5], and show how to exchange...
Event Structure Semantics for Dynamic Graph Grammars (2009)
Roberto Bruni, Hernán Melgratti, Ugo Montanari, Paolo Baldan, Hartmut Ehrig, Julia Padberg, ...
Abstract: Dynamic graph grammars (DGGs) are a reflexive extension of Graph Grammars that have been introduced to represent mobile reflexive systems and calculi at a convenient level of abstraction....
Component-Oriented Behavior Extraction for Autonomic System Design (2009)
Margaria, Tiziana, Bakera, Marco, Wagner, Christian
Rich and multifaceted domain specific specification languages like the Autonomic System Specification Language (ASSL) help to design reliable systems with self-healing capabilities. The GEAR...
MetaFrame in Practice: Design of Intelligent Network Services (2008)
Bernhard Steffen, Tiziana Margaria
Abstract. In this paper we present MetaFrame, an environment for formal methods-based, application-specific software design. Characteristic for MetaFrame are the following features: library-based...
Tiziana Margaria, Christian Kubczak, Bernhard Steffen
development of new technologies in proteomics, glycoanalysis, proteinbiochips, biostatistics and bioinformatics in terms of Life-Science (see the Website at www.zap-do.de). This project is...
GeneFisher-P: variations of GeneFisher as processes in Bio-jETI (2008)
Lamprecht, Anna-Lena, Margaria, Tiziana, Steffen, Bernhard, Sczyrba, Alexander, Hartmeier, Sven, Giegerich, Robert
Abstract Background PCR primer design is an everyday, but not trivial task requiring state-of-the-art software. We describe the popular tool GeneFisher and explain its recent restructuring using...
Margaria, Tiziana, Kubczak, Christian, Steffen, Bernhard
Abstract Background With Bio-jETI, we introduce a service platform for interdisciplinary work on biological application domains and illustrate its use in a concrete application concerning statistical...
Reversing graph transformations 2 (2008)
Paweł Sobociński, Paolo Baldan, Hartmut Ehrig, Julia Padberg, Grzegorz Rozenberg, Tiziana Margaria, ...
a general framework for backtracking in concurrent formalisms, thus allowing modelling of situations where deadlock can arise without the necessity of explicitly encoding the often involved...
Solving the SWS-Challenge mediation problem with the jABC/jETI (2008)
Christian Winkler, Tiziana Margaria, Christian Kubczak, Bernhard Steffen, Stefan Naujokat
framework
ELECTRONIC COMMUNICATIONS OF THE EASST Termination of Algebraic Rewriting with Inhibitors (2008)
Paolo Bottoni, Kathrin Hoffmann, Tiziana Margaria, Julia Padberg, Gabriele Taentzer, Paolo Bottoni, ...
Abstract. We proceed with the study of termination properties in the double pushout approach to algebraic rewriting, and show a concrete termination criterion for rewriting systems with inhibitors....
The FMICS View on the Verified Software Repository (2008)
Alvaro Arenas, Juan Bicarregui, Tiziana Margaria
ABSTRACT: An important step in meeting the Verifying Compiler Grand Challenge is the Verified Software Repository. In the FMICS view, the repository should include proven correct software and tools...
In this tutorial we intend to present M2L(Str) as an adequate logic for modelling different classes of parametric systems, discuss how a verification environment for this kind of systems can be...
Ensuring Containment Constraints in Graph-based Model Transformation Approaches Abstract: (2008)
Christian Köhler, Holger Lewin, Gabriele Taentzer, Karsten Ehrig, Holger Giese, Tiziana Margaria, ...
Within model driven software development, model transformation has become a key activity. A number of transformation approaches for metamodel-defined modeling languages have been developed in the...
Service-Oriented Design: The jABC Approach (2008)
Tiziana Margaria, Bernhard Steffen, Manfred Reitenspieß
Service-Oriented Design has driven the development of telecommunication infrastructure and applications, in particular the so-called Intelligent Network (IN) Services, since the early 90s: IN...
Comparing Heuristics for Model Based Testsuite Generation (2008)
Modellbasierte Entwicklung, Informatik Bericht, Tu Braunschweig, Jörg Desel, Matthias Gehrke, Petra Nawratil, ...
Michael von der Beek............................................................................................ 1 Einsatz von Modell-basierten Entwicklungstechniken in sicherheitsrelevanten...
jMosel: A Flexible Tool-Set for Monadic Second-Order Logic on Strings (2008)
Christian Topnik, Eva Wilhelm, Tiziana Margaria, Bernhard Steffen
Abstract. jMosel is a tool-set for the analysis and verification of linear parametric systems in monadic second-order logic on strings. In this paper we concentrate on the presentation of the core...
Marco Bakera, Tiziana Margaria, Clemens D. Renner, Bernhard Steffen, Marco Bakera, Tiziana Margaria, ...
In this paper, we show how to use GEAR, a game-based model checker, for property-driven functional healing of high-assurance systems. Designers and engineers can interactively investigate the winning...
Improving the OCL Semantics Definition by Applying Dynamic Meta Modeling and Design Patterns (2008)
Ocl For (meta-)models, Juan Martin Chiaradía, Claudia Pons, Dan Chiorean, Birgit Demuth, Martin Gogolla, ...
Abstract. OCL is a standard specification language, which will probably be supported by most software modeling tools in the near future. Hence, it is important for OCL to have a solid formal...
ELECTRONIC COMMUNICATIONS OF THE EASST (2008)
Tiago Massoni, Rohit Gheyi, Paulo Borba, Tiziana Margaria, Julia Padberg, Gabriele Taentzer, ...
Abstract. Refactoring tools include checking of an object-oriented program for the fulfillment of preconditions, for ensuring correctness. However, program invariants – semantic information about...
Christian Kubczak, Arno Fritsch, Tiziana Margaria, Bernhard Steffen
LC/MS is a successful analysis technique for the statistical analysis used in several branches of biology. It requires an intense screening and combination of the raw data, which is usually done with...
Anna-lena Lamprecht, Tiziana Margaria, Bernhard Steffen, Er Sczyrba, Robert Giegerich
on the development of new technologies in proteomics, glycoanalysis, proteinbiochips, biostatistics and bioinformatics in terms of Life-Science (see the Website at www.zap-do.de). PCR primer design...
Semantic Issues of OCL: Past, Present, and Future (2008)
Ocl For (meta-)models, Achim D. Brucker, Jürgen Doser, Burkhart Wolff, Dan Chiorean, Birgit Demuth, ...
Abstract: We report on the results of a long-term project to formalize the semantics of OCL 2.0 in Higher-order Logic (HOL). The ultimate goal of the project is to provide a formalized,...
Event Structure Semantics for Dynamic Graph Grammars (2008)
Roberto Bruni, Hernán Melgratti, Ugo Montanari, Paolo Baldan, Hartmut Ehrig, Julia Padberg, ...
Abstract: Dynamic graph grammars (DGGs) are a reflexive extension of Graph Grammars that have been introduced to represent mobile reflexive systems and calculi at a convenient level of abstraction....
Formally-Based Design Evaluation (2008)
Tiziana Margaria, Thomas F. Melham, Kenneth J. Turner, Ji He
Abstract. This paper investigates specification, verification and test generation for synchronous and asynchronous circuits. The approach is called DILL (Digital Logic in LOTOS). DILL models are...
An MDA Framework Supporting OCL (2008)
Ocl For (meta-)models, Achim D. Brucker, Jürgen Doser, Burkhart Wolff, Tiziana Margaria, Julia Padberg, ...
Abstract: We present a model-driven architecture (MDA) framework that integrates formal analysis techniques into an industrial software development process model. This comprises modeling using...
Derek Rayside, Felix Chang, Greg Dennis, Robert Seater, Daniel Jackson, Andrew Fish, ...
The Alloy Analyzer is a software design tool that generates examples of system states and executions from logic models and displays those examples graphically with a visualization facility. Although...
Semantic Issues of OCL: Past, Present, and Future (2008)
Ocl For (meta-)models, Achim D. Brucker, Jürgen Doser, Burkhart Wolff, Dan Chiorean, Birgit Demuth, ...
Abstract: We report on the results of a long-term project to formalize the semantics of OCL 2.0 in Higher-order Logic (HOL). The ultimate goal of the project is to provide a formalized,...
An MDA Framework Supporting OCL (2008)
Ocl For (meta-)models, Achim D. Brucker, Jürgen Doser, Burkhart Wolff, Tiziana Margaria, Julia Padberg, ...
Abstract: We present a model-driven architecture (MDA) framework that integrates formal analysis techniques into an industrial software development process model. This comprises modeling using...
GeneFisher-P: variations of GeneFisher as processes in Bio-jETI (2008)
Bmc Bioinformatics, Anna-lena Lamprecht, Tiziana Margaria, Bernhard Steffen, Er Sczyrba, Sven Hartmeier, ...
This article is available from:
Mosel: A Sound and E cient Tool for M2L(Str) (2007)
Peter Kelb, Tiziana Margaria, Michael Mendler, Claudia Gsottberger
Mosel [6] is a new system for the analysis and veri cation in Monadic Second-Order Logic (M2L) based on model construction. The aim is to o er a systemlevel environment supporting several theories of...
Siemens AG y Munich (Germany) (2007)
Volker Braun, Tiziana Margaria, Bernhard Ste
The paper reports on the use and impact of constraint-based veri cation and syn-thesis techniques in Siemens ' INXpress Advanced Service Design tool, an industrial product for the design of...
Oliver Niese, Tiziana Margaria, Andreas Hagerer, Georg Brune
Abstract. In this paper we present a new coarse grain approach to automated integrated (functional) testing, which combines three paradigms: library-based test design, meaning construction of test...
Oliver Niese, Tiziana Margaria, Markus Nagelmann, Georg Brune, Hans-dieter Ide
Abstract The increasing complexity of today's testing scenarios demands for an integrated, open and flexible approach to support the management of the overall test process. Furthermore systems...
Oliver Niese, Tiziana Margaria, Andreas Hagerer, Bernhard Steffen, Georg Brune, Werner Goerigk, ...
In this paper we present an integrated testing environment for the automated regression test of Computer Telephony Integrated applications. Its novelty consists of a coordinative test management...
Andreas Hagerer, Tiziana Margaria, Oliver Niese, Bernhard Steffen, Georg Brune, Hans-dieter Ide
Abstract. In this paper we show how the workfllow-oriented, library-based test design and execution environment presented in [8] fulfills the promise of enabling efficient integrated system-level...
Oliver Niese, Tiziana Margaria, Andreas Hagerer, Markus Nagelmann, Bernhard Steffen, Georg Brune, ...
Abstract. In this paper we present an automated testing environment for the system level test of Computer Telephony Integrated applications. Its novelty consists of a coordinative test management...
The state of the art of test tools for web-based applications is still dominated by static approaches, focussing on a posteriori link-structure reconstruction and interpretation 2, 6], e.g. to...
System Level Testing of Virtual Switch (Re)Configuration over IP (2007)
Tiziana Margaria, Metaframe Technologies Gmbh, Oliver Niese, Bernhard Steffen, Andrei Erochok
We show how our integrated test environment can be used for the validation of evolving internet services, since it captures the (re-)configuration phase preceding the `classical ' steady state...
Tiziana Margaria, Oliver Niese, Bernhard Steffen
Abstract. Modern IP-based applications are multitiered, distributed applications that typically run on heterogeneous platforms. Their correct operation depends increasingly on the interoperability of...
Tiziana Margaria, Bernhard Steffen, W. Rance Cleavel
Reproduction of all or part of this work is permitted for educational or research use on condition that this copyright notice is included in any copy. See back inner page for a list of recent BRICS...
A Formal Requirements Engineering Method for Specification, Synthesis, and Verification (2007)
Tiziana Margaria, Bernhard Steffen
This paper presents a formal requirements engineering method capturing specification, synthesis, and verification. Being multi-paradigm, our approach integrates individual established formal methods:...
A Practical Approach for the Regression Testing (2007)
Tiziana Margaria, Oliver Niese, Bernhard Steffen
Modern IP-based applications are multitiered, distributed applications that typically run on heterogeneous platforms. Their correct operation depends increasingly on the interoperability of single...
Verifying Model Transformations by Structural Correspondence (2007)
Anantha Narayanan, Gabor Karsai, Claudia Ermel, Reiko Heckel, Juan De Lara, Tiziana Margaria, ...
Abstract: Model transformations play a significant role in model based software development, and the correctness of the transformation is crucial to the success of the development effort. We have...
The FACS FACTS Team Newsletter Editor Paul Boca (2006)
Editorial Team, Jonathan Bowen, Judith Carlton, John Cooke, Kevin Lano, Cliff Jones, ...
FACS FACTS [ISSN: 0950-1231] is the newsletter of the BCS Specialist
Model-driven constraint engineering (2006)
Tiziana Margaria, Julia Padberg, Gabriele Taentzer, Michael Wahler, Michael Wahler, Jana Koehler, ...
Abstract: Precise specification of meta-models is an important prerequisite for the successful application of a model-driven engineering (MDE) process. One means of precise specification are textual...
B: Modelbased Design of Distributed Collaborative Bioinformatics Processes in the jABC (2006)
Tiziana Margaria, Christian Kubczak, Mark Njoku, Bernhard Steffen
Abstract — Our approach to the model-driven collaborative design of workflows for bioinformatic applications uses the jABC [6] for model driven mediation and choreography to complement a...
ELECTRONIC COMMUNICATIONS OF THE EASST Parsing of Adaptive Star Grammars (2006)
Mark Minas, Gabor Karsai, Gabriele Taentzer, Tiziana Margaria, Julia Padberg, Gabriele Taentzer, ...
Abstract. In a recent paper, adaptive star grammars have been proposed as an extension of node and hyperedge replacement grammars [4]. A rule in an adaptive star grammar is actually a rule schema...
Service-Oriented Design: The jABC Approach (2006)
Margaria, Tiziana, Steffen, Bernhard, Reitenspieß, Manfred
Reviewing our 10 years of experience in service engineering for telecommunication systems from the point of view of Service-Oriented Design then and now, we observe that much is common to the two...
Test-Based Model Generation for Legacy Systems (2003)
Hardi Hungar, Tiziana Margaria, Bernhard Steffen
We study the extension of applicability of system-level testing techniques to the construction of a consistent model of (legacy) systems under test, which are seen as black boxes. We gather...
Formally-Based Design Evaluation (2001)
Tiziana Margaria, Thomas F. Melham, Kenneth J. Turner, Ji He
This paper investigates specification, verification and test generation for synchronous and asynchronous circuits. The approach is called DILL (Digital Logic in LOTOS). DILL models are discussed for...
Backtracking-free design planning by automatic synthesis in metaframe (1998)
Tiziana Margaria, Bernhard Steffen
Abstract. We present an environment supporting the flexible and application-specific construction of design plans, which avoids the insurgence of unsuccessful design plans at design time, and is thus...
Bernhard Ste, Tiziana Margaria, Michael Beeck, Lehrstuhl Fur Programmiersysteme
We present PM-MetaFrame, a tool for automatic synthesis (i.e. prior to any enaction) of linear process models from speci cations written as global constraints in linear time temporal logic. Key to...
MOSEL: A flexible toolset for monadic second-order logic (1997)
Peter Kelb, Tiziana Margaria, Michael Mendler, Claudia Gsottberger
Abstract. Mosel is a new tool-set for the analysis and veri cation in Monadic Second-order Logic. In this paper we concentrate on the system's design: Mosel is a tool-set to include a exible set...
Bernhard Steffen, Tiziana Margaria, Michael Beeck, Lehrstuhl Fur Programmiersysteme
We present PM-MetaFrame, a tool for automatic synthesis (i.e. prior to any enaction) of linear process models from specifications written as global constraints in linear time temporal logic. Key to...
MOSEL: A Flexible Toolset for Monadic Second-Order Logic (1997)
Peter Kelb, Tiziana Margaria, Michael Mendler, Claudia Gsottberger
. Mosel is a new tool-set for the analysis and verification in Monadic Second-order Logic. In this paper we concentrate on the system 's design: Mosel is a tool-set to include a flexible set of...
Graphs in METAFrame: The Unifying Power of Polymorphism (1997)
Volker Braun, Andreas Claßen, V. Braun, Carsten Friedrich, Achim Dannecker, ...
. We present a highly polymorphic tool for the construction, synthesis, structuring, manipulation, investigation, and (symbolic) execution of graphs. The flexibility of this tool, which mainly arises...
A constraintoriented service creation environment (1996)
Bernhard Ste En, Tiziana Margaria, Andreas Cla En, Volker Braun, Manfred Reitenspie
The challenge of this joint project was to design and implement anenvironment for the creation of advanced telephone services (Intelligent Network Services) on the basis of a library of basic service...
The MetaFrame'95 Environment (1996)
Oliver Niese, Tiziana Margaria
Modern web-based applications are multitiered, distributed applications that typically run on heterogeneous platforms. Their correct operation depends increasingly on the interoperability of single...
Verification of Systolic Arrays in M2L(Str) (1996)
VLSI designs often show regular structures, where issues like temporal and spatial recursivity, and bidirectionality play a central role. This document introduces the modelling of a class of regular...
The METAFrame'95 Environment (1996)
Bernhard Steffen, Tiziana Margaria, Andreas Claßen, Volker Braun
programs whose implementation is supported by the automatic, library-based synthesis of linear compositions of modules. More complex control structures glueing the linear portions together must be...
Heterogeneous Analysis and Verification for Distributed Systems (1996)
Bernhard Steffen, Tiziana Margaria, Andreas Claßen, Lehrstuhl Fur Informatik
In this paper we present an environment for the development of special purpose heterogeneous analysis and verification tools, which is unique in 1) constituting a framework for the development of...
Incremental Formalization: a Key to Industrial Success (1996)
Bernhard Steffen, Tiziana Margaria, Andreas Claßen, Volker Braun, Lehrstuhl Fur Programmiersysteme
views focus the development process, and support error correction. This approach provides an incremental use of formal methods: if no formal constraints are defined, our system behaves like standard...
Service Creation: Formal Verification and Abstract Views (1996)
Bernhard Steffen, Tiziana Margaria, Andreas Claßen, Volker Braun, Manfred Reitenspie, Helmut Wendler, ...
Views Bernhard Steffen, Tiziana Margaria, Andreas Claßen, Volker Braun Universitat Passau (Germany) Manfred Reitenspieß, Helmut Wendler SiemensNixdorf Informationssysteme AG y , Munich (Germany)...
Incremental Formalization (1996)
Bernhard Steffen, Tiziana Margaria, Andreas Claßen, Volker Braun
views focus the development process, and support error correction. This approach provides an incremental use of formal methods: if no formal constraints are defined, our system behaves like standard...
A Constraint-Oriented Service Creation Environment (1996)
Bernhard Steffen, Tiziana Margaria, Andreas Claßen, Volker Braun, Viola Kriete, Manfred Reitenspieß, ...
ion Concretization Modification Control Control Service Libraries Selection Figure 1: The Service Creation Process ffl The service provider is familiar with the specific customer needs and enters...
Automatic Synthesis of Design Plans in MetaFrame (1996)
In Metaframe, Tiziana Margaria, Bernhard Steffen, Lehrstuhl Fur Programmiersysteme
We present CAD-MetaFrame, an environment supporting the flexible CAD tool integration and application-specific construction of design plans, which avoids the insurgence of unsuccessful design plans...
An Environment for the Creation of Intelligent Network Services (1996)
Bernhard Steffen, Tiziana Margaria, Andreas Claßen, Volker Braun, Lehrstuhl Fur Programmiersysteme, Manfred Reitenspie
This paper presents a Service Creation Environment which is unique in offering global correctness and consistency checks. These guarantee frame conditions for the design concerning implementability,...
A Constraint-Oriented Service Creation Environment (1996)
Bernhard Steffen, Tiziana Margaria, Andreas Claßen, Volker Braun, Manfred Reitenspieß, Siemens Nixdorf, ...
The challenge of this joint project was to design and implement an environment for the creation of advanced telephone services (Intelligent Network Services) on the basis of a library of basic...
Heterogeneous Analysis and Verification for Distributed Systems (1995)
Bernhard Steffen, Tiziana Margaria, Andreas Claßen, Lehrstuhl Fur Informatik
In this paper we present an environment for the development of special purpose heterogeneous analysis and verification tools, which is unique in 1) constituting a framework for the development of...
Incremental Formalization: a Key to Industrial Success (1995)
Bernhard Steffen, Tiziana Margaria, Andreas Claßen, Volker Braun, Lehrstuhl Fur Programmiersysteme
Views . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 12 9.2 Formal Verification . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13 10 Conclusions, Experience and...
An Approach to Intelligent Software Library Management (1995)
Burkhard Freitag, Bernhard Steffen, Tiziana Margaria, Ulrich Zukowski
Although very important, solely supporting the retrieval of single components from a software library is not enough to make efforts towards software reuse a success. The DaCapo software library...
The Fixpoint-Analysis Machine (1995)
Bernhard Steffen, Andreas Claßen, Marion Klein, Jens Knoop, Tiziana Margaria
. We present a fixpoint-analysis machine, for the efficient computation of homogeneous, hierarchical, and alternating fixpoints over regular, context-free/push-down and macro models. Applications of...
An Environment for the Creation of Intelligent Network Services (1995)
Bernhard Steffen, Tiziana Margaria, Volker Braun, Manfred Reitenspie, Siemens Nixdorf, Informationssysteme Ag
This paper presents a Service Creation Environment which is unique in offering global correctness and consistency checks. These guarantee frame conditions for the design concerning implementability,...
Semantic extraction for the automatic verification of VHDL descriptions (1994)
Tiziana Margaria, Maurizio Griva, Riccardo Tesio
We present V2O, an automatic semantic extraction tool for a subset of VHDL, which takes care of the axiomatization of pairs of VHDL descriptions whose behavioural equivalence is to be checked within...
A Pragmatic Approach to Software Synthesis (1994)
Burkhard Freitag Tiziana, Tiziana Margaria, Bernhard Steffen
We present a practice oriented tool for software synthesis that supports the interface -correct configuration of complex systems from a library of reusable software components. Besides simply...
Deductive Database Support for Software Configuration (1994)
Burkhard Freitag, Tiziana Margaria, Bernhard Steffen
We show that deductive database techniques can successfully used to support the interface-correct configuration of complex systems from a library of reusable software components. Besides simply...
Semantic extraction for the automatic verification of VHDL descriptions (1994)
Tiziana Margaria, Maurizio Griva, Riccardo Tesio
We present V2O, an automatic semantic extraction tool for a subset of VHDL, which takes care of the axiomatization of pairs of VHDL descriptions whose behavioural equivalence is to be checked within...
A Pragmatic Approach to Software Synthesis (1994)
Burkhard Freitag, Tiziana Margaria, Bernhard Steffen
We present a practice oriented tool for software synthesis that supports the interface -correct configuration of complex systems from a library of reusable software components. Besides simply...
Module Configuration by Minimal Model Construction (1993)
Bernhard Steffen, Tiziana Margaria, Burkhard Freitag
We present a framework for the automatic configuration of large systems from a library of reusable software components. Core of the framework is a modal logic that uniformly and elegantly captures...
Distinguishing Formulas for Free (1993)
Tiziana Margaria, Bernhard Steffen, Aachener Informatikberichte
A system for the efficient verification of the input/output correctness of Finite State Machines with data path and control unit is presented. This system, which is based on FirstOrder Logic theorem...
Module Configuration by Minimal Model Construction (1993)
Bernhard Steffen, Tiziana Margaria, Lehrstuhl Fur Informatik, Burkhard Freitag
We present a framework for the automatic configuration of large systems from a library of reusable software components. Core of the framework is a modal logic that uniformly and elegantly captures...
Tiziana Margaria, Julia Padberg, Gabriele Taentzer
n pages, 2006 Guest editors: someone and her friends
GeneFisher-P: variations of GeneFisher as processes in Bio-jETI
Lamprecht, Anna-Lena, Margaria, Tiziana, Steffen, Bernhard, Sczyrba, Alexander, Hartmeier, Sven, Giegerich, Robert