E-LIB Suche - Ergebnisse für: Di Pietro, Pierluigi

1

SOURCE: Sea Observations Utility for Reprocessing, Calibrat..:

Oliveri, Paolo ; Simoncelli, Simona ; Di Pietro, Pierluigi...
Frontiers in Marine Science. 8 (2022) - p. , 2022

Link: https://doi.org/10.3389/..

2

Space Weather Effects Observed in the Northern Hemisphere d..:

Regi, Mauro ; Perrone, Loredana ; Del Corpo, Alfredo...
Remote Sensing. 14 (2022) 22 - p. 5765 , 2022

Link: https://doi.org/10.3390/..

3

Impact of Atmosphere and Land Surface Initial Conditions on..:

Materia, Stefano ; Borrelli, Andrea ; Bellucci, Alessio...
Journal of Climate. 27 (2014) 24 - p. 9253-9271 , 2014

Link: https://www.jstor.org/st..

4

Global ocean re-analyses for climate applications:

Masina, Simona ; Di Pietro, Pierluigi ; Storto, Andrea.
Dynamics of Atmospheres and Oceans. 52 (2011) 1-2 - p. 341-366 , 2011

Link: https://doi.org/10.1016/..

5

Model Checking MITL Formulae on Timed Automata: A Logic-bas..:

Menghi, Claudio ; Bersani, Marcello M. ; Rossi, Matteo.
ACM Transactions on Computational Logic. 21 (2020) 3 - p. 1-44 , 2020

Link: https://doi.org/10.1145/..

6

Model Checking MITL Formulae on Timed Automata : A Logic..:

Menghi, Claudio ; Bersani, Marcello M. ; Rossi, Matteo.
ACM Transactions on Computational Logic (TOCL). 21 (2020) 3 - p. 1-44 , 2020

Link: https://dl.acm.org/doi/1..

7

Efficient large-scale trace checking using mapreduce:

, In: Proceedings of the 38th International Conference on Software Engineering,

Bersani, Marcello M. ; Bianculli, Domenico ; Ghezzi, Carlo.. - p. 888-898 , 2016

Link: https://dl.acm.org/doi/1..

8

Bounded satisfiability checking of metric temporal logic sp..:

Pradella, Matteo ; Morzenti, Angelo ; Pietro, Pierluigi San
ACM Transactions on Software Engineering and Methodology (TOSEM). 22 (2013) 3 - p. 1-54 , 2013

Link: https://dl.acm.org/doi/1..

9

Bounded satisfiability checking of metric temporal logic sp..:

Pradella, Matteo ; Morzenti, Angelo ; Pietro, Pierluigi San
ACM Transactions on Software Engineering and Methodology. 22 (2013) 3 - p. 1-54 , 2013

Link: https://doi.org/10.1145/..

10

Trio2Promela : A Model Checker for Temporal Metric Speci..:

, In: Companion to the proceedings of the 29th International Conference on Software Engineering,

Bianculli, Domenico ; Morzenti, Angelo ; Pradella, Matteo.. - p. 61-62 , 2007

Link: https://dl.acm.org/doi/1..

11

Model checking temporal metric specifications with Trio2Pro..:

, In: Proceedings of the 2007 international conference on Fundamentals of software engineering,

Bianculli, Domenico ; Spoletini, Paola ; Morzenti, Angelo.. - p. 388-395 , 2007

Link: https://dl.acm.org/doi/1..

12

A scalable formal method for design and automatic checking ..:

Berstel, Jean ; Reghizzi, Stefano Crespi ; Roussel, Gilles.
ACM Transactions on Software Engineering and Methodology (TOSEM). 14 (2005) 2 - p. 124-167 , 2005

Link: https://dl.acm.org/doi/1..

13

A scalable formal method for design and automatic checking ..:

Berstel, Jean ; Reghizzi, Stefano Crespi ; Roussel, Gilles.
ACM Transactions on Software Engineering and Methodology. 14 (2005) 2 - p. 124-167 , 2005

Link: https://doi.org/10.1145/..

14

Presburger liveness verification of discrete timed automata:

Dang, Zhe ; Pietro, Pierluigi San ; Kemmerer, Richard A.
Theoretical Computer Science. 299 (2003) 1-3 - p. 413-438 , 2003

Link: https://doi.org/10.1016/..

15

Verification in loosely synchronous queue-connected discret..:

Ibarra, Oscar H. ; Dang, Zhe ; Pietro, Pierluigi San
Theoretical Computer Science. 290 (2003) 3 - p. 1713-1735 , 2003

Link: https://doi.org/10.1016/..