Sfoglia per Autore
No Need To Be Strict: on the expressiveness of metric temporal logics with (non-)strict operators
2007-01-01 Furia, CARLO ALBERTO; Rossi, MATTEO GIOVANNI
On the Expressiveness of MTL Variants over Dense Time
2007-01-01 Furia, CARLO ALBERTO; Rossi, MATTEO GIOVANNI
FM for FMS: Lessons Learned While Applying Formal Methods to the Study of Flexible Manufacturing Systems
2007-01-01 Matta, Andrea; Rossi, MATTEO GIOVANNI; Spoletini, Paola; Mandrioli, Dino; Semeraro, Quirico; Tolio, TULLIO ANTONIO MARIA
Practical Automated Partial Verification of Multi-Paradigm Real-Time Models
2008-01-01 Furia, CARLO ALBERTO; Pradella, Matteo; Rossi, MATTEO GIOVANNI
Automated Verification of Dense-Time MTL Specifications via Discrete-Time Approximation
2008-01-01 Furia, CARLO ALBERTO; Pradella, Matteo; Rossi, MATTEO GIOVANNI
MTL with Bounded Variability: Decidability and Complexity
2008-01-01 Furia, CARLO ALBERTO; Rossi, MATTEO GIOVANNI
Comments on temporal logics for real-time system specification
2009-01-01 Furia, CARLO ALBERTO; Pradella, Matteo; Rossi, MATTEO GIOVANNI
Integrated Modeling and Verification of Real-Time Systems through Multiple Paradigms
2009-01-01 Bersani, MARCELLO MARIA; Furia, CARLO ALBERTO; Pradella, Matteo; Rossi, MATTEO GIOVANNI
Towards a formal model of autonomic services based on SelfLets
2009-01-01 S., Pacifici; Rossi, MATTEO GIOVANNI
Bounded Reachability for Temporal Logic over Constraint Systems
2010-01-01 Bersani, MARCELLO MARIA; Frigeri, Achille; Morzenti, ANGELO CARLO; Pradella, Matteo; Rossi, MATTEO GIOVANNI; SAN PIETRO, Pierluigi
SCORE: the first student contest on software engineering
2010-01-01 Mandrioli, Dino; S., Fickas; Furia, CARLO ALBERTO; M., Jazayeri; Rossi, MATTEO GIOVANNI; M., Young
MADES: Embedded Systems Engineering Approach in the Avionics Domain
2010-01-01 Alessandra, Bagnato; Andrey, Sadovykh; Richard, Paige; Dimitrios, Kolovos; Baresi, Luciano; Morzenti, ANGELO CARLO; Rossi, MATTEO GIOVANNI
Modeling Time in Computing: a taxonomy and a comparative survey
2010-01-01 Furia, CARLO ALBERTO; Mandrioli, Dino; Morzenti, ANGELO CARLO; Rossi, MATTEO GIOVANNI
From Interaction Overview Diagrams to Temporal Logic
2010-01-01 Baresi, Luciano; Morzenti, ANGELO CARLO; Motta, Alfredo; Rossi, MATTEO GIOVANNI
SMT-based Verification of LTL Specifications with Integer Constraintsand its Application to Runtime Checking of Service Substitutability
2010-01-01 Bersani, MARCELLO MARIA; Cavallaro, Luca; Frigeri, Achille; Pradella, Matteo; Rossi, MATTEO GIOVANNI
A theory of sampling for continuous-time metric temporal logic
2010-01-01 Furia, CARLO ALBERTO; Rossi, MATTEO GIOVANNI
Using Compositionality to Formally Model and Analyze Systems Built of a High Number of Components
2010-01-01 Silvia, Bindelli; Furia, CARLO ALBERTO; DI NITTO, Elisabetta; Rossi, MATTEO GIOVANNI
From Interaction Overview Diagrams to Temporal Logic
2011-01-01 Baresi, Luciano; Morzenti, ANGELO CARLO; Motta, Alfredo; Rossi, MATTEO GIOVANNI
Towards the UML-Based Formal Verification of Timed Systems
2011-01-01 Baresi, Luciano; Morzenti, ANGELO CARLO; Motta, Alfredo; Rossi, MATTEO GIOVANNI
SCORE 2011Proceeding of the 33rd international conference on Software engineering - ICSE '11
2011-01-01 Rossi, MATTEO GIOVANNI; Michal, Young
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile