Toni Mancini

90 papers A* 7A 2B 3C 6Misc 2Journal 48Unranked 19
YearRankTypeTitle / Venue / Authors
2025 J jnl
Scaling up statistical model checking of cyber-physical systems via algorithm ensemble and parallel simulations over HPC infrastructures.
J. Syst. Softw.
Leonardo Picchiami, Maxime Parmentier, Axel Legay, Toni Mancini, Enrico Tronci
2025 J jnl
Simulation-Based Design of Industry-Size Control Systems With Formal Quality Guarantees.
IEEE Trans. Ind. Informatics
Marco Esposito, Alberto Leva, Toni Mancini, Leonardo Picchiami, Enrico Tronci
2024 J jnl
Optimizing Fault-Tolerant Quality-Guaranteed Sensor Deployments for UAV Localization in Critical Areas via Computational Geometry.
IEEE Trans. Syst. Man Cybern. Syst.
Marco Esposito, Toni Mancini, Enrico Tronci
2023 J jnl
Optimising Highly-Parallel Simulation-Based Verification of Cyber-Physical Systems.
CoRR
Toni Mancini, Igor Melatti, Enrico Tronci
2023 J jnl
Optimizing Fault-Tolerant Quality-Guaranteed Sensor Deployments for UAV Localization in Critical Areas via Computational Geometry.
CoRR
Marco Esposito, Toni Mancini, Enrico Tronci
2023 J jnl
Optimizing Highly-Parallel Simulation-Based Verification of Cyber-Physical Systems.
IEEE Trans. Software Eng.
Toni Mancini, Igor Melatti, Enrico Tronci
2023 J jnl
Special issue on embedded real-time applications.
Real Time Syst.
Giorgio C. Buttazzo, Daniela De Venuto, Eugenio Di Sciascio, Toni Mancini
2022 J jnl
A Two-Layer Near-Optimal Strategy for Substation Constraint Management via Home Batteries.
IEEE Trans. Ind. Electron.
Igor Melatti, Federico Mari, Toni Mancini, Milan Prodanovic, Enrico Tronci
2022 J jnl
Any-Horizon Uniform Random Sampling and Enumeration of Constrained Scenarios for Simulation-Based Formal Verification.
IEEE Trans. Software Eng.
Toni Mancini, Igor Melatti, Enrico Tronci
2021 J jnl
A Two-Layer Near-Optimal Strategy for Substation Constraint Management via Home Batteries.
CoRR
Igor Melatti, Federico Mari, Toni Mancini, Milan Prodanovic, Enrico Tronci
2021 J jnl
Any-horizon uniform random sampling and enumeration of constrained scenarios for simulation-based formal verification.
CoRR
Toni Mancini, Igor Melatti, Enrico Tronci
2021 J jnl
Complete populations of virtual patients for in silico clinical trials.
Bioinform.
Stefano Sinisi, Vadim Alimguzhin, Toni Mancini, Enrico Tronci, Brigitte Leeners
2021 J jnl
MILP, pseudo-boolean, and OMT solvers for optimal fault-tolerant placements of relay nodes in mission critical wireless networks.
CoRR
Qian Matteo Chen, Alberto Finzi, Toni Mancini, Igor Melatti, Enrico Tronci
2021 J jnl
On checking equivalence of simulation scripts.
J. Log. Algebraic Methods Program.
Toni Mancini, Federico Mari, Annalisa Massini, Igor Melatti, Enrico Tronci
2021 J jnl
Optimal personalised treatment computation through in silico clinical trials on patient digital twins.
CoRR
Stefano Sinisi, Vadim Alimguzhin, Toni Mancini, Enrico Tronci, Federico Mari, Brigitte Leeners
2021 J jnl
Parallel Statistical Model Checking for Safety Verification in Smart Grids.
CoRR
Toni Mancini, Federico Mari, Igor Melatti, Ivano Salvo, Enrico Tronci, Jorn Klaas Gruber, Barry P. Hayes, Milan Prodanovic, Lars Elmegaard
2021 J jnl
Reconciling interoperability with efficient Verification and Validation within open source simulation environments.
CoRR
Stefano Sinisi, Vadim Alimguzhin, Toni Mancini, Enrico Tronci
2021 J jnl
Reconciling interoperability with efficient Verification and Validation within open source simulation environments.
Simul. Model. Pract. Theory
Stefano Sinisi, Vadim Alimguzhin, Toni Mancini, Enrico Tronci
2021 J jnl
SBML2Modelica: integrating biochemical models within open-standard simulation ecosystems.
CoRR
Filippo Maggioli, Toni Mancini, Enrico Tronci
2020 — conf
AI-Guided Synthesis of Personalised Pharmacological Treatments via In Silico Clinical Trials.
OVERLAY
Stefano Sinisi, Vadim Alimguzhin, Toni Mancini, Enrico Tronci, Federico Mari, Brigitte Leeners
2020 J jnl
MILP, Pseudo-Boolean, and OMT Solvers for Optimal Fault-Tolerant Placements of Relay Nodes in Mission Critical Wireless Networks.
Fundam. Informaticae
Qian Matteo Chen, Alberto Finzi, Toni Mancini, Igor Melatti, Enrico Tronci
2020 — conf
Optimal Fault-Tolerant Relay Node Positioning in Critical Wireless Networks via Artificial Intelligence.
OVERLAY
Qian Matteo Chen, Toni Mancini, Igor Melatti, Enrico Tronci, Alberto Finzi
2020 J jnl
Optimal Personalised Treatment Computation through In Silico Clinical Trials on Patient Digital Twins.
Fundam. Informaticae
Stefano Sinisi, Vadim Alimguzhin, Toni Mancini, Enrico Tronci, Federico Mari, Brigitte Leeners
2020 J jnl
SBML2Modelica: integrating biochemical models within open-standard simulation ecosystems.
Bioinform.
Filippo Maggioli, Toni Mancini, Enrico Tronci
2019 — conf
Generating T1DM Virtual Patients for In Silico Clinical Trials via AI-Guided Statistical Model Checking.
RCRA/RiCeRcA@AI*IA
Agostina Calabrese, Toni Mancini, Annalisa Massini, Stefano Sinisi, Enrico Tronci
2019 — conf
In Silico Clinical Trials through AI and Statistical Model Checking.
OVERLAY@AI*IA
Vadim Alimguzhin, Toni Mancini, Annalisa Massini, Stefano Sinisi, Enrico Tronci
2018 C conf
An Efficient Algorithm for Network Vulnerability Analysis Under Malicious Attacks.
ISMIS
Toni Mancini, Federico Mari, Igor Melatti, Ivano Salvo, Enrico Tronci
2018 — conf
Computing Personalised Treatments through In Silico Clinical Trials.
RCRA@FLoC
Toni Mancini, Federico Mari, Annalisa Massini, Igor Melatti, Ivano Salvo, Stefano Sinisi, Enrico Tronci, Rainald Ehrig, Susanna Röblitz, Brigitte Leeners
2018 — conf
Optimal Fault-Tolerant Placement of Relay Nodes in a Mission Critical Wireless Network.
RCRA@FLoC
Toni Mancini, Enrico Tronci, Agostino Scialanca, Filiberto Lanciotti, Alberto Finzi, Riccardo Guarneri, Silvia Di Pompeo
2018 — conf
Parallel Statistical Model Checking for Safety Verification in Smart Grids.
SmartGridComm
Toni Mancini, Federico Mari, Igor Melatti, Ivano Salvo, Enrico Tronci, Jorn Klaas Gruber, Barry P. Hayes, Milan Prodanovic, Lars Elmegaard
2017 J jnl
On minimising the maximum expected verification time.
Inf. Process. Lett.
Toni Mancini, Federico Mari, Annalisa Massini, Igor Melatti, Ivano Salvo, Enrico Tronci
2017 J jnl
Parallelization of Cycle-Based Logic Simulation.
Parallel Process. Lett.
Toni Mancini, Annalisa Massini, Enrico Tronci
2017 J jnl
Residential Demand Management Using Individualized Demand Aware Price Policies.
IEEE Trans. Smart Grid
Barry Patrick Hayes, Igor Melatti, Toni Mancini, Milan Prodanovic, Enrico Tronci
2016 J jnl
Anytime system level verification via parallel random exhaustive hardware in the loop simulation.
Microprocess. Microsystems
Toni Mancini, Federico Mari, Annalisa Massini, Igor Melatti, Enrico Tronci
2016 J jnl
Experimental evaluation of algorithms for solving problems with combinatorial explosion.
AI Commun.
Toni Mancini, Marco Maratea, Francesco Ricca
2016 J jnl
Now or Never: Negotiating Efficiently with Unknown or Untrusted Counterparts.
Fundam. Informaticae
Toni Mancini
2016 J jnl
SyLVaaS: System Level Formal Verification as a Service.
Fundam. Informaticae
Toni Mancini, Federico Mari, Annalisa Massini, Igor Melatti, Enrico Tronci
2015 J jnl
20th RCRA International workshop on "Experimental evaluation of algorithms for solving problems with combinatorial explosion".
J. Exp. Theor. Artif. Intell.
Toni Mancini, Marco Maratea, Francesco Ricca
2015 — conf
Computing Biological Model Parameters by Parallel Statistical Model Checking.
IWBBIO (2)
Toni Mancini, Enrico Tronci, Ivano Salvo, Federico Mari, Annalisa Massini, Igor Melatti
2015 J jnl
Experimental evaluation of algorithms for solving problems with combinatorial explosion.
AI Commun.
Toni Mancini, Angelo Oddi
2015 — conf
Now or Never: Negotiating Efficiently with Unknown Counterparts.
RCRA@AI*IA
Toni Mancini
2015 — conf
Simulator Semantics for System Level Formal Verification.
GandALF
Toni Mancini, Federico Mari, Annalisa Massini, Igor Melatti, Enrico Tronci
2015 C conf
SyLVaaS: System Level Formal Verification as a Service.
PDP
Toni Mancini, Federico Mari, Annalisa Massini, Igor Melatti, Enrico Tronci
2015 C conf
User Flexibility Aware Price Policy Synthesis for Smart Grids.
DSD
Toni Mancini, Federico Mari, Igor Melatti, Ivano Salvo, Enrico Tronci, Jorn Klaas Gruber, Barry Patrick Hayes, Milan Prodanovic, Lars Elmegaard
2014 J jnl
A Unifying Framework for Structural Properties of CSPs: Definitions, Complexity, Tractability.
CoRR
Lucas Bordeaux, Marco Cadoli, Toni Mancini
2014 C conf
Anytime System Level Verification via Random Exhaustive Hardware in the Loop Simulation.
DSD
Toni Mancini, Federico Mari, Annalisa Massini, Igor Melatti, Enrico Tronci
2014 — conf
Demand-aware price policy synthesis and verification services for Smart Grids.
SmartGridComm
Toni Mancini, Federico Mari, Igor Melatti, Ivano Salvo, Enrico Tronci, Jorn Klaas Gruber, Barry P. Hayes, Milan Prodanovic, Lars Elmegaard
2014 B conf
Patient-specific models from inter-patient biological models and clinical records.
FMCAD
Enrico Tronci, Toni Mancini, Ivano Salvo, Stefano Sinisi, Federico Mari, Igor Melatti, Annalisa Massini, Francesco Davì, Thomas Dierkes, Rainald Ehrig, Susanna Röblitz, Brigitte Leeners, Tillmann H. C. Kruger, Marcel Egli, Fabian Ille
2014 C conf
System Level Formal Verification via Distributed Multi-core Hardware in the Loop Simulation.
PDP
Toni Mancini, Federico Mari, Annalisa Massini, Igor Melatti, Enrico Tronci
2013 J jnl
Automated reasoning.
Intelligenza Artificiale
Marco Gavanelli, Toni Mancini
2013 J jnl
Finite model reasoning on UML class diagrams via constraint programming.
Intelligenza Artificiale
Marco Cadoli, Diego Calvanese, Giuseppe De Giacomo, Toni Mancini
2013 A* conf
System Level Formal Verification via Model Checking Driven Simulation.
CAV
Toni Mancini, Federico Mari, Annalisa Massini, Igor Melatti, Fabio Merli, Enrico Tronci
2012 J jnl
18th RCRA International Workshop on "Experimental evaluation of algorithms for solving problems with combinatorial explosion".
AI Commun.
Marco Gavanelli, Toni Mancini
2012 Misc conf
Combinatorial problem solving over relational databases: view synthesis through constraint-based local search.
SAC
Toni Mancini, Pierre Flener, Justin Pearson
2011 J jnl
17th RCRA international workshop on "Experimental evaluation of algorithms for solving problems with combinatorial explosion".
Ann. Math. Artif. Intell.
Marco Gavanelli, Toni Mancini
2011 J jnl
RCRA 2009 Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion.
Fundam. Informaticae
Marco Gavanelli, Toni Mancini, Alberto Pettorossi
2010 J jnl
Preface.
Fundam. Informaticae
Marco Gavanelli, Toni Mancini
2010 — ed.
Proceedings of the 16th RCRA workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion, RCRA@AI*IA 2009, Reggio Emilia, Italy, December 11-12, 2009
RCRA@AI*IA
Marco Gavanelli, Toni Mancini
2010 — ed.
Proceedings of the 17th RCRA workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion, RCRA@CPAIOR 2010, Bologna, Italy, June 10-11, 2010
RCRA@CPAIOR
Marco Gavanelli, Toni Mancini
2009 — conf
Constrained Optimization Over Massive Databases.
RCRA@AI*IA
Toni Mancini, Pierre Flener, Amir Hossein Monshi, Justin Pearson
2009 J jnl
Generalizing consistency and other constraint properties to quantified constraints.
ACM Trans. Comput. Log.
Lucas Bordeaux, Marco Cadoli, Toni Mancini
2009 Misc conf
Negotiation Exploiting Reasoning by Projections.
PAAMS
Toni Mancini
2008 J jnl
A Unifying Framework for Structural Properties of CSPs: Definitions, Complexity, Tractability.
J. Artif. Intell. Res.
Lucas Bordeaux, Marco Cadoli, Toni Mancini
2008 J jnl
Evaluating ASP and Commercial Solvers on the CSPLib.
Constraints An Int. J.
Toni Mancini, Davide Micaletto, Fabio Patrizi, Marco Cadoli
2008 — ed.
Proceedings of the 15th RCRA workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion, Udine, Italy, December 12-13, 2008.
RCRA
Marco Gavanelli, Toni Mancini
2008 J jnl
RCRA 2007: Experimental evaluation of algorithms for solving problems with combinatorial explosion.
J. Algorithms
Marco Gavanelli, Toni Mancini
2007 J jnl
Combining relational algebra, SQL, constraint modelling, and local search.
Theory Pract. Log. Program.
Marco Cadoli, Toni Mancini
2007 A* conf
Complexity of Pure Equilibria in Bayesian Games.
IJCAI
Georg Gottlob, Gianluigi Greco, Toni Mancini
2007 A* conf
Conditional Constraint Satisfaction: Logical Foundations and Complexity.
IJCAI
Georg Gottlob, Gianluigi Greco, Toni Mancini
2007 J jnl
Exploiting functional dependencies in declarative problem specifications.
Artif. Intell.
Toni Mancini, Marco Cadoli
2007 — conf
Finite Model Reasoning on UML Class Diagrams Via Constraint Programming.
AI*IA
Marco Cadoli, Diego Calvanese, Giuseppe De Giacomo, Toni Mancini
2007 J jnl
Generalizing Consistency and other Constraint Properties to Quantified Constraints
CoRR
Lucas Bordeaux, Marco Cadoli, Toni Mancini
2007 J jnl
Using a Theorem Prover for Reasoning on Constraint Problems.
Appl. Artif. Intell.
Marco Cadoli, Toni Mancini
2006 J jnl
Automated reformulation of specifications by safe delay of constraints.
Artif. Intell.
Marco Cadoli, Toni Mancini
2006 J jnl
Combining Relational Algebra, SQL, Constraint Modelling, and Local Search
CoRR
Marco Cadoli, Toni Mancini
2006 A conf
Evaluating ASP and Commercial Solvers on the CSPLib.
ECAI
Marco Cadoli, Toni Mancini, Davide Micaletto, Fabio Patrizi
2006 — conf
Evaluating ASP and commercial solvers on the CSPLib (Preliminary work).
WLP
Marco Cadoli, Toni Mancini, Davide Micaletto, Fabio Patrizi
2006 C conf
SAT as an Effective Solving Technology for Constraint Problems.
ISMIS
Marco Cadoli, Toni Mancini, Fabio Patrizi
2005 A* conf
CSP Properties for Quantified Constraints: Definitions and Complexity.
AAAI
Lucas Bordeaux, Marco Cadoli, Toni Mancini
2005 — conf
Detecting and Breaking Symmetries by Reasoning on Problem Specifications.
SARA
Toni Mancini, Marco Cadoli
2005 — conf
Using a Theorem Prover for Reasoning on Constraint Problems.
AI*IA
Marco Cadoli, Toni Mancini
2004 A* conf
Automated Reformulation of Specifications by Safe Delay of Constraints.
KR
Marco Cadoli, Toni Mancini
2004 B conf
Exploiting Fixable, Removable, and Implied Values in Constraint Satisfaction Problems.
LPAR
Lucas Bordeaux, Marco Cadoli, Toni Mancini
2004 B conf
Exploiting Functional Dependencies in Declarative Problem Specifications.
JELIA
Marco Cadoli, Toni Mancini
2004 — conf
Finite Satisfiability of UML Class Diagrams by Constraint Programming.
Description Logics
Toni Mancini
2004 A* conf
Scaling Up Reasoning about Actions Using Relational Database Technology.
AAAI
Giuseppe De Giacomo, Toni Mancini
2003 A conf
Reformulation Techniques for a Class of Permutation Problems.
CP
Toni Mancini
2003 — conf
Towards automated reformulation of specications.
APPIA-GULP-PRODE
Marco Cadoli, Toni Mancini
2002 — conf
Combining Relational Algebra, SQL, and Constraint Programming.
FroCoS
Marco Cadoli, Toni Mancini
2002 A* conf
Knowledge Compilation = Query Rewriting + View Synthesis.
PODS
Marco Cadoli, Toni Mancini