@article{esposito-etal:2023:tsmc,
	author = {Esposito, M. and Mancini, T. and Tronci, E.},
	doi = {10.1109/TSMC.2023.3327432},
	journal = {{IEEE} Transactions on Systems, Man and Cybernetics: Systems},
	number = {3},
	pages = {1515--1526},
	publisher = {IEEE},
	title = {Optimizing Fault-Tolerant Quality-Guaranteed Sensor Deployments for {UAV} Localization in Critical Areas via Computational Geometry},
	volume = {54},
	year = {2024},
}

@article{parmigiani-etal:2023:applications,
	author = {Parmigiani, G. and Meynen, G. and Mancini, T. and Ferracuti, S.},
	doi = {10.3389/fpsyt.2024.1435219},
	issn = {1664-0640},
	journal = {Frontiers in Psychiatry},
	publisher = {Frontiers},
	title = {Special issue: Applications of Artificial Intelligence in Forensic Mental Health: Opportunities and Challenges},
	year = {2024},
}

@article{picchiami-etal:2024:eaa,
	author = {Picchiami, L. and Parmentier, M. and Legay, A. and Mancini, T. and Tronci, E.},
	doi = {10.1016/j.jss.2024.112238},
	journal = {Journal of Systems and Software},
	pages = {112238},
	publisher = {Elsevier},
	title = {Scaling Up Statistical Model Checking of Cyber-Physical Systems via Algorithm Ensemble and Parallel Simulations over {HPC} Infrastructures},
	volume = {219},
	year = {2024},
}

@article{buttazzo-etal:2022:iwes-rts,
	author = {Buttazzo, G. and De Venuto, D. and Di Sciascio, E. and Mancini, T.},
	doi = {10.1007/s11241-023-09416-y},
	issn = {1573-1383},
	journal = {Real-Time Systems},
	number = {4},
	pages = {531--533},
	title = {Special section: Real-Time Embedded Systems Applications},
	volume = {59},
	year = {2023},
}

@article{kruger-etal-2023:androgen,
	author = {Kr\"{u}ger, T.H.C. and Leeners, B. and Tronci, E. and Mancini, T. and Ille, F. and Egli, M. and Engler, H. and R\"{o}blitz, S. and Frieling, H. and Sinke, C. and others},
	journal = {Physiology and Behaviour},
	pages = {114034},
	publisher = {Elsevier},
	title = {The Androgen System Across the Menstrual Cycle: Hormonal, (Epi-)genetic and Psychometric Alterations},
	volume = {259},
	year = {2023},
}

@article{mancini-etal:2023:tse,
	author = {Mancini, T. and Melatti, I. and Tronci, E.},
	doi = {10.1109/TSE.2023.3298432},
	issn = {0098-5589},
	journal = {{IEEE} Transactions on Software Engineering},
	publisher = {IEEE},
	title = {Optimising Highly-Parallel Simulation-Based Verification of Cyber-Physical Systems},
	year = {2023},
}

@article{schon-etal:2023:sexual,
	author = {Sch\"{o}n, V. and Hengartner, M.P. and Tronci, E. and Mancini, T. and Ille, F. and R\"{o}blitz, S. and Kr\"{u}ger, T. and Leeners, B.},
	journal = {Psychoneuroendocrinology},
	pages = {106060},
	publisher = {Elsevier},
	title = {Sexual Attraction to Visual Sexual Stimuli in Association with Steroid Hormones Across Menstrual Cycles and Fertility Treatment},
	volume = {151},
	year = {2023},
}

@inproceedings{esposito-etal:2022:estimation,
	author = {Esposito, M. and Picchiami, L.},
	booktitle = {Proceedings of 1st International Workshop on HYbrid Models for Coupling Deductive and Inductive ReAsoning (HYDRA~2022) and the 29th RCRA Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion (RCRA~2022)},
	pages = {51--63},
	publisher = {CEUR-WS.org},
	series = {CEUR Workshop Proceedings},
	title = {Estimation-Based Verification of Cyber-Physical Systems via Statistical Model Checking},
	volume = {3281},
	year = {2022},
}

@inproceedings{esposito-etal:2022:formal,
	author = {Esposito, M. and Picchiami, L.},
	booktitle = {Proceedings of 4th Workshop on Artificial Intelligence and Formal Verification, Logic, Automata, and Synthesis (OVERLAY~2022)},
	pages = {63--71},
	publisher = {CEUR-WS.org},
	series = {CEUR Workshop Proceedings},
	title = {Formal Certification of Surrogate Models for Cyber-Physical Systems Verification},
	volume = {3311},
	year = {2022},
}

@inproceedings{esposito:2022:comparative,
	author = {Esposito, M. and Picchiami, L.},
	booktitle = {Proceedings of 20th International Conference of the Italian Association for Artificial Intelligence, (AI*IA~2021), Revised Selected Papers},
	doi = {10.1007/978-3-031-08421-8_44},
	pages = {638--654},
	publisher = {Springer},
	series = {Lecture Notes in Computer Science},
	title = {A Comparative Study of {AI} Search Methods for Personalised Cancer Therapy Synthesis in {COPASI}},
	volume = {13196},
	year = {2022},
}

@article{lefebvre-etal:2022:food,
	author = {Lefebvre, M. and Hengartner, M.P. and Tronci, E. and Mancini, T. and Ille, F. and R\"{o}blitz, S. and Kr\"{u}ger, T. and Leeners, B.},
	journal = {Physiology and Behaviour},
	pages = {113943},
	publisher = {Elsevier},
	title = {Food Preferences Throughout the Menstrual Cycle--A Computer-Assisted Neuro-endocrino-psychological Investigation},
	volume = {255},
	year = {2022},
}

@article{mancini-etal:2021:tse-supervisory,
	author = {Mancini, T. and Melatti, I. and Tronci, E.},
	doi = {10.1109/TSE.2021.3109842},
	issn = {0098-5589},
	journal = {{IEEE} Transactions on Software Engineering},
	number = {10},
	pages = {4002--4013},
	publisher = {IEEE},
	title = {Any-horizon Uniform Random Sampling and Enumeration of Constrained Scenarios for Simulation-based Formal Verification},
	volume = {48},
	year = {2022},
}

@article{melatti-etal:2021:tie,
	author = {Melatti, I. and Mari, F. and Mancini, T. and Prodanovic, M. and Tronci, E.},
	doi = {10.1109/TIE.2021.3102431},
	issn = {0278-0046},
	journal = {{IEEE} Transactions on Industrial Electronics},
	number = {8},
	pages = {8566--8578},
	publisher = {IEEE},
	title = {A Two-Layer Near-Optimal Strategy for Substation Constraint Management via Home Batteries},
	volume = {69},
	year = {2022},
}

@article{parmigiani-etal:2022:impact,
	author = {Parmigiani, G. and Barchielli, B. and Casale, S. and Mancini, T. and Ferracuti, S.},
	issn = {1664-0640},
	journal = {Frontiers in Psychiatry},
	publisher = {Frontiers},
	title = {The Impact of Machine Learning in Predicting Risk of Violence: {A} Systematic Review},
	volume = {13},
	year = {2022},
}

@inproceedings{esposito:2021:overlay-antidrone,
	author = {Esposito, M.},
	booktitle = {Proceedings of 3rd Workshop on Artificial Intelligence and Formal Verification, Logic, Automata, and Synthesis (OVERLAY~2021)},
	pages = {97--101},
	publisher = {CEUR-WS.org},
	series = {CEUR Workshop Proceedings},
	title = {{AI}-Guided Optimal Deployments of Drone- Intercepting Systems in Large Critical Areas},
	volume = {2987},
	year = {2021},
}

@inproceedings{esposito:2021:overlay-therapies,
	author = {Esposito, M. and Picchiami, L.},
	booktitle = {Proceedings of 3rd Workshop on Artificial Intelligence and Formal Verification, Logic, Automata, and Synthesis (OVERLAY~2021)},
	pages = {109--113},
	publisher = {CEUR-WS.org},
	series = {CEUR Workshop Proceedings},
	title = {Simulation-Based Synthesis of Personalised Therapies for Colorectal Cancer},
	volume = {2987},
	year = {2021},
}

@inproceedings{esposito:2021:rcra-therapies,
	author = {Esposito, M. and Picchiami, L.},
	booktitle = {Proceedings of 9th Italian workshop on Planning and Scheduling (IPS~2021) and the 28th RCRA International Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion (RCRA~2021)},
	pages = {69--84},
	publisher = {CEUR-WS.org},
	series = {CEUR Workshop Proceedings},
	title = {Intelligent Search for Personalized Cancer Therapy Synthesis: an Experimental Comparison},
	volume = {3065},
	year = {2021},
}

@article{fischer-etal:2021:mathematical,
	author = {Fischer, S. and Ehrig, R. and Sch\"{a}fer, S. and Tronci, E. and Mancini, T. and Egli, M. and Ille, F. and Kr\"{u}ger, T.H.C. and Leeners, B. and R\"{o}blitz, S.},
	doi = {10.3389/fendo.2021.613048},
	issn = {1664-2392},
	journal = {Frontiers in Endocrinology},
	pages = {117},
	publisher = {Frontiers},
	title = {Mathematical Modeling and Simulation Provides Evidence for New Strategies of Ovarian Stimulation},
	volume = {12},
	year = {2021},
}

@article{leeners-etal:2021:cognitive,
	author = {Leeners, B. and Kr\"{u}ger, T. and Geraedts, K. and Tronci, E. and Mancini, T. and Ille, F. and Egli, M. and R\"{o}blitz, S. and Wunder, D. and S., Lanja and Schippert, C. and Hengartner, M.P.},
	doi = {10.1016/j.yhbeh.2021.104951},
	journal = {Hormones and Behavior},
	pages = {104951},
	publisher = {Elsevier},
	title = {Cognitive Function in Association with High Estradiol Levels Resulting from Fertility Treatment},
	volume = {130},
	year = {2021},
}

@article{mancini-etal:2021:jlamp,
	author = {Mancini, T. and Mari, F. and Massini, A. and Melatti, I. and Tronci, E.},
	doi = {10.1016/j.jlamp.2021.100640},
	issn = {2352-2208},
	journal = {Journal of Logical and Algebraic Methods in Programming},
	pages = {100640},
	publisher = {Elsevier},
	title = {On Checking Equivalence of Simulation Scripts},
	volume = {120},
	year = {2021},
}

@article{sinisi-etal:2021:fmu,
	author = {Sinisi, S. and Alimguzhin, V. and Mancini, T. and Tronci, E.},
	doi = {10.1016/j.simpat.2021.102277},
	issn = {1569-190X},
	journal = {Simulation Modelling Practice and Theory},
	pages = {102277},
	publisher = {Elsevier},
	title = {Reconciling Interoperability with Efficient Verification and Validation within Open Source Simulation Environments},
	volume = {109},
	year = {2021},
}

@article{chen-etal:2020:fundam,
	author = {Chen, Q.M. and Finzi, A. and Mancini, T. and Melatti, I. and Tronci, E.},
	doi = {10.3233/FI-2020-1941},
	journal = {Fundamenta Informaticae},
	number = {3--4},
	pages = {229--258},
	publisher = {IOS Press},
	title = {{MILP}, Pseudo-Boolean, and {OMT} Solvers for Optimal Fault-Tolerant Placements of Relay Nodes in Mission Critical Wireless Networks},
	volume = {174},
	year = {2020},
}

@article{maggioli-etal:2019:bioinf,
	author = {Maggioli, F. and Mancini, T. and Tronci, E.},
	doi = {10.1093/bioinformatics/btz860},
	issn = {1367-4803},
	journal = {Bioinformatics},
	number = {7},
	pages = {2165--2172},
	publisher = {Oxford University Press},
	title = {{SBML2Modelica}: Integrating Biochemical Models within Open-Standard Simulation Ecosystems},
	volume = {36},
	year = {2020},
}

@article{pappagallo-etal:2020:smc,
	author = {Pappagallo, A. and Massini, A. and Tronci, E.},
	doi = {10.3390/info11120588},
	journal = {Information},
	number = {12},
	pages = {588},
	publisher = {MDPI},
	title = {{M}onte {C}arlo based Statistical Model Checking of Cyber-Physical Systems: a Review},
	volume = {11},
	year = {2020},
}

@article{sinisi-etal:2020:bioinf,
	author = {Sinisi, S. and Alimguzhin, V. and Mancini, T. and Tronci, E. and Leeners, B.},
	doi = {10.1093/bioinformatics/btaa1026},
	issn = {1367-4803},
	journal = {Bioinformatics},
	number = {22--23},
	pages = {5465--5472},
	publisher = {Oxford University Press},
	title = {Complete populations of virtual patients for in silico clinical trials},
	volume = {36},
	year = {2020},
}

@article{sinisi-etal:2020:fundam,
	author = {Sinisi, S. and Alimguzhin, V. and Mancini, T. and Tronci, E. and Mari, F. and Leeners, B.},
	doi = {10.3233/FI-2020-1943},
	journal = {Fundamenta Informaticae},
	number = {3--4},
	pages = {283--310},
	publisher = {IOS Press},
	title = {Optimal Personalised Treatment Computation through In Silico Clinical Trials on Patient Digital Twins},
	volume = {174},
	year = {2020},
}

@inproceedings{alimguzhin-etal:2019:insilico,
	author = {Alimguzhin, V. and Mancini, T. and Massini, A. and Sinisi, S. and Tronci, E.},
	booktitle = {Proceedings of 1st Workshop on Artificial Intelligence and Formal Verification, Logic, Automata, and Synthesis (OVERLAY~2019)},
	pages = {17--22},
	publisher = {CEUR-WS.org},
	series = {CEUR Workshop Proceedings},
	title = {In Silico Clinical Trials through {AI} and Statistical Model Checking},
	url = {http://ceur-ws.org/Vol-2509/paper2.pdf},
	volume = {2509},
	year = {2019},
}

@inproceedings{calabrese-etal:2019:rcra,
	author = {Calabrese, A. and Mancini, T. and Massini, A. and Sinisi, S. and Tronci, E.},
	booktitle = {Proceedings of 26th RCRA International Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion (RCRA~2019)},
	publisher = {CEUR-WS.org},
	series = {CEUR Workshop Proceedings},
	title = {Generating {T1DM} Virtual Patients for In Silico Clinical Trials via {AI}-Guided Statistical Model Checking},
	volume = {2538},
	year = {2019},
}

@article{leeners-etal:2019:front-psychol,
	author = {Leeners, B. and Kr\"{u}ger, T.H.C. and Geraedts, K. and Tronci, E. and Mancini, T. and Egli, M. and R\"{o}blitz, S. and Saleh, L. and Spanaus, K. and Schippert, C. and Zhang, Y. and Ille, F.},
	doi = {10.3389/fpsyg.2019.01296},
	issn = {1664-1078},
	journal = {Frontiers in Psychology},
	pages = {1296},
	publisher = {Frontiers},
	title = {Associations Between Natural Physiological and Supraphysiological Estradiol Levels and Stress Perception},
	volume = {10},
	year = {2019},
}

@inproceedings{driouich-etal:eems:2018,
	author = {Driouich, Y. and Parente, M. and Tronci, E.},
	booktitle = {Proceedings of 2018 IEEE Workshop on Environmental, Energy, and Structural Monitoring Systems (EESMS~2018)},
	doi = {10.1109/EESMS.2018.8405826},
	pages = {1--5},
	publisher = {IEEE},
	title = {A Methodology for a Complete Simulation of Cyber-Physical Energy Systems},
	year = {2018},
}

@inproceedings{driouich-etal:irsec:2018,
	author = {Driouich, Y. and Parente, M. and Tronci, E.},
	booktitle = {Proceedings of 2017 International Renewable and Sustainable Energy Conference (IRSEC~2017)},
	doi = {10.1109/IRSEC.2017.8477334},
	isbn = {9781538628478},
	publisher = {IEEE},
	title = {Model Checking Cyber-Physical Energy Systems},
	year = {2018},
}

@inproceedings{mancini-etal:2018:rcra-treatment,
	author = {Mancini, T. and Mari, F. and Massini, A. and Melatti, I. and Salvo, I. and Sinisi, S. and Tronci, E. and Ehrig, R. and R\"{o}blitz, S. and Leeners, B.},
	booktitle = {Proceedings of 25th RCRA International Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion (RCRA~2018)},
	publisher = {CEUR-WS.org},
	series = {CEUR Workshop Proceedings},
	title = {Computing Personalised Treatments through In Silico Clinical Trials. {{A}} Case Study on Downregulation in Assisted Reproduction},
	volume = {2271},
	year = {2018},
}

@inproceedings{mancini-etal:2018:ismis,
	author = {Mancini, T. and Mari, F. and Melatti, I. and Salvo, I. and Tronci, E.},
	booktitle = {Proceedings of The 24th International Symposium on Methodologies for Intelligent Systems (ISMIS~2018)},
	doi = {10.1007/978-3-030-01851-1_29},
	publisher = {Springer},
	title = {An Efficient Algorithm for Network Vulnerability Analysis under Malicious Attacks},
	year = {2018},
}

@inproceedings{mancini-etal:2018:smartgridcomm,
	__pages = {xx--yy},
	author = {Mancini, T. and Mari, F. and Melatti, I. and Salvo, I. and Tronci, E. and Gruber, J.K. and Hayes, B. and Elmegaard, L.},
	booktitle = {Proceedings of 2018 IEEE International Conference on Smart Grid Communications (SmartGridComm~2018)},
	doi = {10.1109/SmartGridComm.2018.8587416},
	publisher = {IEEE},
	title = {Parallel Statistical Model Checking for Safety Verification in Smart Grids},
	year = {2018},
}

@inproceedings{mancini-etal:2018:rcra-relay,
	author = {Mancini, T. and Tronci, E. and Scialanca, A. and Lanciotti, F. and Finzi, A. and Guarneri, R. and Di Pompeo, S.},
	booktitle = {Proceedings of 25th RCRA International Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion (RCRA~2018)},
	publisher = {CEUR-WS.org},
	series = {CEUR Workshop Proceedings},
	title = {Optimal Fault-Tolerant Placement of Relay Nodes in a Mission Critical Wireless Network},
	volume = {2271},
	year = {2018},
}

@article{alimguzhin-etal:2017:tac,
	author = {Alimguzhin, V. and Mari, F. and Melatti, I. and Salvo, I. and Tronci, E.},
	doi = {10.1109/TAC.2017.2694559},
	issn = {0018-9286},
	journal = {{IEEE} Transactions on Automatic Control},
	number = {10},
	pages = {5357--5364},
	publisher = {IEEE},
	title = {Linearizing Discrete-Time Hybrid Systems},
	volume = {62},
	year = {2017},
}

@article{hayes-etal:2016:tsg,
	author = {Hayes, B.P. and Melatti, I. and Mancini, T. and Prodanovic, M. and Tronci, E.},
	doi = {10.1109/TSG.2016.2596790},
	issn = {1949-3053},
	journal = {{IEEE} Transactions on Smart Grid},
	number = {3},
	publisher = {IEEE},
	title = {Residential Demand Management using Individualised Demand Aware Price Policies},
	volume = {8},
	year = {2017},
}

@article{hengartner-etal:2017:psycho,
	author = {Hengartner, M.P. and Kruger, T.H.C. and Geraedts, K. and Tronci, E. and Mancini, T. and Ille, F. and Egli, M. and Roeblitz, S. and Ehrig, R. and Saleh, L. and Spanaus, K. and Schippert, C. and Zhang, Y. and Leeners, B.},
	doi = {10.1016/j.jpsychores.2017.05.018},
	journal = {Journal of Psychosomatic Research},
	pages = {21--27},
	publisher = {Elsevier},
	title = {Negative Affect is Unrelated to Fluctuations in Hormone Levels Across the Menstrual Cycle: Evidence from a Multisite Observational Study across Two Successive Cycles},
	volume = {99},
	year = {2017},
}

@article{leeners-etal:2017:behavioral,
	author = {Leeners, B. and Kruger, T.H.C. and Geraedts, K. and Tronci, E. and Mancini, T. and Ille, F. and Egli, M. and Roeblitz, S. and Saleh, L. and Spanaus, K. and Schippert, C. and Zhang, Y. and Hengartner, M.P.},
	doi = {10.3389/fnbeh.2017.00120},
	journal = {Frontiers in Behavioral Neuroscience},
	publisher = {Frontiers},
	title = {Lack of Associations between Female Hormone Levels and Visuospatial Working Memory, Divided Attention and Cognitive Bias across Two Consecutive Menstrual Cycles},
	volume = {11},
	year = {2017},
}

@article{mancini-etal:2017:ipl,
	author = {Mancini, T. and Mari, F. and Massini, A. and Melatti, I. and Salvo, I. and Tronci, E.},
	doi = {10.1016/j.ipl.2017.02.001},
	issn = {0020-0190},
	journal = {Information Processing Letters},
	pages = {8--16},
	publisher = {Elsevier},
	title = {On Minimising the Maximum Expected Verification Time},
	volume = {122},
	year = {2017},
}

@article{mancini-etal:2017:ppl,
	author = {Mancini, T. and Massini, A. and Tronci, E.},
	journal = {Parallel Processing Letters},
	number = {2},
	pages = {1--16},
	publisher = {World Scientific},
	title = {Parallelization of Cycle-Based Logic Simulation},
	volume = {27},
	year = {2017},
}

@inproceedings{ehrig-etal:2015:biomat,
	author = {Ehrig, R. and Dierkes, T. and Sch\"{a}fer, S. and R\"{o}blitz S. and Tronci, E. and Mancini, T. and Salvo, I. and Alimguzhin, V. and Mari, F. and Melatti, I. and Massini, A. and Kr\"{u}ger, T.H.C. and Egli, M. and Ille, F. and Leeners, B.},
	booktitle = {Proceedings of 15th International Symposium on Mathematical and Computational Biology (BIOMAT~2015)},
	doi = {10.1142/9789813141919_0005},
	pages = {67--88},
	publisher = {World Scientific},
	title = {An Integrative Approach for Model Driven Computation of Treatments in Reproductive Medicine},
	year = {2016},
}

@article{mancini:2016:negotiation,
	author = {Mancini, T.},
	doi = {10.3233/FI-2016-1443},
	journal = {Fundamenta Informaticae},
	number = {1-2},
	pages = {61--100},
	publisher = {IOS Press},
	title = {{N}ow or {N}ever: Negotiating Efficiently with Unknown or Untrusted Counterparts},
	volume = {149},
	year = {2016},
}

@misc{mancini:2016:negotiation:appendix,
	author = {Mancini, T.},
	title = {{N}ow or {N}ever: Negotiating Efficiently with Unknown or Untrusted Counterparts (Appendix)},
	url = {http://tmancini.di.uniroma1.it},
	year = {2016},
}

@article{mancini-etal:2014:rcra-aicomm,
	author = {Mancini, T. and Maratea, M. and Ricca, F.},
	doi = {10.3233/AIC-160701},
	journal = {{AI} Communications},
	number = {2},
	pages = {245--247},
	publisher = {IOS Press},
	title = {Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion},
	volume = {29},
	year = {2016},
}

@article{mancini-etal:2016:fundam,
	author = {Mancini, T. and Mari, F. and Massini, A. and Melatti, I. and Tronci, E.},
	doi = {10.3233/FI-2016-1444},
	journal = {Fundamenta Informaticae},
	number = {1--2},
	pages = {101--132},
	publisher = {IOS Press},
	title = {{SyLVaaS}: System Level Formal Verification as a Service},
	volume = {149},
	year = {2016},
}

@article{mancini-etal:2016:micpro,
	author = {Mancini, T. and Mari, F. and Massini, A. and Melatti, I. and Tronci, E.},
	doi = {10.1016/j.micpro.2015.10.010},
	issn = {0141-9331},
	journal = {Microprocessors and Microsystems},
	pages = {12--28},
	publisher = {Elsevier},
	title = {Anytime System Level Verification via Parallel Random Exhaustive Hardware in the Loop Simulation},
	volume = {41},
	year = {2016},
}

@mastersthesis{sinisi:2016:thesis,
	author = {Sinisi, S.},
	note = {Master Thesis},
	school = {Sapienza University of Rome},
	title = {Computing Patient-Specific Biological Models for Personalised Medicine via Model Checking Driven Simulation},
	year = {2016},
}

@inproceedings{mancini:2015:negotiation,
	author = {Mancini, T.},
	booktitle = {Proceedings of 22nd RCRA International Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion (RCRA~2015)},
	pages = {47--61},
	publisher = {CEUR-WS.org},
	series = {CEUR Workshop Proceedings},
	title = {{N}ow or {N}ever: Negotiating Efficiently with Unknown Counterparts},
	volume = {1451},
	year = {2015},
}

@article{mancini-etal:2012:rcra-jetai,
	author = {Mancini, T. and Maratea, M. and Ricca, F.},
	doi = {10.1080/0952813X.2014.993509},
	journal = {Journal of Experimental and Theoretical Artificial Intelligence},
	number = {5},
	pages = {501--502},
	publisher = {Taylor \& Francis},
	title = {20th {RCRA} International Workshop on ``Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion''},
	volume = {27},
	year = {2015},
}

@article{mancini-etal:2015:gandalf,
	author = {Mancini, T. and Mari, F. and Massini, A. and Melatti, I. and Tronci, E.},
	doi = {10.4204/EPTCS.193.7},
	journal = {Electronic Proceedings in Theoretical Computer Science},
	pages = {86--99},
	title = {Simulator Semantics for System Level Formal Verification},
	volume = {193},
	year = {2015},
}

@inproceedings{mancini-etal:2015:sylvaas-pdp,
	author = {Mancini, T. and Mari, F. and Massini, A. and Melatti, I. and Tronci, E.},
	booktitle = {Proceedings of 23rd Euromicro International Conference on Parallel, Distributed, and Network-Based Processing (PDP~2015)},
	doi = {10.1109/PDP.2015.119},
	pages = {476--483},
	publisher = {IEEE},
	title = {{SyLVaaS}: System Level Formal Verification as a Service},
	year = {2015},
}

@inproceedings{mancini-etal:2015:dsd,
	author = {Mancini, T. and Mari, F. and Melatti, I. and Salvo, I. and Tronci, E. and Gruber, J.K. and Hayes, B. and Prodanovic, M. and Elmegaard, L.},
	booktitle = {Proceedings of 18th Euromicro Conference on Digital System Design (DSD~2015)},
	doi = {10.1109/DSD.2015.35},
	pages = {478--485},
	publisher = {IEEE},
	title = {User Flexibility Aware Price Policy Synthesis for Smart Grids},
	year = {2015},
}

@article{mancini-etal:2013:rcra-aicomm,
	author = {Mancini, T. and Oddi, A.},
	doi = {10.3233/AIC-140655},
	journal = {{AI} Communications},
	number = {2},
	pages = {159--160},
	publisher = {IOS Press},
	title = {Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion},
	volume = {28},
	year = {2015},
}

@inproceedings{mancini-etal:2015:iwbbio,
	author = {Mancini, T. and Tronci, E. and Salvo, I. and Mari, F. and Massini, A. and Melatti, I.},
	booktitle = {Proceedings of 3rd International Conference on Bioinformatics and Biomedical Engineering (IWBBIO~2015)},
	doi = {10.1007/978-3-319-16480-9_52},
	pages = {542--554},
	publisher = {Springer},
	series = {Lecture Notes in Computer Science},
	title = {Computing Biological Model Parameters by Parallel Statistical Model Checking},
	volume = {9044},
	year = {2015},
}

@inproceedings{mancini-etal:2014:dsd-anytime,
	author = {Mancini, T. and Mari, F. and Massini, A. and Melatti, I. and Tronci, E.},
	booktitle = {Proceedings of 17th Euromicro Conference on Digital System Design (DSD~2014)},
	doi = {10.1109/DSD.2014.91},
	pages = {236--245},
	publisher = {IEEE},
	title = {Anytime System Level Verification via Random Exhaustive Hardware In The Loop Simulation},
	year = {2014},
}

@inproceedings{mancini-etal:2014:pdp,
	author = {Mancini, T. and Mari, F. and Massini, A. and Melatti, I. and Tronci, E.},
	booktitle = {Proceedings of 22nd Euromicro International Conference on Parallel, Distributed, and Network-Based Processing (PDP~2014)},
	doi = {10.1109/PDP.2014.32},
	pages = {734--742},
	publisher = {IEEE},
	title = {System Level Formal Verification via Distributed Multi-Core Hardware in the Loop Simulation},
	year = {2014},
}

@inproceedings{mancini-etal:2014:smartgridcomm,
	author = {Mancini, T. and Mari, F. and Melatti, I. and Salvo, I. and Tronci, E. and Gruber, J. and Hayes, B. and Prodanovic, M. and Elmegaard, L.},
	booktitle = {Proceedings of 2014 IEEE International Conference on Smart Grid Communications (SmartGridComm~2014)},
	doi = {10.1109/SmartGridComm.2014.7007745},
	pages = {794--799},
	publisher = {IEEE},
	title = {Demand-Aware Price Policy Synthesis and Verification Services for Smart Grids},
	year = {2014},
}

@article{mari-etal:2014:tosem,
	author = {Mari, F. and Melatti, I. and Salvo, I. and Tronci, E.},
	issn = {1049-331X},
	journal = {{ACM} Transactions on Software Engineering and Methodology},
	number = {1},
	pages = {1--42},
	publisher = {ACM},
	title = {Model Based Synthesis of Control Software from System Level Formal Specifications},
	volume = {23},
	year = {2014},
}

@inproceedings{tronci-etal:2014:seaa-dsd-wip,
	author = {Tronci, E. and Mancini, T. and Mari, F. and Melatti, I. and Jacobsen, R.H. and Ebeid, E. and Mikkelsen, S.A. and Prodanovic, M. and Gruber, J.K. and Hayes, B.},
	booktitle = {Proceedings of Work in Progress Session of SEAA/DSD~2014},
	isbn = {978-3-902457-40-0},
	title = {{SmartHG}: Energy Demand Aware Open Services for Smart Grid Intelligent Automation},
	year = {2014},
}

@inproceedings{mancini-etal:2014:fmcad,
	author = {Tronci, E. and Mancini, T. and Salvo, I. and Sinisi, S. and Mari, F. and Melatti, I. and Massini, A. and Dav{i'}, F. and Dierkes, T. and Ehrig, R. and R\"{o}blitz, S. and Leeners, B. and Kr\"{u}ger, T.H.C. and Egli, M. and Ille, F.},
	booktitle = {Proceedings of 14th International Conference on Formal Methods in Computer-Aided Design (FMCAD 2014)},
	doi = {10.1109/FMCAD.2014.6987615},
	pages = {207--214},
	publisher = {IEEE},
	title = {Patient-Specific Models from Inter-Patient Biological Models and Clinical Records},
	year = {2014},
}

@inproceedings{alimguzhin-etal:2013:mapreduce,
	author = {Alimguzhin, V. and Mari, F. and Melatti, I. and Salvo, I. and Tronci, E.},
	booktitle = {Proceedings of 20th International SPIN Symposium on Model Checking of Software (SPIN~2013)},
	doi = {10.1007/978-3-642-39176-7_4},
	pages = {43--60},
	publisher = {Springer},
	series = {Lecture Notes in Computer Science},
	title = {A Map-Reduce Parallel Approach to Automatic Synthesis of Control Software},
	volume = {7976},
	year = {2013},
}

@inproceedings{alimguzhin-etal:2013:onthefly,
	author = {Alimguzhin, V. and Mari, F. and Melatti, I. and Salvo, I. and Tronci, E.},
	booktitle = {Proceedings of 20th International SPIN Symposium on Model Checking of Software (SPIN~2013)},
	doi = {10.1007/978-3-642-39176-7_5},
	pages = {61--80},
	publisher = {Springer},
	series = {Lecture Notes in Computer Science},
	title = {On-the-Fly Control Software Synthesis},
	volume = {7976},
	year = {2013},
}

@article{cadoli-etal:2013:uml,
	author = {Cadoli, M. and Calvanese, D. and {De Giacomo}, G. and Mancini, T.},
	doi = {10.3233/IA-130045},
	issn = {1724-8035},
	journal = {Intelligenza Artificiale},
	number = {1},
	pages = {57--65},
	publisher = {IOS Press},
	title = {Finite Model Reasoning on {UML} Class Diagrams via Constraint Programming},
	volume = {7},
	year = {2013},
}

@article{dellapenna-etal:2013:eurjcontrol,
	author = {Della Penna, G. and Intrigila, B. and Magazzeni, D. and Melatti, I. and Tronci, E.},
	journal = {European Journal of Control},
	number = {1},
	pages = {14--36},
	publisher = {Elsevier},
	title = {Cgmurphi: Automatic synthesis of numerical controllers for nonlinear hybrid systems},
	volume = {19},
	year = {2013},
}

@article{gavanelli-etal:2013:intartif,
	author = {Gavanelli, M. and Mancini, T.},
	doi = {10.3233/IA-130053},
	issn = {1724-8035},
	journal = {Intelligenza Artificiale},
	number = {2},
	pages = {113--124},
	publisher = {IOS Press},
	title = {Automated Reasoning},
	volume = {7},
	year = {2013},
}

@inproceedings{mancini-etal:2013:cav,
	author = {Mancini, T. and Mari, F. and Massini, A. and Melatti, I. and Merli, F. and Tronci, E.},
	booktitle = {Proceedings of 25th International Conference on Computer Aided Verification (CAV~2013)},
	doi = {10.1007/978-3-642-39799-8_21},
	pages = {296--312},
	publisher = {Springer},
	series = {Lecture Notes in Computer Science},
	title = {System Level Formal Verification via Model Checking Driven Simulation},
	volume = {8044},
	year = {2013},
}

@inproceedings{alimguzhin-etal:2012:cdc,
	author = {Alimguzhin, V. and Mari, F. and Melatti, I. and Salvo, I. and Tronci, E.},
	booktitle = {Proceedings of 51th IEEE Conference on Decision and Control (CDC~2012)},
	doi = {10.1109/CDC.2012.6426260},
	pages = {6120--6125},
	publisher = {IEEE},
	title = {Automatic Control Software Synthesis for Quantized Discrete Time Hybrid Systems},
	year = {2012},
}

@inproceedings{alimguzhin-etal:2012:emsoft,
	author = {Alimguzhin, V. and Mari, F. and Melatti, I. and Salvo, I. and Tronci, E.},
	booktitle = {Proceedings of 12th International Conference on Embedded Software (EMSOFT~2012)},
	doi = {10.1145/2380356.2380398},
	pages = {227--236},
	publisher = {ACM},
	title = {On Model Based Synthesis of Embedded Control Software},
	year = {2012},
}

@article{gavanelli-etal:2011:rcra-aicomm,
	author = {Gavanelli, M. and Mancini, T.},
	doi = {10.3233/AIC-2012-0528},
	journal = {{AI} Communications},
	number = {2},
	pages = {73--74},
	publisher = {IOS Press},
	title = {18th {RCRA} International Workshop on ``Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion''},
	volume = {25},
	year = {2012},
}

@inproceedings{mancini-etal:2012:sac,
	author = {Mancini, T. and Flener, P. and Pearson, J.},
	booktitle = {Proceedings of {ACM} Symposium on Applied Computing (SAC~2012)},
	doi = {10.1145/2245276.2245295},
	pages = {80--87},
	publisher = {ACM},
	title = {Combinatorial Problem Solving over Relational Databases: View Synthesis through Constraint-Based Local Search},
	year = {2012},
}

@inproceedings{mari-etal:2012:ictac,
	author = {Mari, F. and Melatti, I. and Salvo, I. and Tronci, E.},
	booktitle = {Proceedings of 9th International Colloquium on Theoretical Aspects of Computing (ICTAC~2012)},
	doi = {10.1007/978-3-642-32943-2_19},
	pages = {243--258},
	publisher = {Springer},
	series = {Lecture Notes in Computer Science},
	title = {Undecidability of Quantized State Feedback Control for Discrete Time Linear Hybrid Systems},
	volume = {7521},
	year = {2012},
}

@article{mari-etal:2012:ijasw,
	author = {Mari, F. and Melatti, I. and Salvo, I. and Tronci, E.},
	journal = {International Journal on Advances in Software},
	number = {3\&4},
	pages = {212--223},
	publisher = {IARIA},
	title = {Synthesizing Control Software from Boolean Relations},
	volume = {5},
	year = {2012},
}

@inproceedings{verzino-etal:2012:spaceops,
	author = {Verzino, G. and Cavaliere, F. and Mari, F. and Melatti, I. and Minei, G. and Salvo, I. and Yushtein, Y. and Tronci, E.},
	booktitle = {Proceedings of 12th International Conference on Space Operations (SpaceOps~2012)},
	doi = {10.2514/6.2012-1275611},
	title = {Model Checking Driven Simulation of Sat Procedures},
	year = {2012},
}

@inproceedings{cavaliere-etal:2011:dasia,
	author = {Cavaliere, F. and Mari, F. and Melatti, I. and Minei, G. and Salvo, I. and Tronci, E. and Verzino, G. and Yushtein, Y.},
	booktitle = {Proceedings of DAta Systems In Aerospace (DASIA~2011)},
	title = {Model checking satellite operational procedures},
	year = {2011},
}

@inproceedings{dellapenna-etal:2011:icinco,
	author = {Della Penna, G. and Mercorio, F. and Intrigila, B. and Magazzeni, D. and Tronci, E.},
	booktitle = {Proceedings of The 8th International Conference on Informatics in Control, Automation and Robotics (ICINCO~2011)},
	isbn = {978-989-8425-74-4},
	pages = {56--66},
	publisher = {SciTePress},
	title = {Cost-optimal Strong Planning in Non-deterministic Domains},
	year = {2011},
}

@article{gavanelli-etal:2010:rcra-amai,
	author = {Gavanelli, M. and Mancini, T.},
	doi = {10.1007/s10472-011-9268-4},
	journal = {Annals of Mathematics and Artificial Intelligence},
	number = {3--4},
	pages = {159--160},
	publisher = {Springer},
	title = {17th {RCRA} International Workshop on ``Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion''},
	volume = {62},
	year = {2011},
}

@article{gavanelli-etal:2009:rcra-fundam,
	author = {Gavanelli, M. and Mancini, T. and Pettorossi, A.},
	doi = {10.3233/FI-2011-396},
	journal = {Fundamenta Informaticae},
	number = {2--3},
	publisher = {IOS Press},
	title = {{RCRA} 2009: Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion},
	volume = {107},
	year = {2011},
}

@inproceedings{mari-etal:2011:icsea,
	author = {Mari, F. and Melatti, I. and Salvo, I. and Tronci, E.},
	booktitle = {Proceedings of The Sixth International Conference on Software Engineering Advances (ICSEA~2011)},
	issn = {978-1-61208-165-6},
	pages = {528--533},
	publisher = {ThinkMind},
	title = {From Boolean Relations to Control Software},
	year = {2011},
}

@article{cesta-etal:2010:ker,
	author = {Cesta, A. and Finzi, A. and Fratini, S. and Orlandini, A. and Tronci, E.},
	doi = {10.1017/S0269888910000160},
	journal = {Knowledge Engineering Review},
	number = {3},
	pages = {299--318},
	publisher = {Cambridge University Press},
	title = {Validation and Verification Issues in a Timeline-Based Planning System},
	volume = {25},
	year = {2010},
}

@article{gavanelli-etal:2008:rcra-fundam,
	author = {Gavanelli, M. and Mancini, T.},
	doi = {10.3233/FI-2010-306},
	journal = {Fundamenta Informaticae},
	number = {3--4},
	pages = {i--ii},
	publisher = {IOS Press},
	title = {Preface -- {RCRA} 2008: Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion},
	volume = {102},
	year = {2010},
}

@inproceedings{mari-etal:2010:cav,
	author = {Mari, F. and Melatti, I. and Salvo, I. and Tronci, E.},
	booktitle = {Proceedings of 22nd International Conference on Computer Aided Verification (CAV~2010)},
	doi = {10.1007/978-3-642-14295-6_20},
	pages = {180--195},
	publisher = {Springer},
	series = {Lecture Notes in Computer Science},
	title = {Synthesis of Quantized Feedback Control Software for Discrete Time Linear Hybrid Systems},
	volume = {6174},
	year = {2010},
}

@article{bordeaux-etal:2009:tocl,
	author = {Bordeaux, L. and Cadoli, M. and Mancini, T.},
	doi = {10.1145/1507244.1507247},
	journal = {{ACM} Transactions on Computational Logic},
	number = {3},
	pages = {17:1--17:25},
	publisher = {ACM},
	title = {Generalizing Consistency and other Constraint Properties to Quantified Constraints},
	volume = {10},
	year = {2009},
}

@inproceedings{mancini:2009:negotiation,
	author = {Mancini, T.},
	booktitle = {Proceedings of 7th International Conference on Practical Applications of Agents and Multi-Agent Systems (PAAMS~2009)},
	pages = {329--338},
	publisher = {Springer},
	series = {Advances in Intelligent and Soft Computing},
	title = {Negotiation Exploiting Reasoning by Projections},
	volume = {55},
	year = {2009},
}

@inproceedings{mancini:2009:rcra-negotiation,
	author = {Mancini, T.},
	booktitle = {Proceedings of 16th RCRA International Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion (RCRA~2009)},
	publisher = {CEUR-WS.org},
	series = {CEUR Workshop Proceedings},
	title = {Negotiation Exploiting Reasoning by Projections},
	volume = {589},
	year = {2009},
}

@inproceedings{mancini-etal:2009:rcra-consql,
	author = {Mancini, T. and Flener, P. and Monshi, A.H. and Pearson, J.},
	booktitle = {Proceedings of 16th RCRA International Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion (RCRA~2009)},
	publisher = {CEUR-WS.org},
	series = {CEUR Workshop Proceedings},
	title = {Constrained Optimisation over Massive Databases},
	volume = {589},
	year = {2009},
}

@article{melatti-etal:2009:eddy,
	author = {Melatti, I. and Palmer, R. and Sawaya, G. and Yang, Y. and Kirby, R.M. and Gopalakrishnan, G.},
	doi = {10.1007/s10009-008-0094-x},
	journal = {International Journal on Software Tools for Technology Transfer},
	number = {1},
	pages = {13--25},
	publisher = {Springer},
	title = {Parallel and Distributed Model Checking in {E}ddy},
	volume = {11},
	year = {2009},
}

@article{bordeaux-etal:2008:jair,
	author = {Bordeaux, L. and Cadoli, M. and Mancini, T.},
	doi = {10.1613/jair.2538},
	journal = {Journal of Artificial Intelligence Research},
	pages = {607--629},
	title = {A Unifying Framework for Structural Properties of {CSP}s: Definitions, Complexity, Tractability},
	volume = {32},
	year = {2008},
}

@article{gavanelli-etal:2007:rcra-jalgo,
	author = {Gavanelli, M. and Mancini, T.},
	doi = {10.1016/j.jalgor.2008.02.002},
	issn = {0196-6774},
	journal = {Journal of Algorithms},
	number = {1---3},
	pages = {1--2},
	publisher = {Elsevier},
	title = {{RCRA} 2007: Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion},
	volume = {63},
	year = {2008},
}

@article{mancini-etal:2008:constraints,
	author = {Mancini, T. and Cadoli, M. and Micaletto, D. and Patrizi, F.},
	doi = {10.1007/s10601-007-9028-6},
	journal = {Constraints},
	number = {4},
	pages = {407--436},
	publisher = {Springer},
	title = {Evaluating {ASP} and Commercial Solvers on the {CSPLib}},
	volume = {13},
	year = {2008},
}

@inproceedings{cadoli-etal:2007:uml,
	author = {Cadoli, M. and Calvanese, D. and {De Giacomo}, G. and Mancini, T.},
	booktitle = {Proceedings of 10th Congress of the Italian Association for Artificial Intelligence: Artificial Intelligence and Human-Oriented Computing, (AI*IA~2007)},
	doi = {10.1007/978-3-540-74782-6_5},
	pages = {36--47},
	publisher = {Springer},
	series = {Lecture Notes in Computer Science},
	title = {Finite Model Reasoning on {UML} Class Diagrams Via Constraint Programming},
	volume = {4733},
	year = {2007},
}

@article{cadoli-etal:2007:consql,
	author = {Cadoli, M. and Mancini, T.},
	doi = {10.1017/S1471068406002857},
	issn = {1471-0684},
	journal = {Theory and Practice of Logic Programming},
	number = {1-2},
	pages = {37--65},
	publisher = {Cambridge University Press},
	title = {Combining Relational Algebra, {SQL}, Constraint Modelling, and Local Search},
	volume = {7},
	year = {2007},
}

@article{cadoli-etal:2007:theorem,
	author = {Cadoli, M. and Mancini, T.},
	doi = {10.1080/08839510701252650},
	journal = {Applied Artificial Intelligence},
	number = {4{\&}5},
	pages = {383--404},
	publisher = {Taylor \& Francis},
	title = {Using a Theorem Prover for Reasoning on Constraint Problems},
	volume = {21},
	year = {2007},
}

@article{gavanelli-etal:2006:rcra-intartif,
	author = {Gavanelli, M. and Mancini, T.},
	issn = {1724-8035},
	journal = {Intelligenza Artificiale},
	publisher = {IOS Press},
	title = {Special section: giornata di lavoro su analisi sperimentale e benchmark di algoritmi per l'intelligenza artificiale},
	year = {2007},
}

@inproceedings{gottlob-etal:2007:bayesian,
	author = {Gottlob, G. and Greco, G. and Mancini, T.},
	booktitle = {Proceedings of 20th International Joint Conference on Artificial Intelligence (IJCAI~2007)},
	pages = {1294--1299},
	title = {Complexity of Pure Equilibria in Bayesian Games},
	year = {2007},
}

@inproceedings{gottlob-etal:2007:conditional,
	author = {Gottlob, G. and Greco, G. and Mancini, T.},
	booktitle = {Proceedings of 20th International Joint Conference on Artificial Intelligence (IJCAI~2007)},
	pages = {88--93},
	title = {Conditional Constraint Satisfaction: Logical Foundations and Complexity},
	year = {2007},
}

@article{mancini-etal:2007:dependencies,
	author = {Mancini, T. and Cadoli, M.},
	doi = {10.1016/j.artint.2007.04.017},
	journal = {Artificial Intelligence},
	number = {16--17},
	pages = {985--1010},
	publisher = {Elsevier},
	title = {Exploiting Functional Dependencies in Declarative Problem Specifications},
	volume = {171},
	year = {2007},
}

@article{cadoli-etal:2006:safedelay,
	author = {Cadoli, M. and Mancini, T.},
	doi = {10.1016/j.artint.2006.01.008},
	journal = {Artificial Intelligence},
	number = {8--9},
	pages = {779--801},
	publisher = {Elsevier},
	title = {Automated Reformulation of Specifications by Safe Delay of Constraints},
	volume = {170},
	year = {2006},
}

@inproceedings{cadoli-etal:2006:ecai,
	author = {Cadoli, M. and Mancini, T. and Micaletto, D. and Patrizi, F.},
	booktitle = {Proceedings of 17th European Conference on Artificial Intelligence (ECAI~2006)},
	pages = {68--72},
	publisher = {IOS Press},
	series = {Frontiers in Artificial Intelligence and Applications},
	title = {Evaluating {ASP} and Commercial Solvers on the {CSPLib}},
	volume = {141},
	year = {2006},
}

@inproceedings{cadoli-etal:2006:wlp,
	author = {Cadoli, M. and Mancini, T. and Micaletto, D. and Patrizi, F.},
	booktitle = {Proceedings of 20th Workshop on Logic Programming (WLP~2006)},
	pages = {54--63},
	publisher = {Institut fur Informationssysteme Arbeitsbereich},
	title = {Evaluating {ASP} and Commercial Solvers on the {CSPLib} (Preliminary Work)},
	year = {2006},
}

@inproceedings{cadoli-etal:2006:ismis,
	author = {Cadoli, M. and Mancini, T. and Patrizi, F.},
	booktitle = {Proceedings of 16th International Symposium on Foundations of Intelligent Systems (ISMIS~2006)},
	doi = {10.1007/11875604_61},
	pages = {540--549},
	publisher = {Springer},
	series = {Lecture Notes in Computer Science},
	title = {{SAT} as an Effective Solving Technology for Constraint Problems},
	volume = {4203},
	year = {2006},
}

@article{dellapenna-etal:2006:sttt,
	author = {Della Penna, G. and Intrigila, B. and Melatti, I. and Tronci, E. and Venturini Zilli, M.},
	doi = {10.1007/s10009-005-0216-7},
	journal = {International Journal on Software Tools for Technology Transfer},
	number = {4--5},
	pages = {397-409},
	publisher = {Springer},
	title = {Finite Horizon Analysis of {M}arkov Chains with the {M}urphi Verifier},
	volume = {8},
	year = {2006},
}

@inproceedings{bordeaux-etal:2005:aaai,
	author = {Bordeaux, L. and Cadoli, M. and Mancini, T.},
	booktitle = {Proceedings of 20th National Conference on Artificial Intelligence (AAAI~2005)},
	pages = {360--365},
	publisher = {AAAI},
	title = {{CSP} Properties for Quantified Constraints: Definitions and Complexity},
	year = {2005},
}

@inproceedings{cadoli-etal:2005:aiia,
	author = {Cadoli, M. and Mancini, T.},
	booktitle = {Proceedings of 9th Congress of the Italian Association for Artificial Intelligence: Artificial Intelligence and Human-Oriented Computing, (AI*IA~2005)},
	doi = {10.1007/11558590_4},
	pages = {38--49},
	publisher = {Springer},
	series = {Lecture Notes in Computer Science},
	title = {Using a Theorem Prover for Reasoning on Constraint Problems},
	volume = {3673},
	year = {2005},
}

@article{cadoli-etal:2005:rcra-intartif,
	author = {Cadoli, M. and Mancini, T. and Gavanelli, M.},
	issn = {1724-8035},
	journal = {Intelligenza Artificiale},
	number = {3},
	publisher = {IOS Press},
	title = {Special section: giornata di lavoro su analisi sperimentale e benchmark di algoritmi per l'intelligenza artificiale},
	volume = {II},
	year = {2005},
}

@inproceedings{mancini-etal:2005:symmetries,
	author = {Mancini, T. and Cadoli, M.},
	booktitle = {Proceedings of 6th International Symposium on Abstraction, Reformulation and Approximation (SARA~2005)},
	pages = {165--181},
	publisher = {Springer},
	series = {Lecture Notes in Computer Science},
	title = {Detecting and Breaking Symmetries by Reasoning on Problem Specifications},
	volume = {3607},
	year = {2005},
}

@inproceedings{bordeaux-etal:2004:lpar,
	author = {Bordeaux, L. and Cadoli, M. and Mancini, T.},
	booktitle = {Proceedings of 11th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR~2004)},
	doi = {10.1007/978-3-540-32275-7_19},
	pages = {270--284},
	publisher = {Springer},
	series = {Lecture Notes in Computer Science},
	title = {Exploiting Fixable, Removable, and Implied Values in Constraint Satisfaction Problems},
	volume = {3452},
	year = {2004},
}

@inproceedings{cadoli-etal:2004:uml,
	author = {Cadoli, M. and Calvanese, D. and {De Giacomo}, G. and Mancini, T.},
	booktitle = {Proceedings of International Workshop on {CSP} Techniques With Immediate Application (CSPIA~2004), in conjunction with CP~2004},
	title = {Finite Satisfiability of {UML} Class Diagrams by Constraint Programming},
	year = {2004},
}

@inproceedings{cadoli-etal:2004:jelia,
	author = {Cadoli, M. and Mancini, T.},
	booktitle = {Proceedings of 9th European Conference on Logics in Artificial Intelligence (JELIA~2004)},
	doi = {10.1007/978-3-540-30227-8_52},
	pages = {628--640},
	publisher = {Springer},
	series = {Lecture Notes in Computer Science},
	title = {Exploiting Functional Dependencies in Declarative Problem Specifications},
	volume = {3229},
	year = {2004},
}

@inproceedings{cadoli-etal:2004:kr,
	author = {Cadoli, M. and Mancini, T.},
	booktitle = {Proceedings of 9th International Conference on Principles of Knowledge Representation and Reasoning (KR~2004)},
	pages = {388--398},
	publisher = {AAAI},
	title = {Automated Reformulation of Specifications by Safe Delay of Constraints},
	year = {2004},
}

@inproceedings{dellapenna-etal:2004:bounded,
	author = {Della Penna, G. and Intrigila, B. and Melatti, I. and Tronci, E. and Venturini Zilli, M.},
	booktitle = {Proceedings of 5th International Conference on Formal Methods in Computer-Aided Design (FMCAD~2010)},
	pages = {214--229},
	publisher = {IEEE},
	title = {Bounded Probabilistic Model Checking with the {Mur$\varphi$} Verifier},
	year = {2004},
}

@article{dellapenna-etal:2004:sttt,
	author = {Della Penna, G. and Intrigila, B. and Melatti, I. and Tronci, E. and Venturini Zilli, M.},
	doi = {10.1007/s10009-004-0149-6},
	journal = {International Journal on Software Tools for Technology Transfer},
	number = {4},
	pages = {320--341},
	publisher = {Springer},
	title = {Exploiting Transition Locality in Automatic Verification of Finite State Concurrent Systems},
	volume = {6},
	year = {2004},
}

@inproceedings{mancini:2004:dl,
	author = {Mancini, T.},
	booktitle = {Proceedings of International Workshop on Description Logics (DL~2004)},
	publisher = {CEUR-WS.org},
	series = {CEUR Workshop Proceedings},
	title = {Finite Satisfiability of {UML} Class Diagrams by Constraint Programming},
	volume = {104},
	year = {2004},
}

@inproceedings{degiacomo-etal:2004:aaai,
	author = {{De Giacomo}, G. and Mancini, T.},
	booktitle = {Proceedings of 19th National Conference on Artificial Intelligence (AAAI~2004)},
	pages = {245--256},
	publisher = {AAAI},
	title = {Scaling Up Reasoning about Actions Using Relational Database Technology},
	year = {2004},
}

@incollection{ballarini-etal:2003:bookChapter,
	author = {Ballarini, D. and Cadoli, M. and Gaeta, M. and Mancini, T. and Mecella, M. and Ritrovato, P. and Santucci, G.},
	booktitle = {Cooperative Methods and Tools for Distributed Software Processes},
	editor = {Cimitile, A. and De Lucia, A. and Gall, H.},
	pages = {67--86},
	publisher = {Franco Angeli},
	title = {Cooperative Software Development in {GENESIS}: Requirements, Conceptual Model and Architecture},
	volume = {380.222},
	year = {2003},
}

@inproceedings{ballarini-etal:2003:workshop,
	author = {Ballarini, D. and Cadoli, M. and Gaeta, M. and Mancini, T. and Mecella, M. and Ritrovato, P. and Santucci, G.},
	booktitle = {Proceedings of International Workshop on Cooperative Supports for Distributed Software Engineering Processes (CSSE~2003), co-located with the European Conference on Software Maintenance and Reengineering (CSMR~2003)},
	title = {Modeling Real Requirements for Cooperative Software Development: A Case Study},
	year = {2003},
}

@inproceedings{cadoli-etal:2003:agp,
	author = {Cadoli, M. and Mancini, T.},
	booktitle = {Proceedings of APPIA-GULP-PRODE Joint Conference on Declarative Programming (AGP~2003)},
	pages = {398--409},
	title = {Towards Automated Reformulation of Specications},
	year = {2003},
}

@inproceedings{dellapenna-etal:2003:turbogas,
	author = {Della Penna, G. and Intrigila, B. and Melatti, I. and Minichino, M. and Ciancamerla, E. and Parisse, A. and Tronci, E. and Venturini Zilli, M.},
	booktitle = {Proceedings of 6th International Workshop on Hybrid Systems: Computation and Control (HSCC~2003)},
	doi = {10.1007/3-540-36580-X_13},
	pages = {141--155},
	publisher = {Springer},
	series = {Lecture Notes in Computer Science},
	title = {Automatic Verification of a Turbogas Control System with the {Murphi} Verifier},
	volume = {2623},
	year = {2003},
}

@article{dellapenna-etal:2003:actainf,
	author = {Della Penna, G. and Intrigila, B. and Tronci, E. and Venturini Zilli, M.},
	journal = {Acta Informatica},
	number = {1},
	pages = {31--70},
	publisher = {Springer},
	title = {Synchronized Regular Expressions},
	volume = {39},
	year = {2003},
}

@inproceedings{mancini:2003:cp,
	author = {Mancini, T.},
	booktitle = {Proceedings of 9th International Conference on Principles and Practice of Constraint Programming (CP~2003)},
	doi = {10.1007/978-3-540-45193-8_108},
	pages = {984},
	publisher = {Springer},
	series = {Lecture Notes in Computer Science},
	title = {Reformulation Techniques for a Class of Permutation Problems},
	volume = {2833},
	year = {2003},
}

@inproceedings{cadoli-etal:2002:frocos,
	author = {Cadoli, M. and Mancini, T.},
	booktitle = {Proceedings of 4th International Workshop on Frontiers of Combining Systems (FroCoS~2002)},
	doi = {10.1007/3-540-45988-X_12},
	pages = {147--161},
	publisher = {Springer},
	series = {Lecture Notes in Computer Science},
	title = {Combining Relational Algebra, {SQL}, and Constraint Programming},
	volume = {2309},
	year = {2002},
}

@inproceedings{cadoli-etal:2002:pods,
	author = {Cadoli, M. and Mancini, T.},
	booktitle = {Proceedings of 21st {ACM} {SIGACT-SIGMOD-SIGART} Symposium on Principles of Database Systems (PODS~2002)},
	doi = {10.1145/543613.543640},
	pages = {199--208},
	publisher = {ACM},
	title = {Knowledge Compilation = Query Rewriting + View Synthesis},
	year = {2002},
}

@inproceedings{tronci-etal:2001:apsec,
	author = {Tronci, E. and Della Penna, G. and Intrigila, B. and Venturini Zilli, M.},
	booktitle = {Proceedings of 8th Asia-Pacific Software Engineering Conference (APSEC~2001)},
	doi = {10.1109/APSEC.2001.991495},
	pages = {317--324},
	publisher = {IEEE},
	title = {A Probabilistic Approach to Automatic Verification of Concurrent Systems},
	year = {2001},
}

@inproceedings{tronci:1996:cdc,
	author = {Tronci, E.},
	booktitle = {Proceedings of 35th IEEE Conference on Decision and Control (CDC~1996)},
	doi = {10.1109/CDC.1996.572981},
	pages = {2237--2242},
	publisher = {IEEE},
	title = {Optimal Finite State Supervisory Control},
	volume = {2},
	year = {1996},
}