×

zbMATH — the first resource for mathematics

Roveri, Marco

Compute Distance To:
Author ID: roveri.marco Recent zbMATH articles by "Roveri, Marco"
Published as: Roveri, M.; Roveri, Marco
External Links: ORCID
Documents Indexed: 33 Publications since 1997, including 1 Book

Publications by Year

Citations contained in zbMATH Open

22 Publications have been cited 303 times in 234 Documents Cited by Year
NuSMV 2: An OpenSource tool for symbolic model checking. Zbl 1010.68766
Cimatti, Alessandro; Clarke, Edmund; Giunchiglia, Enrico; Giunchiglia, Fausto; Pistore, Marco; Roveri, Marco; Sebastiani, Roberto; Tacchella, Armando
78
2002
Diagnostic information for realizability. Zbl 1138.68442
Cimatti, A.; Roveri, M.; Schuppan, V.; Tchaltsev, A.
40
2008
NuSMV: A new symbolic model checker. Zbl 1059.68582
Cimatti, Alessandro; Clarke, Edmund; Giunchiglia, Fausto; Roveri, Marco
35
2000
NuSMV: A new symbolic model verifier. Zbl 1046.68587
Cimatti, A.; Clarke, E.; Giunchiglia, F.; Roveri, M.
34
1999
Weak, strong, and strong cyclic planning via symbolic model checking. Zbl 1082.68800
Cimatti, A.; Pistore, M.; Roveri, M.; Traverso, P.
27
2003
Conformant planning via symbolic model checking. Zbl 0963.68195
Cimatti, A.; Roveri, M.
17
2000
Conformant planning via symbolic model checking and heuristic search. Zbl 1086.68591
Cimatti, A.; Roveri, M.; Bertoli, P.
13
2004
Strong planning under partial observability. Zbl 1131.68095
Bertoli, Piergiorgio; Cimatti, Alessandro; Roveri, Marco; Traverso, Paolo
10
2006
Symbolic implementation of alternating automata. Zbl 1160.68401
Bloem, R.; Cimatti, A.; Pill, I.; Roveri, M.; Semprini, S.
7
2006
Requirements validation for hybrid systems. Zbl 1242.68156
Cimatti, Alessandro; Roveri, Marco; Tonetta, Stefano
6
2009
Boolean abstraction for temporal logic satisfiability. Zbl 1135.68469
Cimatti, Alessandro; Roveri, Marco; Schuppan, Viktor; Tonetta, Stefano
6
2007
Solving strong controllability of temporal problems with uncertainty using SMT. Zbl 1314.90043
Cimatti, Alessandro; Micheli, Andrea; Roveri, Marco
5
2015
Dynamic controllability via timed game automata. Zbl 1350.68251
Cimatti, Alessandro; Hunsberger, Luke; Micheli, Andrea; Posenato, Roberto; Roveri, Marco
3
2016
HRELTL: a temporal logic for hybrid systems. Zbl 1332.68139
Cimatti, Alessandro; Roveri, Marco; Tonetta, Stefano
3
2015
Bounded verification of past LTL. Zbl 1117.68424
Cimatti, Alessandro; Roveri, Marco; Sheridan, Daniel
3
2004
Integrating BDD-based and SAT-based symbolic model checking. Zbl 1057.68623
Cimatti, Alessandro; Giunchiglia, Enrico; Pistore, Marco; Roveri, Marco; Sebastiani, Roberto; Tacchella, Armando
3
2002
Searching powerset automata by combining explicit-state and symbolic model checking. Zbl 0978.68546
Cimatti, Alessandro; Roveri, Marco; Bertoli, Piergiorgio
3
2001
Incremental linearization for satisfiability and verification modulo nonlinear arithmetic and transcendental functions. Zbl 1407.68285
Cimatti, Alessandro; Griggio, Alberto; Irfan, Ahmed; Roveri, Marco; Sebastiani, Roberto
2
2018
Strong temporal planning with uncontrollable durations. Zbl 1443.68163
Cimatti, Alessandro; Do, Minh; Micheli, Andrea; Roveri, Marco; Smith, David E.
2
2018
Satisfiability modulo transcendental functions via incremental linearization. Zbl 06778399
Cimatti, Alessandro; Griggio, Alberto; Irfan, Ahmed; Roveri, Marco; Sebastiani, Roberto
2
2017
Symbolic implementation of alternating automata. Zbl 1142.68418
Bloem, Roderick; Cimatti, Alessandro; Pill, Ingo; Roveri, Marco
2
2007
Improving the encoding of LTL model checking into SAT. Zbl 1057.68056
Cimatti, Alessandro; Pistore, Marco; Roveri, Marco; Sebastiani, Roberto
2
2002
Incremental linearization for satisfiability and verification modulo nonlinear arithmetic and transcendental functions. Zbl 1407.68285
Cimatti, Alessandro; Griggio, Alberto; Irfan, Ahmed; Roveri, Marco; Sebastiani, Roberto
2
2018
Strong temporal planning with uncontrollable durations. Zbl 1443.68163
Cimatti, Alessandro; Do, Minh; Micheli, Andrea; Roveri, Marco; Smith, David E.
2
2018
Satisfiability modulo transcendental functions via incremental linearization. Zbl 06778399
Cimatti, Alessandro; Griggio, Alberto; Irfan, Ahmed; Roveri, Marco; Sebastiani, Roberto
2
2017
Dynamic controllability via timed game automata. Zbl 1350.68251
Cimatti, Alessandro; Hunsberger, Luke; Micheli, Andrea; Posenato, Roberto; Roveri, Marco
3
2016
Solving strong controllability of temporal problems with uncertainty using SMT. Zbl 1314.90043
Cimatti, Alessandro; Micheli, Andrea; Roveri, Marco
5
2015
HRELTL: a temporal logic for hybrid systems. Zbl 1332.68139
Cimatti, Alessandro; Roveri, Marco; Tonetta, Stefano
3
2015
Requirements validation for hybrid systems. Zbl 1242.68156
Cimatti, Alessandro; Roveri, Marco; Tonetta, Stefano
6
2009
Diagnostic information for realizability. Zbl 1138.68442
Cimatti, A.; Roveri, M.; Schuppan, V.; Tchaltsev, A.
40
2008
Boolean abstraction for temporal logic satisfiability. Zbl 1135.68469
Cimatti, Alessandro; Roveri, Marco; Schuppan, Viktor; Tonetta, Stefano
6
2007
Symbolic implementation of alternating automata. Zbl 1142.68418
Bloem, Roderick; Cimatti, Alessandro; Pill, Ingo; Roveri, Marco
2
2007
Strong planning under partial observability. Zbl 1131.68095
Bertoli, Piergiorgio; Cimatti, Alessandro; Roveri, Marco; Traverso, Paolo
10
2006
Symbolic implementation of alternating automata. Zbl 1160.68401
Bloem, R.; Cimatti, A.; Pill, I.; Roveri, M.; Semprini, S.
7
2006
Conformant planning via symbolic model checking and heuristic search. Zbl 1086.68591
Cimatti, A.; Roveri, M.; Bertoli, P.
13
2004
Bounded verification of past LTL. Zbl 1117.68424
Cimatti, Alessandro; Roveri, Marco; Sheridan, Daniel
3
2004
Weak, strong, and strong cyclic planning via symbolic model checking. Zbl 1082.68800
Cimatti, A.; Pistore, M.; Roveri, M.; Traverso, P.
27
2003
NuSMV 2: An OpenSource tool for symbolic model checking. Zbl 1010.68766
Cimatti, Alessandro; Clarke, Edmund; Giunchiglia, Enrico; Giunchiglia, Fausto; Pistore, Marco; Roveri, Marco; Sebastiani, Roberto; Tacchella, Armando
78
2002
Integrating BDD-based and SAT-based symbolic model checking. Zbl 1057.68623
Cimatti, Alessandro; Giunchiglia, Enrico; Pistore, Marco; Roveri, Marco; Sebastiani, Roberto; Tacchella, Armando
3
2002
Improving the encoding of LTL model checking into SAT. Zbl 1057.68056
Cimatti, Alessandro; Pistore, Marco; Roveri, Marco; Sebastiani, Roberto
2
2002
Searching powerset automata by combining explicit-state and symbolic model checking. Zbl 0978.68546
Cimatti, Alessandro; Roveri, Marco; Bertoli, Piergiorgio
3
2001
NuSMV: A new symbolic model checker. Zbl 1059.68582
Cimatti, Alessandro; Clarke, Edmund; Giunchiglia, Fausto; Roveri, Marco
35
2000
Conformant planning via symbolic model checking. Zbl 0963.68195
Cimatti, A.; Roveri, M.
17
2000
NuSMV: A new symbolic model verifier. Zbl 1046.68587
Cimatti, A.; Clarke, E.; Giunchiglia, F.; Roveri, M.
34
1999
all top 5

Cited by 570 Authors

15 Cimatti, Alessandro
11 Roveri, Marco
9 Vardi, Moshe Y.
7 Tonetta, Stefano
4 Ipate, Florentin
4 Micheli, Andrea
3 Abate, Alessandro
3 Bertoli, Piergiorgio
3 Cook, Byron
3 Duan, Zhenhua
3 Eiter, Thomas
3 Gheorghe, Marian
3 Giunchiglia, Enrico
3 Konur, Savas
3 Lefticaru, Raluca
3 Lomuscio, Alessio
3 Mateescu, Radu
3 Monteiro, Pedro T.
3 Mover, Sergio
3 Schuppan, Viktor
3 Tian, Cong
3 Traverso, Paolo
3 Zhang, Nan
2 Alrajeh, Dalal
2 Alur, Rajeev
2 Bersani, Marcello Maria
2 Biere, Armin
2 Bloem, Roderick
2 Bonakdarpour, Borzoo
2 Bonet, Blai
2 Brafman, Ronen I.
2 Brim, Luboš
2 Cavezza, Davide Giacomo
2 Ceterchi, Rodica
2 Chatterjee, Krishnendu
2 Chechik, Marsha
2 Ciardo, Gianfranco
2 Dasgupta, Pallab
2 De Giacomo, Giuseppe
2 de Jong, Hidde
2 Dixon, Clare
2 Dumas, Estelle
2 Ehlers, Rüdiger
2 Fraser, Gordon
2 Geffner, Hector
2 Gurfinkel, Arie
2 Heemels, Maurice W. P. M. H.
2 Hunsberger, Luke
2 Hustadt, Ullrich
2 Immerman, Neil
2 Jobstmann, Barbara
2 Kanovich, Max Iosifovich
2 Kröning, Daniel
2 Kuter, Ugur
2 Lazar, Mircea
2 Li, Jianwen
2 Luo, Xiangyu
2 Menghi, Claudio
2 Nau, Dana
2 Ouaknine, Joel O.
2 Pan, Guoqiang
2 Patrizi, Fabio
2 Pistore, Marco
2 Piterman, Nir
2 Pu, Geguang
2 Rawlings, Blake C.
2 Rossi, Matteo A. C.
2 Sanfelice, Ricardo G.
2 Sebastiani, Roberto
2 Sergot, Marek J.
2 Seshia, Sanjit Arunkumar
2 Son, Tran Cao
2 Srivastava, Siddharth
2 Stern, Roni
2 Strichman, Ofer
2 Su, Kaile
2 Szpyrka, Marcin
2 Tacchella, Armando
2 Tahar, Sofiène
2 Tkachev, Ilya
2 Topcu, Ufuk
2 Vauzeilles, Jacqueline
2 Wotawa, Franz
2 Wu, Cheng
2 Xu, Ke
2 Zhang, Lijun
2 Zhao, Xishun
2 Zhu, Shufang
2 Zilberstein, Shlomo
1 Abed, Sa’ed
1 Ábrahám, Erika
1 Abujarad, Fuad
1 Adi, Kamel
1 Adzkiya, Dieky
1 Ahmed, Waqar
1 Aiello, Marco
1 Aït Mohamed, Otmane
1 Alaiba, Vasile
1 Alawneh, Luay
1 Alberti, Marco
...and 470 more Authors
all top 5

Cited in 44 Serials

29 Artificial Intelligence
25 Formal Methods in System Design
18 Formal Aspects of Computing
15 Theoretical Computer Science
8 Journal of Automated Reasoning
7 Acta Informatica
5 Information and Computation
4 Journal of Computer and System Sciences
4 Journal of Applied Logic
3 Science of Computer Programming
3 The Journal of Logic and Algebraic Programming
2 Journal of Computer Science and Technology
2 International Journal of Approximate Reasoning
2 Discrete Event Dynamic Systems
2 Distributed Computing
2 The Journal of Artificial Intelligence Research (JAIR)
2 Annals of Mathematics and Artificial Intelligence
2 Journal of Applied Mathematics
2 ACM Transactions on Computational Logic
2 Frontiers of Computer Science
2 Journal of Logical and Algebraic Methods in Programming
1 International Journal of General Systems
1 Information Processing Letters
1 Programming and Computer Software
1 Studia Logica
1 International Journal of Foundations of Computer Science
1 Cybernetics and Systems Analysis
1 Archives of Control Sciences
1 Journal of Applied Non-Classical Logics
1 Constraints
1 Theory of Computing Systems
1 Journal of Combinatorial Optimization
1 Chaos
1 Electronic Commerce Research
1 Computer Languages, Systems & Structures
1 Computational Intelligence
1 Science in China. Series F
1 Electronic Notes in Theoretical Computer Science
1 Mathematics in Computer Science
1 Nonlinear Analysis. Hybrid Systems
1 Science China. Information Sciences
1 Symmetry
1 Computer Science Review
1 Prikladnaya Diskretnaya Matematika

Citations by Year