@article{MelattiMMPT22,
  author       = {Igor Melatti and
                  Federico Mari and
                  Toni Mancini and
                  Milan Prodanovic and
                  Enrico Tronci},
  title        = {A Two-Layer Near-Optimal Strategy for Substation Constraint Management
                  via Home Batteries},
  journal      = {{IEEE} Trans. Ind. Electron.},
  volume       = {69},
  number       = {8},
  pages        = {8566--8578},
  year         = {2022},
  url          = {https://doi.org/10.1109/TIE.2021.3102431},
  doi          = {10.1109/TIE.2021.3102431},
  timestamp    = {Fri, 01 Apr 2022 11:22:51 +0200},
  biburl       = {https://dblp.org/rec/journals/tie/MelattiMMPT22.bib},
  type = {journal},
},

@inproceedings{dangelantonioClassificationBasedScreeningPhlebopathic2021a,
  title = {Classification-{{Based Screening}} of {{Phlebopathic Patients}} Using {{Smart Socks}}},
  booktitle = {2021 {{IEEE International Symposium}} on {{Medical Measurements}} and {{Applications}} ({{MeMeA}})},
  author = {D'Angelantonio, Emanuele and Lucangeli, Leandro and Camomilla, Valentina and Mari, Federico and Mascia, Guido and Pallotti, Antonio},
  year = {2021},
  month = jun,
  pages = {1--6},
  publisher = {IEEE},
  address = {Lausanne, Switzerland},
  doi = {10.1109/MeMeA52024.2021.9478688},
  urldate = {2022-03-17},
  isbn = {978-1-66541-914-7},
  type = {conference},
}

@article{manciniCheckingEquivalenceSimulation2021,
  title = {On Checking Equivalence of Simulation Scripts},
  author = {Mancini, Toni and Mari, Federico and Massini, Annalisa and Melatti, Igor and Tronci, Enrico},
  year = {2021},
  month = apr,
  journal = {Journal of Logical and Algebraic Methods in Programming},
  volume = {120},
  pages = {100640},
  issn = {23522208},
  doi = {10.1016/j.jlamp.2021.100640},
  urldate = {2022-03-17},
  langid = {english},
  type = {journal},
}

@article{mariConstraintOptimizationBased2021,
  title = {A {{Constraint Optimization}}--{{Based Sense}} and {{Response System}} for {{Interactive Business Performance Management}}},
  author = {Mari, Federico and Massini, Annalisa and Melatti, Igor and Tronci, Enrico},
  year = {2021},
  month = apr,
  journal = {Applied Artificial Intelligence},
  volume = {35},
  number = {5},
  pages = {353--372},
  issn = {0883-9514, 1087-6545},
  doi = {10.1080/08839514.2020.1843833},
  urldate = {2022-03-17},
  langid = {english},
  type = {journal},
}

@article{melattiTwoLayerNearOptimalStrategy2022,
  title = {A {{Two-Layer Near-Optimal Strategy}} for {{Substation Constraint Management}} via {{Home Batteries}}},
  author = {Melatti, Igor and Mari, Federico and Mancini, Toni and Prodanovic, Milan and Tronci, Enrico},
  year = {2022},
  month = aug,
  journal = {IEEE Transactions on Industrial Electronics},
  volume = {69},
  number = {8},
  pages = {8566--8578},
  issn = {0278-0046, 1557-9948},
  doi = {10.1109/TIE.2021.3102431},
  type = {journal},
},

@article{melattiVisualisationControlSoftware2021,
  title = {Visualisation of {{Control Software}} for {{Cyber-Physical Systems}}},
  author = {Melatti, Igor and Mari, Federico and Salvo, Ivano and Tronci, Enrico},
  year = {2021},
  month = apr,
  journal = {Information},
  volume = {12},
  number = {5},
  pages = {178},
  issn = {2078-2489},
  doi = {10.3390/info12050178},
  urldate = {2022-03-17},
  abstract = {Cyber-physical systems are typically composed of a physical system (plant) controlled by a software (controller). Such a controller, given a plant state s and a plant action u, returns 1 iff taking action u in state s leads to the physical system goal or at least one step closer to it. Since a controller K is typically stored in compressed form, it is difficult for a human designer to actually understand how ``good'' K is. Namely, natural questions such as ``does K cover a wide enough portion of the system state space?'', ``does K cover the most important portion of the system state space?'' or ``which actions are enabled by K in a given portion of the system space?'' are hard to answer by directly looking at K. This paper provides a methodology to automatically generate a picture of K as a 2D diagram, starting from a canonical representation for K and relying on available open source graphing tools (e.g., Gnuplot). Such picture allows a software designer to answer to the questions listed above, thus achieving a better qualitative understanding of the controller at hand.},
  langid = {english},
  type = {journal},
},

@article{sinisiOptimalPersonalisedTreatment2020,
  title = {Optimal {{Personalised Treatment Computation}} through {{In Silico Clinical Trials}} on {{Patient Digital Twins}}*},
  author = {Sinisi, Stefano and Alimguzhin, Vadim and Mancini, Toni and Tronci, Enrico and Mari, Federico and Leeners, Brigitte},
  editor = {Eiter, Thomas and Maratea, Marco and Vallati, Mauro},
  year = {2020},
  month = sep,
  journal = {Fundamenta Informaticae},
  volume = {174},
  number = {3-4},
  pages = {283--310},
  issn = {01692968, 18758681},
  doi = {10.3233/FI-2020-1943},
  urldate = {2022-03-17},
	type = {journal},
},


@inproceedings{mancini-etal:2018:ismis,
	author    = {Toni Mancini, Federico Mari, Igor Melatti, Ivano Salvo, Enrico Tronci},
	title     = {An Efficient Algorithm for Network Vulnerability Analysis Under Malicious Attacks},

	editor = {Michelangelo Ceci, Nathalie Japkowicz, Jiming Liu,  George A. Papadopoulos, Zbigniew W. Ras},
	title = {An Efficient Algorithm for Network Vulnerability Analysis Under Malicious Attacks},
	booktitle = {Foundations of Intelligent Systems - 24th International Symposium, {ISMIS} 2018, Limassol, Cyprus, October 29-31, 2018, Proceedings},
	series = {Lecture Notes in Computer Science},
	volume = {11177},
	pages = {302--312},
	publisher = {Springer},
	year = {2018},
	durl = {files/176_Mancini_etal2018.pdf},
	doi = {10.1007/978-3-030-01851-1_29},
	type = {conference},
	note = {\textbf{Best Paper Award}}
},

@inproceedings{mancini-etal:2018:rcra-treatment,
	author = {Toni Mancini, Federico Mari, Annalisa Massini, Igor Melatti, Ivano Salvo, Stefano Sinisi, Enrico Tronci, Rainald Ehrig, Susanna Roeblitz, Brigitte Leeners},
	editor = {Marco Maratea, Mauro Vallati},
	title = {Computing Personalised Treatments through In Silico Clinical Trials},
	booktitle = {Proceedings of the Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion co-located with the Federated Logic Conference, RCRA@FLOC 2018, Oxford, United Kingdom, July 13, 2018},
	series = {{CEUR} Workshop Proceedings},
	volume = {2271},
	publisher = {CEUR-WS.org},
	year = {2018},
	durl = {files/paper2.pdf},
	url = {files/paper2.pdf},
	type = {conference}
},

@inproceedings{mancini-etal:2018:smartgridcomm,
	author = {Toni Mancini, Federico Mari, Igor Melatti, Ivano Salvo, Enrico Tronci, Jorn Klaas Gruber, Barry P. Hayes, Milan Prodanovic, Lars Elmegaard},
	title     = {Parallel Statistical Model Checking for Safety Verification in Smart Grids},
	booktitle = {Proceedings of 2018 {IEEE} International Conference on Communications, Control, and Computing Technologies for Smart Grids, SmartGridComm 2018, Aalborg, Denmark, October 29-31, 2018},
	pages = {1--6},
	publisher = {{IEEE}},
	year = {2018},
	doi = {10.1109/SmartGridComm.2018.8587416},
	durl = {files/170_Mancini_etal2018.pdf},
	type = {conference}
},

@article{Alimguzhin_etal2018,
	author = {Vadim Alimguzhin, Federico Mari, Igor Melatti, Ivano Salvo, Enrico Tronci},
	biburl = {https://dblp.org/rec/bib/journals/tac/AlimguzhinMMST17},
	doi = {10.1109/TAC.2017.2694559},
	journal = {{IEEE} Trans. Automat. Contr.},
	number = {10},
	pages = {5357--5364},
	title = {Linearizing Discrete-Time Hybrid Systems},
	url = {https://doi.org/10.1109/TAC.2017.2694559},
	Volume = {62},
	Year = {2017},
	type = {journal},
	durl = {files/164_Alimguzhin_etal2017.pdf},
	website = {https://bitbucket.org/mclab/linearizer-benchmark/},
},
@article{IPL2017,
	author = {Toni Mancini, Federico Mari, Annalisa Massini, Igor Melatti, Ivano Salvo, Enrico Tronci},
	Biburl = {http://dblp2.uni-trier.de/rec/bib/journals/ipl/ManciniMMMST17},
	Doi = {10.1016/j.ipl.2017.02.001},
	Journal = {Inf. Process. Lett.},
	Pages = {8--16},
	Title = {On minimising the maximum expected verification time},
	Url = {http://dx.doi.org/10.1016/j.ipl.2017.02.001},
	Volume = {122},
	type = {journal},
	Year = {2017},
	durl = {files/163_Mancini_etal2017.pdf},
},
@article{Mari_etal2014,
	author = {Federico Mari, Igor Melatti, Ivano Salvo, Enrico Tronci},
	Doi = {10.1145/2559934},
	Issn = {1049-331X},
	Journal = {ACM Transactions On Software Engineering And Methodology},
	Number = {1},
	Pages = {Article 6},
	Publisher = {ACM},
	Title = {Model Based Synthesis of Control Software from System Level Formal Specifications},
	type = {journal},
	Volume = {23},
	Year = {2014},
	durl = {files/110_Mari_etal2014.pdf},
	website = {https://hub.docker.com/r/mclab/qks-demo/}
},
@article{Mari_etal2013_2,
	author = {Federico Mari, Igor Melatti, Enrico Tronci, Alberto Finzi},
	Doi = {10.3233/MIS-130162},
	Issn = {1574-017x (Print) 1875-905X (Online)},
	Journal = {Mobile Information Systems},
	Number = {9},
	Pages = {261--280},
	Publisher = {IOS Press},
	Title = {A multi-hop advertising discovery and delivering protocol for multi administrative domain MANET},
	type = {journal},
	Volume = {3},
	Year = {2013},
	durl = {files/109_FedericoMari2013.pdf}
},
@article{Mancini_etal2016,
	author = {Toni Mancini, Federico Mari, Annalisa Massini, Igor Melatti, Enrico Tronci},
	Doi = {10.1016/j.micpro.2015.10.010},
	Issn = {0141-9331},
	Journal = {Microprocessors and Microsystems},
	Pages = {12--28},
	Title = {Anytime system level verification via parallel random exhaustive hardware in the loop simulation},
	Volume = {41},
	Year = {2016},
	type = {journal},
	durl = {files/155_Mancini_etal2016.pdf},
},
@article{Mancini_etal2016_2,
	author = {Toni Mancini, Federico Mari, Annalisa Massini, Igor Melatti, Enrico Tronci},
	doi = {10.3233/FI-2016-1444},
	journal = {Fundamenta Informaticae},
	number = {1-2},
	pages = {101--132},
	title = {SyLVaaS: System Level Formal Verification as a Service},
	volume = {149},
	year = {2016},
	type = {journal},
	durl = {files/160_Mancini_etal2016.pdf},
	website = {https://hub.docker.com/r/mclab/sylver/},
},
@inproceedings{IWBBIO2015,
	author = {Toni Mancini, Enrico Tronci, Ivano Salvo, Federico Mari, Annalisa Massini, Igor Melatti},
	Booktitle = {Bioinformatics and Biomedical Engineering - Third International Conference, {IWBBIO} 2015, Granada, Spain, April 15-17, 2015. Proceedings, Part {II}},
	Doi = {10.1007/978-3-319-16480-9},
	Editor = {Francisco M. Ortu{\~{n}}o Guzman and Ignacio Rojas},
	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},
	type = {conference},
	durl = {files/124_ToniMancini_etal2015.pdf},
	website = {http://paeon.di.uniroma1.it},
},
@inproceedings{Mancini_etal2015,
	author = {Toni Mancini, Federico Mari, Annalisa Massini, Igor Melatti, Enrico Tronci},
	Booktitle = {Proceedings of the 23rd Euromicro International Conference on Parallel, Distributed and Network-based Processing (PDP 2015), special session on Formal Approaches to Parallel and Distributed Systems (4PAD)},
	Doi = {10.1109/PDP.2015.119},
	Title = {SyLVaaS: System Level Formal Verification as a Service},
	Year = {2015},
	type = {conference},
	durl = {files/123_Mancini_etal2015.pdf},
	website = {https://hub.docker.com/r/mclab/sylver/},
},
@inproceedings{Mancini_etal2015_2,
	author = {Toni Mancini, Federico Mari, Annalisa Massini, Igor Melatti, Enrico Tronci},
	Booktitle = {Proceedings Sixth International Symposium on Games, Automata, Logics and Formal Verification (GandALF 2015)},
	Doi = {10.4204/EPTCS.193.7},
	Editor = {Javier Esparza and Enrico Tronci},
	Pages = {86--99},
	Series = {{EPTCS}},
	Title = {Simulator Semantics for System Level Formal Verification},
	Volume = {193},
	Year = {2015},
	type = {conference},
	durl = {files/125_Mancini_etal2015.pdf},
},
@inproceedings{Alimguzhin_etal2015,
	author = {Vadim Alimguzhin, Federico Mari, Igor Melatti, Enrico Tronci, Emad S.M. Ebeid, Søren A. Mikkelsen, Rune H. Jacobsen, Jorn Klaas Gruber, Barry P. Hayes, Francisco Huerta, Milan Prodanovic},
	Booktitle = {Digital System Design (DSD), 2015 Euromicro Conference on},
	Doi = {10.1109/DSD.2015.106},
	Pages = {225--232},
	Title = {A Glimpse of SmartHG Project Test-bed and Communication Infrastructure},
	Year = {2015},
	type = {conference},
	durl = {files/127_Alimguzhin_etal2015.pdf},
	website = {http://smarthg.di.uniroma1.it},
},
@inproceedings{Mancini_etal2015_3,
	author = {Toni Mancini, Federico Mari, Igor Melatti, Ivano Salvo, Enrico Tronci, Jorn Klaas Gruber, Barry P. Hayes, Milan Prodanovic, Lars Elmegaard},
	Booktitle = {Digital System Design (DSD), 2015 Euromicro Conference on},
	Doi = {10.1109/DSD.2015.35},
	Pages = {478--485},
	Title = {User Flexibility Aware Price Policy Synthesis for Smart Grids},
	Year = {2015},
	type = {conference},
	durl = {files/136_Mancini_etal2015.pdf},
	website = {http://smarthg.di.uniroma1.it},
},
@inproceedings{Ehrig_etal2015,
	author = {Rainald Ehrig, Thomas Dierkes, Stefan Schaefer, Susanna Roeblitz, Enrico Tronci, Toni Mancini, Ivano Salvo, Vadim Alimguzhin, Federico Mari, Igor Melatti, Annalisa Massini, Brigitte Leeners, Tillmann H.C. Kruger, Marcel Egli, Fabian Ille},
	Booktitle = {Proceedings of the 15th International Symposium on Mathematical and Computational Biology (BIOMAT 2015), Rorkee, India},
	Doi = {10.1142/9789813141919_0005},
	Title = {An integrative approach for model driven computation of treatments in reproductive medicine},
	Year = {2015},
	type = {conference},
	durl = {files/144_Ehrig_etal2015.pdf},
	website = {http://paeon.di.uniroma1.it},
},
@inproceedings{Mancini_etal2014,
	author = {Toni Mancini, Federico Mari, Annalisa Massini, Igor Melatti, Enrico Tronci},
	Booktitle = {22nd Euromicro International Conference on Parallel, Distributed, and Network-Based Processing, {PDP} 2014, Torino, Italy, February 12-14, 2014},
	Doi = {10.1109/PDP.2014.32},
	Pages = {734--742},
	Publisher = {IEEE Computer Society},
	Title = {System Level Formal Verification via Distributed Multi-Core Hardware in the Loop Simulation},
	Year = {2014},
	type = {conference},
	durl = {files/118_Mancini_etal2014.pdf},
	website = {https://hub.docker.com/r/mclab/sylver/},
},
@inproceedings{Tronci_etal2014,
	author = {Enrico Tronci, Toni Mancini, Federico Mari, Igor Melatti, Rune H. Jacobsen, Emad S.M. Ebeid, Søren A. Mikkelsen, Milan Prodanovic, Jorn Klaas Gruber, Barry P. Hayes},
	Booktitle = {Proceedings of the 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},
	type = {conference},
	Year = {2014},
	durl = {files/119_Tronci_etal2014.pdf},
	website = {http://smarthg.di.uniroma1.it},
},
@inproceedings{Tronci_etal2014_2,
	author = {Enrico Tronci, Toni Mancini, Ivano Salvo, Federico Mari, Igor Melatti, Annalisa Massini, Stefano Sinisi, Francesco Davì, Thomas Dierkes, Rainald Ehrig, Susanna Roeblitz, Brigitte Leeners, Tillmann H.C. Kruger, Marcel Egli, Fabian Ille},
	Booktitle = {Formal Methods in Computer-Aided Design (FMCAD)},
	Doi = {10.1109/FMCAD.2014.6987615},
	Title = {Patient-Specific Models from Inter-Patient Biological Models and Clinical Records},
	type = {conference},
	Year = {2014},
	durl = {files/120_Mancini_etal2014.pdf},
	website = {http://paeon.di.uniroma1.it}
},
@inproceedings{Tronci_etal2014_3,
	author = {Enrico Tronci, Toni Mancini, Federico Mari, Igor Melatti, Ivano Salvo, Milan Prodanovic, Jorn Klaas Gruber, Barry P. Hayes, Lars Elmegaard},
	Booktitle = {Proceedings of Smart Grid Communications (SmartGridComm), 2014 IEEE International Conference On},
	Doi = {10.1109/SmartGridComm.2014.7007745},
	Title = {Demand-Aware Price Policy Synthesis and Verification Services for Smart Grids},
	Year = {2014},
	type = {conference},
	website = {http://smarthg.di.uniroma1.it}
},
@inproceedings{Mancini_etal2014_2,
	author = {Toni Mancini, Federico Mari, Annalisa Massini, Igor Melatti, Enrico Tronci},
	Booktitle = {In Proceedings of 17th EuroMicro Conference on Digital System Design (DSD 2014)},
	Doi = {10.1109/DSD.2014.91},
	Title = {Anytime System Level Verification via Random Exhaustive Hardware In The Loop Simulation},
	Year = {2014},
	type = {conference},
	durl = {files/122_Mancini_etal2014.pdf},
	website = {https://hub.docker.com/r/mclab/sylver/},
},
@inproceedings{Alimguzhin_etal2013,
	author = {Vadim Alimguzhin, Federico Mari, Igor Melatti, Ivano Salvo, Enrico Tronci},
	Booktitle = {Proc. of International SPIN Symposium on Model Checking of Software (SPIN 2013)},
	Doi = {10.1007/978-3-642-39176-7_5},
	Isbn = {978-3-642-39175-0},
	Issn = {0302-9743},
	Pages = {61--80},
	Publisher = {Springer - Verlag},
	Series = {Lecture Notes in Computer Science},
	Title = {On-the-Fly Control Software Synthesis},
	Volume = {7976},
	Year = {2013},
	type = {conference},
	durl = {files/111_VadimAlimghuzin2013.pdf},
	website = {https://hub.docker.com/r/mclab/qks-demo/}
},
@inproceedings{Alimguzhin_etal2013_2,
	author = {Vadim Alimguzhin, Federico Mari, Igor Melatti, Ivano Salvo, Enrico Tronci},
	Booktitle = {Proc. of International SPIN Symposium on Model Checking of Software (SPIN 2013)},
	Doi = {10.1007/978-3-642-39176-7_4},
	Isbn = {978-3-642-39175-0},
	Issn = {0302-9743},
	Pages = {43--60},
	Publisher = {Springer - Verlag},
	Series = {Lecture Notes in Computer Science},
	Title = {A Map-Reduce Parallel Approach to Automatic Synthesis of Control Software},
	Volume = {7976},
	Year = {2013},
	type = {conference},
	durl = {files/112_Alimguzhin_etal2013.pdf},
	website = {https://hub.docker.com/r/mclab/qks-demo/}
},
@inproceedings{Mancini_etal2013,
	author = {Toni Mancini, Federico Mari, Annalisa Massini, Igor Melatti, Fabio Merli, Enrico Tronci},
	Booktitle = {Computer Aided Verification - 25th International Conference, {CAV} 2013, Saint Petersburg, Russia, July 13-19, 2013. Proceedings},
	Doi = {10.1007/978-3-642-39799-8_21},
	Editor = {Natasha Sharygina and Helmut Veith},
	Isbn = {978-3-642-39798-1},
	Issn = {0302-9743},
	Pages = {296--312},
	Publisher = {Springer - Verlag},
	Series = {Lecture Notes in Computer Science},
	Title = {System Level Formal Verification via Model Checking Driven Simulation},
	Volume = {8044},
	Year = {2013},
	type = {conference},
    durl = {files/113_Mancini_etal2013.pdf},
},
@inproceedings{Alimguzhin_etal2012,
	author = {Vadim Alimguzhin, Federico Mari, Igor Melatti, Ivano Salvo, Enrico Tronci},
	Booktitle = {Proceedings of the 51th IEEE Conference on Decision and Control, CDC 2012, December 10-13, 2012, Maui, HI, USA},
	Doi = {10.1109/CDC.2012.6426260},
	Isbn = {978-1-4673-2065-8},
	Pages = {6120--6125},
	Publisher = {IEEE},
	Title = {Automatic Control Software Synthesis for Quantized Discrete Time Hybrid Systems},
	Year = {2012},
	type = {conference},
    durl = {files/96_Alimguzhin_etal2012.pdf},
},
@inproceedings{Alimguzhin_etal2012_2,
	author = {Vadim Alimguzhin, Federico Mari, Igor Melatti, Ivano Salvo, Enrico Tronci},
	Booktitle = {Proceedings of the 12th International Conference on Embedded Software, EMSOFT 2012, part of the Eighth Embedded Systems Week, ESWeek 2012, Tampere, Finland, October 7-12, 2012},
	Doi = {10.1145/2380356.2380398},
	Editor = {Ahmed Jerraya and Luca P. Carloni and Florence Maraninchi and John Regehr},
    durl = {files/97_Alimguzhin_etal2012.pdf},
	Isbn = {978-1-4503-1425-1},
	Pages = {227--236},
	Publisher = {ACM},
	Title = {On Model Based Synthesis of Embedded Control Software},
	Year = {2012},
	type = {conference},
	website = {https://hub.docker.com/r/mclab/qks-demo/}
},
@inproceedings{Mari_etal2012,
	author = {Federico Mari, Igor Melatti, Ivano Salvo, Enrico Tronci},
	Booktitle = {Proceedings of ICSEA 2012, The Seventh International Conference on Software Engineering Advances},
    durl = {files/98_Mari_etal2012.pdf},
	Pages = {664--671},
	Publisher = {ThinkMind},
	type = {conference},
	Title = {Linear Constraints as a Modeling Language for Discrete Time Hybrid Systems},
	Year = {2012},
	website = {https://hub.docker.com/r/mclab/qks-demo/}
},
@inproceedings{Mari_etal2012_2,
	author = {Federico Mari, Igor Melatti, Ivano Salvo, Enrico Tronci},
	Booktitle = {Theoretical Aspects of Computing (ICTAC 2012)},
	Doi = {10.1007/978-3-642-32943-2_19},
	Editor = {Roychoudhury, A. and D{\textquoteright}Souza, M.},
	Isbn = {978-3-642-32942-5},
	Pages = {243--258},
	Publisher = {Springer Berlin Heidelberg},
	Series = {Lecture Notes in Computer Science},
	Title = {Undecidability of Quantized State Feedback Control for Discrete Time Linear Hybrid Systems},
	type = {conference},
	Volume = {7521},
	Year = {2012},
	durl = {files/99_Mari_etal2012.pdf},
},
@inproceedings{Mari_etal2012_3,
	author = {Federico Mari, Igor Melatti, Ivano Salvo, Enrico Tronci},
	Booktitle = {Proceedings of INFOCOMP 2012, The Second International Conference on Advanced Communications and Computation},
    durl = {files/100_Mari_etal2012.pdf},
	Issn = {978-1-61208-226-4},
	Pages = {15--20},
	type = {conference},
	Publisher = {ThinkMind},
	Title = {Control Software Visualization},
	Year = {2012},
	website = {https://hub.docker.com/r/mclab/qks-demo/}
},
@inproceedings{VerzinoGiovanni_etal2012,
	author = {Giovanni Verzino, Federico Cavaliere, Federico Mari, Igor Melatti, Giovanni Minei, Ivano Salvo, Yuri Yushtein, Enrico Tronci},
	Booktitle = {Proc. of 12th International Conference on Space Operations (SpaceOps 2012)},
	Doi = {10.2514/6.2012-1275611},
    durl = {files/117_VerzinoGiovanni_etal2012.pdf},
	Title = {Model checking driven simulation of sat procedures},
	Year = {2012},
	type = {conference},
},
@inproceedings{Cavaliere_etal2011,
	author = {Federico Cavaliere, Federico Mari, Igor Melatti, Giovanni Minei, Ivano Salvo, Enrico Tronci, Giovanni Verzino, Yuri Yushtein},
	Booktitle = {DAta Systems In Aerospace (DASIA), Org. EuroSpace, Canadian Space Agency, CNES, ESA, EUMETSAT. San Anton, Malta, EuroSpace.},
    durl = {files/13_Cavaliere_etal2011.pdf},
	Title = {Model Checking Satellite Operational Procedures},
	type = {conference},
	Year = {2011}},
@inproceedings{Mari_etal2011,
	author = {Federico Mari, Igor Melatti, Ivano Salvo, Enrico Tronci},
	Booktitle = {Proceedings of ICSEA 2011, The Sixth International Conference on Software Engineering Advances},
    durl = {files/14_Mari_etal2011.pdf},
	Issn = {978-1-61208-165-6},
	Pages = {528--533},
	Publisher = {ThinkMind},
	type = {conference},
	Title = {From Boolean Relations to Control Software},
	Year = {2011}},
@inproceedings{Mari_etal2010,
	author = {Federico Mari, Igor Melatti, Ivano Salvo, Enrico Tronci},
	Booktitle = {Computer Aided Verification, 22nd International Conference, {CAV} 2010, Edinburgh, UK, July 15-19, 2010. Proceedings},
	Doi = {10.1007/978-3-642-14295-6_20},
	Editor = {Touili, T. and Cook, B. and Jackson, P.},
    durl = {files/16_Mari_etal2010.pdf},
	Pages = {180--195},
	Publisher = {Springer Berlin / Heidelberg},
	Series = {Lecture Notes in Computer Science},
	Title = {Synthesis of Quantized Feedback Control Software for Discrete Time Linear Hybrid Systems},
	Volume = {6174},
	type = {conference},
	Year = {2010},
},
@inproceedings{Bobbio_etal2009,
	author = {Andrea Bobbio, Ester Ciancamerla, Salvatore Di Blasi, A. Iacomini, Federico Mari, Igor Melatti, Michele Minichino, A. Scarlatti, Enrico Tronci, Roberta Terruggia, E. Zendri},
	Booktitle = {Proceedings of Fourth International Conference on Risks and Security of Internet and Systems (CRiSIS)},
	Doi = {10.1109/CRISIS.2009.5411974},
    durl = {files/17_Bobbio_etal2009.pdf},
	Pages = {90--97},
	Title = {Risk analysis via heterogeneous models of SCADA interconnecting Power Grids and Telco networks},
	Year = {2009},
	type = {conference},
},
@inproceedings{Mari_etal2009,
	author = {Federico Mari, Igor Melatti, Ivano Salvo, Enrico Tronci, Lorenzo Alvisi, Allen Clement, Harry C. Li},
	Booktitle = {Stabilization, Safety, and Security of Distributed Systems, 11th International Symposium, SSS 2009, Lyon, France, November 3-6, 2009. Proceedings},
	Doi = {10.1007/978-3-642-05118-0_37},
	Editor = {Guerraoui, R. and Petit, F.},
    durl = {files/19_Mari_etal2009.pdf},
	Pages = {531--546},
	Publisher = {Springer},
	Series = {Lecture Notes in Computer Science},
	Title = {Model Checking Coalition Nash Equilibria in MAD Distributed Systems},
	Volume = {5873},
	Year = {2009},
	type = {conference},
	website = {http://mclab.di.uniroma1.it/site/index.php/software/19-nashmv},
},
@inproceedings{Mazzini_etal2009,
	author = {S. Mazzini, S. Puri, Federico Mari, Igor Melatti, Enrico Tronci},
	Booktitle = {In: DAta Systems In Aerospace (DASIA), Org. EuroSpace, Canadian Space Agency, CNES, ESA, EUMETSAT. Instanbul, Turkey, EuroSpace},
    durl = {files/Mazzini2009.pdf},
	Title = {Formal Verification at System Level},
	type = {conference},
	Year = {2009}},
@inproceedings{Mari_etal2008,
	Address = {Piscataway, NJ, USA},
	author = {Federico Mari, Igor Melatti, Ivano Salvo, Enrico Tronci, Lorenzo Alvisi, Allen Clement, Harry C. Li},
	Booktitle = {FMCAD'08: Proceedings of the 2008 International Conference on Formal Methods in Computer-Aided Design},
	Doi = {10.1109/FMCAD.2008.ECP.16},
	Editor = {Cimatti, A. and Jones, R.},
    durl = {files/93_Mari_etal2008.pdf},
	Issn = {978-1-4244-2735-2},
	Pages = {1--8},
	Publisher = {IEEE Press},
	Title = {Model Checking Nash Equilibria in MAD Distributed Systems},
	Year = {2008},
	type = {conference},
	website = {http://mclab.di.uniroma1.it/site/index.php/software/19-nashmv},
},
@inproceedings{Chierichetti_etal2008,
	author = {Flavio Chierichetti, Silvio Lattanzi, Federico Mari, Alessandro Panconesi},
	Booktitle = {Web Search and Web Data Mining (WSDM 2008)},
	Doi = {10.1145/1341531.1341537},
	Editor = {Najork, M. and Broder, A.Z. and Chakrabarti, S.},
    durl = {files/Chierichetti2008.pdf},
	Pages = {15--24},
	Publisher = {Acm},
	Title = {On Placing Skips Optimally in Expectation},
	Year = {2008},
	type = {conference},
},
@inproceedings{Mari+Tronci2007,
	author = {Federico Mari, Enrico Tronci},
	Booktitle = {Hybrid Systems: Computation and Control (HSCC 2007)},
	Doi = {10.1007/978-3-540-71493-4_32},
	Editor = {Bemporad, A. and Bicchi, A. and Buttazzo, G.C.},
    durl = {files/Mari2007.pdf},
	Pages = {399--412},
	Publisher = {Springer},
	Series = {Lecture Notes in Computer Science},
	Title = {CEGAR Based Bounded Model Checking of Discrete Time Hybrid Systems},
	Volume = {4416},
	Year = {2007},
	type = {conference},
}