Toni Mancini

Publication Activity (10 Years)

Years Active: 2002-2024
Publications (10 Years): 42

Top Topics

Solving Problems

Clinical Trials

Formal Verification

Top Venues

Fundam. Informaticae

Publications

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