Searching for authors named "Tiziana Margaria" – sorted by Relevance.
43 documents found, showing 1 through 10.
Next 10 →
-
Verification of Systolic Arrays in M2L(Str)
- … Verification of Systolic Arrays in M2L(Str) Tiziana Margaria Fakultat fur Mathematik und Informatik…
- Add To MetaCart
-
METAFrame in Practice: Design of Intelligent Network Services
- …MetaFrame in Practice: Design of Intelligent Network Services Bernhard Steffen 1 and Tiziana…
- Cited by 1 (1 self) – Add To MetaCart
-
Automatic Synthesis of Design Plans in MetaFrame
- … Automatic Synthesis of Design Plans in MetaFrame Tiziana Margaria, Bernhard Steffen Lehrstuhl fur…
- Add To MetaCart
-
Bio-jETI: a Service Integration, Design, and Provisioning Platform for Orchestrated Bioinformatics Processes 1- (part of ”From Components to Processes”)-
- … Processes 1 - (part of ”From Components to Processes”) - Tiziana Margaria ∗1 , Christian Kubczak ∗2…
- Add To MetaCart
-
Deductive Database Support for Software Configuration
- … Freitag Tiziana Margaria y Bernhard Steffen y Abstract We show that deductive database techniques…
- Add To MetaCart
-
Semantic extraction for the automatic verification of VHDL descriptions
- … verification of VHDL descriptions. Tiziana Margaria Fakultat fur Mathematik und Informatik Universitat Passau…
- Add To MetaCart
-
A Sound and Efficient Tool for M2L(Str)
- …Mosel: A Sound and E cient Tool for M2L(Str) Peter Kelb, Tiziana Margaria, Michael Mendler…
- Add To MetaCart
-
Service Definition for Intelligent Networks: Experience in a Leading-edge Technological Project Based on Constraint Techniques
- … Based on Constraint Techniques Industrial Experience Report Volker Braun Tiziana Margaria Bernhard Ste…
- Add To MetaCart
-
MOSEL: A Flexible Toolset for Monadic Second-Order Logic
- …Mosel: A Flexible Toolset for Monadic Second-Order Logic Peter Kelb, Tiziana Margaria, Michael…
- Cited by 21 (3 self) – Add To MetaCart
-
Test-Based Model Generation for Legacy Systems
- …Abstract TEST-BASED MODEL GENERATION FOR LEGACY SYSTEMS Hardi Hungar 1,2 , Tiziana Margaria 1…
- Cited by 2 (1 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
