Searching for authors named "Paola Inverardi" – sorted by Relevance.
32 documents found, showing 1 through 10.
Next 10 →
-
Reaction Graphs for the Testing and Analysis of Software Architectures
- …Reaction Graphs for the Testing and Analysis of Software Architectures Antonia Bertolino Paola…
- Add To MetaCart
-
Failure-free Coordinator Synthesis for Correct Components Assembly
- …Failure-free Coordinator Synthesis for Correct Components Assembly Paola Inverardi University of L…
- Add To MetaCart
-
The Role of Architecture in Components Assembly
- …The role of architecture in components assembly Paola Inverardi and Massimo Tivoli University of L…
- Cited by 1 (0 self) – Add To MetaCart
-
Yet Another Framework for Supporting Mobile and Collaborative Work
- … [10], Elvin [19], Java Message Service [20], JEDI [12], and SIENA [7]. Mauro Caporuscio and Paola…
- Cited by 2 (0 self) – Add To MetaCart
-
Dip. Informatica
- … Marco Autili, Paola Inverardi, Massimo Tivoli University of L’Aquila Dip. Informatica via Vetoio 1…
- Add To MetaCart
-
An Approach To Performance Evaluation Of Software Architectures
- … BALSAMO*, PAOLA INVERARDI Abstract. In this paper we present an approach to evaluating the expected…
- Cited by 26 (3 self) – Add To MetaCart
-
Formal Analysis of Clients Mobility in the SIENA Publish/Subscribe Middleware
- …, Paola Inverardi, and Patrizio Pelliccione Dipartimento di Informatica Universita dell'Aquila I-67010 L…
- Cited by 18 (0 self) – Add To MetaCart
-
Formal Methods in Testing Software Architectures
- …Formal Methods in Testing Software Architectures Antonia Bertolino 1 , Paola Inverardi 2…
- Cited by 8 (1 self) – Add To MetaCart
-
Checking Consistency Between Architectural Models Using SPIN
- …Checking consistency between architectural models using SPIN Paola Inverardi & Henry Muccini…
- Cited by 5 (5 self) – Add To MetaCart
-
Yet Another Real-time Specification for the Steam Boiler: Local Clocks to Statically Measure Systems Performance
- … Systems Performance ? Candida Attanasio, Flavio Corradini, and Paola Inverardi Dipartimento di…
- Cited by 1 (1 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
