СТ |
A Pragmatic Approach to Software Synthesis |
1994 |
Freitag B., Margaria T., Steffen B. |
|
|
|
SIGPLAN Notices |
30.08.1994 |
П |
Advanced Intelligent Networks 97 |
1997 |
Margaria T. |
|
|
Univ.Passau |
|
29.04.1998 |
СТ |
Automatic Error Location for IN Service Definition |
1998 |
Braun V., Margaria T., Steffen B., Yoo H. |
|
|
|
Lecture Notes in Computer Science |
09.05.1998 |
П |
Automatic Synthesis of Design Plans in METAFrame |
1996 |
Margaria T., Steffen B. |
Lecture Notes in Computer Science |
|
Univ.Passau |
|
26.11.1996 |
СТ |
Backtracking-Free Design Planning by Automatic Synthesis in MetaFrame |
1998 |
Margaria T., Steffen B. |
|
|
|
Lecture Notes in Computer Science |
18.04.1998 |
СТ |
Components, Features, and Agents in the ABC |
2004 |
Margaria T. |
Lecture Notes in Computer Science |
|
|
Lecture Notes in Computer Science |
03.09.2004 |
СТ |
Data-Flow Analysis as Model-Checking Within the jABC |
2006 |
Lamprecht A. -L., Margaria T., Steffen B. |
Lecture Notes in Computer Science |
|
|
Lecture Notes in Computer Science |
23.06.2006 |
СТ |
Demonstration of an Automated Integrated Test Environment for Web-Based Applications |
2002 |
Margaria T., Niese O., Steffen B. |
|
|
|
Lecture Notes in Computer Science |
01.05.2002 |
СТ |
Flexible and Reliable Process Model Properties: An Integrated Approach |
1999 |
Margaria T., Gruhn V. |
|
|
|
Lecture Notes in Computer Science |
29.09.1999 |
СТ |
Formal Methods and Customized Visualization: A Fruitful Symbiosis |
1998 |
Margaria T., Braun V. |
|
|
|
Lecture Notes in Computer Science |
09.05.1998 |
СТ |
Fully Automatic Verification and Error Detection for Parameterized Iterative Sequential Circuits |
1996 |
Margaria T. |
|
|
|
Lecture Notes in Computer Science |
24.04.1996 |
П |
Heterogeneous Analysis and Verification for Distributed Systems |
1995 |
Steffen B., Margaria T., Classen A. |
|
|
Univ.Passau |
|
21.12.1995 |
П |
Incremental Formalization: A Key to Industrial Success |
1995 |
Steffen B., Margaria T., Classen A., Braun V. |
|
|
Univ.Passau |
|
18.01.1996 |
СТ |
Library-Based Design and Consistency Checking of System-Level Industrial Test Cases |
2001 |
Niese O., Steffen B., Margaria T., Hagerer A., Brune G., Ide H. -D. |
|
|
|
Lecture Notes in Computer Science |
05.05.2001 |
СТ |
Model Generation for Legacy Systems |
2004 |
Hungar H., Margaria T., Steffen B. |
|
|
|
Lecture Notes in Computer Science |
27.04.2004 |
П |
Module Configuration by Minimal Model Construction |
1993 |
Steffen B., Margaria T., Freitag B. |
|
|
Univ.Passau |
|
06.04.1994 |
П |
Semantic Extraction for the Automatic Verification of VHDL Descriptions |
1994 |
Margaria T., Griva M., Tesio R. |
|
|
Univ.Passau |
|
31.01.1995 |
СТ |
The Fixpoint-Analysis Machine |
1995 |
Steffen B., Classen A., Klein M., Knoop J., Margaria T. |
Lecture Notes in Computer Science |
|
|
CONCUR 95: Concurrency Theory |
14.10.1995 |
П |
Tool Coordination in MetaFrame |
1997 |
Classen A., Steffen B., Margaria T., Braun V. |
|
|
Univ.Passau |
|
05.11.1997 |
П |
Verification of Systolic Arrays in M2L(Str) |
1996 |
Margaria T. |
Lecture Notes in Computer Science |
|
Univ.Passau |
|
26.11.1996 |