Marco Roveri
Orcid: 0000-0001-9483-3940Affiliations:
- University of Trento, Department of Information Engineering and Computer Science, Italy
According to our database1,
Marco Roveri
authored at least 120 papers
between 1996 and 2023.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
-
on es.fbk.eu
-
on d-nb.info
-
on dl.acm.org
On csauthors.net:
Bibliography
2023
Discovery and Identification of Memory Corruption Vulnerabilities on Bare-Metal Embedded Devices.
IEEE Trans. Dependable Secur. Comput., 2023
Semantic-based Loco-Manipulation for Human-Robot Collaboration in Industrial Environments.
CoRR, 2023
Evaluating Heuristic Search Algorithms in Pathfinding: A Comprehensive Study on Performance Metrics and Domain Parameters.
Proceedings of the Third Workshop on Agents and Robots for reliable Engineered Autonomy, 2023
When Prolog meets generative models: a new approach for managing knowledge and planning in robotic applications.
CoRR, 2023
Proceedings of the IEEE International Conference on Web Intelligence and Intelligent Agent Technology, 2023
Towards Large Language Model Architectures for Knowledge Acquisition and Strategy Synthesis.
Proceedings of the Short Paper Proceedings of the 5th Workshop on Artificial Intelligence and Formal Verification, 2023
Proceedings of the Short Paper Proceedings of the 5th Workshop on Artificial Intelligence and Formal Verification, 2023
Proceedings of the 47th IEEE Annual Computers, Software, and Applications Conference, 2023
Proceedings of the 33rd Annual International Conference on Computer Science and Software Engineering, 2023
2022
Softw. Syst. Model., 2022
Proceedings of the 31st USENIX Security Symposium, 2022
Urban Traffic Control via Planning with Global State Constraints (Extended Abstract).
Proceedings of the Fifteenth International Symposium on Combinatorial Search, 2022
Proceedings of the Advances in Practical Applications of Agents, Multi-Agent Systems, and Complex Systems Simulation. The PAAMS Collection, 2022
Proceedings of the Advances in Practical Applications of Agents, Multi-Agent Systems, and Complex Systems Simulation. The PAAMS Collection, 2022
Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems, 2022
Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems, 2022
Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence, 2022
Proceedings of the Workshop on Process Management in the AI Era (PMAI 2022) co-located with 31st International Joint Conference on Artificial Intelligence and the 25th European Conference on Artificial Intelligence (IJCAI-ECAI 2022), 2022
Proceedings of the AIxIA 2022 - Advances in Artificial Intelligence, 2022
Verifying a Stochastic Model for the Spread of a SARS-CoV-2-Like Infection: Opportunities and Limitations.
Proceedings of the AIxIA 2022 - Advances in Artificial Intelligence, 2022
2021
ACM Trans. Intell. Syst. Technol., 2021
Proceedings of the 3rd Workshop on Artificial Intelligence and Formal Verification, 2021
Proceedings of the Frontiers of Combining Systems - 13th International Symposium, 2021
2020
SMT-based satisfiability of first-order LTL with event freezing functions and metric operators.
Inf. Comput., 2020
2019
Lemmas for Satisfiability Modulo Transcendental Functions via Incremental Linearization.
Proceedings of the 4th SC-Square Workshop co-located with the SIAM Conference on Applied Algebraic Geometry, 2019
Proceedings of the Computer Aided Verification - 31st International Conference, 2019
2018
Incremental Linearization for Satisfiability and Verification Modulo Nonlinear Arithmetic and Transcendental Functions.
ACM Trans. Comput. Log., 2018
Incremental linearization: A practical approach to satisfiability modulo nonlinear arithmetic and transcendental functions.
Proceedings of the 20th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2018
Experimenting on Solving Nonlinear Integer Arithmetic with Incremental Linearization.
Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2018, 2018
Proceedings of the 2018 Formal Methods in Computer Aided Design, 2018
2017
Invariant Checking of NRA Transition Systems via Incremental Reduction to LRA with EUF.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2017
Proceedings of the Automated Deduction - CADE 26, 2017
Validating Domains and Plans for Temporal Planning via Encoding into Infinite-State Linear Temporal Logic.
Proceedings of the Thirty-First AAAI Conference on Artificial Intelligence, 2017
2016
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2016
Proceedings of the 2016 Design, Automation & Test in Europe Conference & Exhibition, 2016
Dynamic Controllability of Disjunctive Temporal Networks: Validation and Synthesis of Executable Strategies.
Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence, 2016
2015
Sci. Comput. Program., 2015
Constraints An Int. J., 2015
An SMT-based approach to weak controllability for disjunctive temporal problems with uncertainty.
Artif. Intell., 2015
Proceedings of the Automated Technology for Verification and Analysis, 2015
Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, 2015
2014
Reliab. Eng. Syst. Saf., 2014
Sound and Complete Algorithms for Checking the Dynamic Controllability of Temporal Networks with Uncertainty, Disjunction and Observation.
Proceedings of the 21st International Symposium on Temporal Representation and Reasoning, 2014
Proceedings of the Computer Aided Verification - 26th International Conference, 2014
Using Timed Game Automata to Synthesize Execution Strategies for Simple Temporal Networks with Uncertainty.
Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence, 2014
2013
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2013
Preface to the special section on Formal Methods for Industrial Critical Systems (FMICS 2009 + FMICS 2010).
Sci. Comput. Program., 2013
Proceedings of the Twenty-Seventh AAAI Conference on Artificial Intelligence, 2013
2012
ACM Trans. Softw. Eng. Methodol., 2012
Log. Methods Comput. Sci., 2012
Proceedings of the Formal Methods in Computer-Aided Design, 2012
Proceedings of the Principles and Practice of Constraint Programming, 2012
Proceedings of the Computer Aided Verification - 24th International Conference, 2012
Proceedings of the Twenty-Sixth AAAI Conference on Artificial Intelligence, 2012
2011
Softw. Syst. Model., 2011
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2011
Comput. J., 2011
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2011
Proceedings of the Model Checking Software, 2011
Proceedings of the IJCAI 2011, 2011
Proceedings of the 1st Workshop on Developing Tools as Plug-ins, 2011
Proceedings of the Computer Aided Verification - 23rd International Conference, 2011
2010
Proceedings of the Implementation and Application of Automata, 2010
Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering, 2010
Proceedings of the IEEE International High Level Design Validation and Test Workshop, 2010
Proceedings of 10th International Conference on Formal Methods in Computer-Aided Design, 2010
Proceedings of the Design, Automation and Test in Europe, 2010
Proceedings of the Computer Aided Verification, 22nd International Conference, 2010
Proceedings of the Computer Aided Verification, 22nd International Conference, 2010
2009
Proceedings of the Proceedings FM-09 Workshop on Formal Methods for Aerospace, 2009
Proceedings of the 7th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2009
The COMPASS Approach: Correctness, Modelling and Performability of Aerospace Systems.
Proceedings of the Computer Safety, 2009
Proceedings of the 2nd International Workshop on Model Based Architecting and Construction of Embedded Systems ( ACES-MB 2009 ), 2009
Proceedings of the 7th ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE 2009), 2009
Proceedings of the ASE 2009, 2009
Proceedings of 9th International Conference on Formal Methods in Computer-Aided Design, 2009
Proceedings of the Computer Aided Verification, 21st International Conference, 2009
2008
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2008
Proceedings of the Sixth IEEE International Conference on Software Engineering and Formal Methods, 2008
Proceedings of the Formal Methods for Industrial Critical Systems, 2008
2007
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2007
Proceedings of the Formal Methods in Computer-Aided Design, 7th International Conference, 2007
Proceedings of the Computer Aided Verification, 19th International Conference, 2007
Proceedings of the Computer Aided Verification, 19th International Conference, 2007
2006
Proceedings of the Implementation and Application of Automata, 2006
Proceedings of the Formal Methods in Computer-Aided Design, 6th International Conference, 2006
Proceedings of the 43rd Design Automation Conference, 2006
2004
Proceedings of the First International Workshop on Web Services and Formal Methods, 2004
Artif. Intell., 2004
Proceedings of the 2nd International Conference on Software Engineering and Formal Methods (SEFM 2004), 2004
Proceedings of the Formal Methods in Computer-Aided Design, 5th International Conference, 2004
Proceedings of the 8th International Enterprise Distributed Object Computing Conference (EDOC 2004), 2004
2003
Artif. Intell., 2003
Proceedings of the 11th IEEE International Conference on Requirements Engineering (RE 2003), 2003
Proceedings of the Agent-Oriented Software Engineering IV, 4th International Workshop, 2003
2002
Proceedings of the Verification, 2002
Proceedings of the Frontiers of Combining Systems, 4th International Workshop, 2002
Proceedings of the Computer Aided Verification, 14th International Conference, 2002
2001
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2001
Planning in Nondeterministic Domains under Partial Observability via Symbolic Model Checking.
Proceedings of the Seventeenth International Joint Conference on Artificial Intelligence, 2001
Heuristic Search + Symbolic Model Checking = Efficient Conformant Planning.
Proceedings of the Seventeenth International Joint Conference on Artificial Intelligence, 2001
2000
1999
Proceedings of the Recent Advances in AI Planning, 5th European Conference on Planning, 1999
Proceedings of the Computer Aided Verification, 11th International Conference, 1999
1998
Proceedings of the Fourth International Conference on Artificial Intelligence Planning Systems, 1998
Proceedings of the Fifteenth National Conference on Artificial Intelligence and Tenth Innovative Applications of Artificial Intelligence Conference, 1998
1997
Proceedings of the Automated Deduction, 1997
1996
A New Method for Testing Decision Procedures in Modal and Terminological Logics.
Proceedings of the 1996 International Workshop on Description Logics, 1996