Sfoglia per Autore
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
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
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
Completeness of the Bounded Satisfiability Problem for Constraint LTL.
2011-01-01 Bersani, MARCELLO MARIA; Frigeri, Achille; Rossi, MATTEO GIOVANNI; SAN PIETRO, Pierluigi
The Complexity of Reversal-Bounded Model-Checking.
2011-01-01 Bersani, MARCELLO MARIA; S., Demri
On some classes of 2D-languages and their relations
2011-01-01 Bersani, MARCELLO MARIA; Frigeri, Achille; Cherubini, Alessandra
Deciding the Satisfiability of MITL Specifications
2013-01-01 Bersani, MARCELLO MARIA; Rossi, MATTEO GIOVANNI; SAN PIETRO, Pierluigi
Expressiveness and complexity of regular pure two-dimensional context-free languages
2013-01-01 Bersani, MARCELLO MARIA; Frigeri, Achille; Cherubini, Alessandra
A Tool for Deciding the Satisfiability of Continuous-time Metric Temporal Logic
2013-01-01 Bersani, MARCELLO MARIA; Rossi, MATTEO GIOVANNI; SAN PIETRO, Pierluigi
Deciding Continuous-Time Metric Temporal Logic with Counting Modalities
2013-01-01 Bersani, MARCELLO MARIA; Rossi, MATTEO GIOVANNI; SAN PIETRO, Pierluigi
On the Satisfiability of Metric Temporal Logics over the Reals
2013-01-01 Bersani, MARCELLO MARIA; Rossi, MATTEO GIOVANNI; SAN PIETRO, Pierluigi
SMT-Based Checking of SOLOIST over Sparse TracesFundamental Approaches to Software Engineering
2014-01-01 Bersani, MARCELLO MARIA; Domenico, Bianculli; Ghezzi, Carlo; Krstic, Srdan; SAN PIETRO, Pierluigi
A Logical Characterization of Timed (non-)Regular Languages
2014-01-01 Bersani, MARCELLO MARIA; Rossi, MATTEO GIOVANNI; SAN PIETRO, Pierluigi
An LTL Semantics of BusinessWorkflows with Recovery
2014-01-01 Mazzara, Manuel; Bersani, MARCELLO MARIA; Ferrucci, Luca
Towards the formalization of properties of cloud-based elastic systems
2014-01-01 Bersani, MARCELLO MARIA; Bianculli, Domenico; Dustdar, Schahram; Gambi, Alessio; Ghezzi, Carlo; Krstic, Srdan
Constraint LTL Satisfiability Checking without Automata
2014-01-01 Bersani, MARCELLO MARIA; Frigeri, Achille; Morzenti, ANGELO CARLO; Pradella, Matteo; Rossi, MATTEO GIOVANNI; SAN PIETRO, Pierluigi
An SMT-based approach to satisfiability checking of MITL
2015-01-01 Bersani, MARCELLO MARIA; Rossi, MATTEO GIOVANNI; SAN PIETRO, Pierluigi
A timed semantics of workflows
2015-01-01 Bersani, M. M.; Distefano, S.; Ferrucci, L.; Mazzara, M.
A tool for verification of big-data applications
2016-01-01 Bersani, MARCELLO MARIA; Marconi, Francesco; Rossi, MATTEO GIOVANNI; Erascu, Madalina
The Cost of Formal Verification in Adaptive CPS. An Example of a Virtualized Server Node
2016-01-01 Bersani, M. M.; Garcia-Valls, M.
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