All Publications of Federico Mari

• All
• 2022
• 2021
• 2020
• 2018
• 2017
• 2016
• 2015
• 2014
• 2013
• 2012
• 2011
• 2010
• 2009
• 2008
• 2007

• Journal and Magazine Papers

• [J12] "A Two-Layer Near-Optimal Strategy for Substation Constraint Management via Home Batteries", Igor Melatti and Mari and Mancini and Prodanovic and Enrico Tronci, IEEE Trans. Ind. Electron. Vol. 69, pp. 8566--8578, 2022.  

  @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},
  },
  

   
• [J11] "On Checking Equivalence of Simulation Scripts", Mancini, Toni and Mari, Federico and Massini, Annalisa and Melatti, Igor and Tronci, Enrico, Journal of Logical and Algebraic Methods in Programming Vol. 120, pp. 100640, 2021.  

  @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},
  }
  

   
• [J10] "A Constraint Optimization--Based Sense and Response System for Interactive Business Performance Management", Mari, Federico and Massini, Annalisa and Melatti, Igor and Tronci, Enrico, Applied Artificial Intelligence Vol. 35, pp. 353--372, 2021.  

  @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},
  }
  

   
• [J9] "A Two-Layer Near-Optimal Strategy for Substation Constraint Management via Home Batteries", Melatti, Igor and Mari, Federico and Mancini, Toni and Prodanovic, Milan and Tronci, Enrico, IEEE Transactions on Industrial Electronics Vol. 69, pp. 8566--8578, 2022.  

  @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},
  },
  

   
• [J8] "Visualisation of Control Software for Cyber-Physical Systems", Melatti, Igor and Mari, Federico and Salvo, Ivano and Tronci, Enrico, Information Vol. 12, pp. 178, 2021.  

  @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},
  },
  

   
• [J7] "Optimal Personalised Treatment Computation through In Silico Clinical Trials on Patient Digital Twins*", Sinisi, Stefano and Alimguzhin, Vadim and Mancini, Toni and Tronci, Enrico and Mari, Federico and Leeners, Brigitte, Fundamenta Informaticae Vol. 174, pp. 283--310, 2020.  

  @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},
  },
  

   
• [J6] "Linearizing Discrete-Time Hybrid Systems", Vadim Alimguzhin, Federico Mari, Igor Melatti, Ivano Salvo, Enrico Tronci, IEEE Trans. Automat. Contr. Vol. 62, pp. 5357--5364, 2017.  

  @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/},
  },
  

     
• [J5] "On minimising the maximum expected verification time", Toni Mancini, Federico Mari, Annalisa Massini, Igor Melatti, Ivano Salvo, Enrico Tronci, Inf. Process. Lett. Vol. 122, pp. 8--16, 2017.  

  @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},
  },
  

    
• [J4] "Model Based Synthesis of Control Software from System Level Formal Specifications", Federico Mari, Igor Melatti, Ivano Salvo, Enrico Tronci, ACM Transactions On Software Engineering And Methodology ACM, Vol. 23, pp. Article 6, 2014.  

  @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/}
  },
  

     
• [J3] "A multi-hop advertising discovery and delivering protocol for multi administrative domain MANET", Federico Mari, Igor Melatti, Enrico Tronci, Alberto Finzi, Mobile Information Systems IOS Press, Vol. 3, pp. 261--280, 2013.  

  @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}
  },
  

    
• [J2] "Anytime system level verification via parallel random exhaustive hardware in the loop simulation", Toni Mancini, Federico Mari, Annalisa Massini, Igor Melatti, Enrico Tronci, Microprocessors and Microsystems Vol. 41, pp. 12--28, 2016.  

  @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},
  },
  

    
• [J1] "SyLVaaS: System Level Formal Verification as a Service", Toni Mancini, Federico Mari, Annalisa Massini, Igor Melatti, Enrico Tronci, Fundamenta Informaticae Vol. 149, pp. 101--132, 2016.  

  @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/},
  },
  

     

• Conference and Workshop Papers

• [C33] "Classification-Based Screening of Phlebopathic Patients Using Smart Socks", D 'Angelantonio, Emanuele and Lucangeli, Leandro and Camomilla, Valentina and Mari, Federico and Mascia, Guido and Pallotti, Antonio, 2021 IEEE International Symposium on Medical Measurements and Applications (MeMeA) IEEE, pp. 1--6, Lausanne, Switzerland, ISBN: 978-1-66541-914-7, 2021.  

  @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},
  }
  

   
• [C32] "An Efficient Algorithm for Network Vulnerability Analysis Under Malicious Attacks", Toni Mancini, Federico Mari, Igor Melatti, Ivano Salvo, Enrico Tronci, Foundations of Intelligent Systems - 24th International Symposium, ISMIS 2018, Limassol, Cyprus, October 29-31, 2018, Proceedings (Lecture Notes in Computer Science), Springer, Vol. 11177, pp. 302--312, 2018.  

  @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}}
  },
  

    
• [C31] "Computing Personalised Treatments through In Silico Clinical Trials", Toni Mancini, Federico Mari, Annalisa Massini, Igor Melatti, Ivano Salvo, Stefano Sinisi, Enrico Tronci, Rainald Ehrig, Susanna Roeblitz, Brigitte Leeners, 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 (CEUR Workshop Proceedings), CEUR-WS.org, Vol. 2271, 2018.  

  @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}
  },
  

   
• [C30] "Parallel Statistical Model Checking for Safety Verification in Smart Grids", Toni Mancini, Federico Mari, Igor Melatti, Ivano Salvo, Enrico Tronci, Jorn Klaas Gruber, Barry P. Hayes, Milan Prodanovic, Lars Elmegaard, Proceedings of 2018 IEEE International Conference on Communications, Control, and Computing Technologies for Smart Grids, SmartGridComm 2018, Aalborg, Denmark, October 29-31, 2018 IEEE, pp. 1--6, 2018.  

  @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}
  },
  

    
• [C29] "Computing Biological Model Parameters by Parallel Statistical Model Checking", Toni Mancini, Enrico Tronci, Ivano Salvo, Federico Mari, Annalisa Massini, Igor Melatti, Bioinformatics and Biomedical Engineering - Third International Conference, IWBBIO 2015, Granada, Spain, April 15-17, 2015. Proceedings, Part II (Lecture Notes in Computer Science), Springer, Vol. 9044, pp. 542--554, 2015.  

  @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},
  },
  

     
• [C28] "SyLVaaS: System Level Formal Verification as a Service", Toni Mancini, Federico Mari, Annalisa Massini, Igor Melatti, Enrico Tronci, 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) 2015.  

  @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/},
  },
  

     
• [C27] "Simulator Semantics for System Level Formal Verification", Toni Mancini, Federico Mari, Annalisa Massini, Igor Melatti, Enrico Tronci, Proceedings Sixth International Symposium on Games, Automata, Logics and Formal Verification (GandALF 2015) (EPTCS), Vol. 193, pp. 86--99, 2015.  

  @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},
  },
  

    
• [C26] "A Glimpse of SmartHG Project Test-bed and Communication Infrastructure", 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, Digital System Design (DSD), 2015 Euromicro Conference on pp. 225--232, 2015.  

  @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},
  },
  

     
• [C25] "User Flexibility Aware Price Policy Synthesis for Smart Grids", Toni Mancini, Federico Mari, Igor Melatti, Ivano Salvo, Enrico Tronci, Jorn Klaas Gruber, Barry P. Hayes, Milan Prodanovic, Lars Elmegaard, Digital System Design (DSD), 2015 Euromicro Conference on pp. 478--485, 2015.  

  @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},
  },
  

     
• [C24] "An integrative approach for model driven computation of treatments in reproductive medicine", 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, Proceedings of the 15th International Symposium on Mathematical and Computational Biology (BIOMAT 2015), Rorkee, India 2015.  

  @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},
  },
  

     
• [C23] "System Level Formal Verification via Distributed Multi-Core Hardware in the Loop Simulation", Toni Mancini, Federico Mari, Annalisa Massini, Igor Melatti, Enrico Tronci, 22nd Euromicro International Conference on Parallel, Distributed, and Network-Based Processing, PDP 2014, Torino, Italy, February 12-14, 2014 IEEE Computer Society, pp. 734--742, 2014.  

  @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/},
  },
  

     
• [C22] "SmartHG: Energy Demand Aware Open Services for Smart Grid Intelligent Automation", 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, Proceedings of the Work in Progress Session of SEAA/DSD 2014 ISBN: 978-3-902457-40-0, 2014.  

  @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},
  },
  

    
• [C21] "Patient-Specific Models from Inter-Patient Biological Models and Clinical Records", 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, Formal Methods in Computer-Aided Design (FMCAD) 2014.  

  @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}
  },
  

     
• [C20] "Demand-Aware Price Policy Synthesis and Verification Services for Smart Grids", Enrico Tronci, Toni Mancini, Federico Mari, Igor Melatti, Ivano Salvo, Milan Prodanovic, Jorn Klaas Gruber, Barry P. Hayes, Lars Elmegaard, Proceedings of Smart Grid Communications (SmartGridComm), 2014 IEEE International Conference On 2014.  

  @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}
  },
  

    
• [C19] "Anytime System Level Verification via Random Exhaustive Hardware In The Loop Simulation", Toni Mancini, Federico Mari, Annalisa Massini, Igor Melatti, Enrico Tronci, In Proceedings of 17th EuroMicro Conference on Digital System Design (DSD 2014) 2014.  

  @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/},
  },
  

     
• [C18] "On-the-Fly Control Software Synthesis", Vadim Alimguzhin, Federico Mari, Igor Melatti, Ivano Salvo, Enrico Tronci, Proc. of International SPIN Symposium on Model Checking of Software (SPIN 2013) (Lecture Notes in Computer Science), Springer - Verlag, Vol. 7976, pp. 61--80, ISBN: 978-3-642-39175-0, 2013.  

  @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/}
  },
  

     
• [C17] "A Map-Reduce Parallel Approach to Automatic Synthesis of Control Software", Vadim Alimguzhin, Federico Mari, Igor Melatti, Ivano Salvo, Enrico Tronci, Proc. of International SPIN Symposium on Model Checking of Software (SPIN 2013) (Lecture Notes in Computer Science), Springer - Verlag, Vol. 7976, pp. 43--60, ISBN: 978-3-642-39175-0, 2013.  

  @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/}
  },
  

     
• [C16] "System Level Formal Verification via Model Checking Driven Simulation", Toni Mancini, Federico Mari, Annalisa Massini, Igor Melatti, Fabio Merli, Enrico Tronci, Computer Aided Verification - 25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013. Proceedings (Lecture Notes in Computer Science), Springer - Verlag, Vol. 8044, pp. 296--312, ISBN: 978-3-642-39798-1, 2013.  

  @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},
  },
  

    
• [C15] "Automatic Control Software Synthesis for Quantized Discrete Time Hybrid Systems", Vadim Alimguzhin, Federico Mari, Igor Melatti, Ivano Salvo, Enrico Tronci, Proceedings of the 51th IEEE Conference on Decision and Control, CDC 2012, December 10-13, 2012, Maui, HI, USA IEEE, pp. 6120--6125, ISBN: 978-1-4673-2065-8, 2012.  

  @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},
  },
  

    
• [C14] "On Model Based Synthesis of Embedded Control Software", Vadim Alimguzhin, Federico Mari, Igor Melatti, Ivano Salvo, Enrico Tronci, 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 ACM, pp. 227--236, ISBN: 978-1-4503-1425-1, 2012.  

  @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/}
  },
  

     
• [C13] "Linear Constraints as a Modeling Language for Discrete Time Hybrid Systems", Federico Mari, Igor Melatti, Ivano Salvo, Enrico Tronci, Proceedings of ICSEA 2012, The Seventh International Conference on Software Engineering Advances ThinkMind, pp. 664--671, 2012.  

  @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/}
  },
  

    
• [C12] "Undecidability of Quantized State Feedback Control for Discrete Time Linear Hybrid Systems", Federico Mari, Igor Melatti, Ivano Salvo, Enrico Tronci, Theoretical Aspects of Computing (ICTAC 2012) (Lecture Notes in Computer Science), Springer Berlin Heidelberg, Vol. 7521, pp. 243--258, ISBN: 978-3-642-32942-5, 2012.  

  @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},
  },
  

    
• [C11] "Control Software Visualization", Federico Mari, Igor Melatti, Ivano Salvo, Enrico Tronci, Proceedings of INFOCOMP 2012, The Second International Conference on Advanced Communications and Computation ThinkMind, pp. 15--20, 2012.  

  @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/}
  },
  

    
• [C10] "Model checking driven simulation of sat procedures", Giovanni Verzino, Federico Cavaliere, Federico Mari, Igor Melatti, Giovanni Minei, Ivano Salvo, Yuri Yushtein, Enrico Tronci, Proc. of 12th International Conference on Space Operations (SpaceOps 2012) 2012.  

  @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},
  },
  

    
• [C9] "Model Checking Satellite Operational Procedures", Federico Cavaliere, Federico Mari, Igor Melatti, Giovanni Minei, Ivano Salvo, Enrico Tronci, Giovanni Verzino, Yuri Yushtein, DAta Systems In Aerospace (DASIA), Org. EuroSpace, Canadian Space Agency, CNES, ESA, EUMETSAT. San Anton, Malta, EuroSpace. 2011.  

  @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}},
  

   
• [C8] "From Boolean Relations to Control Software", Federico Mari, Igor Melatti, Ivano Salvo, Enrico Tronci, Proceedings of ICSEA 2011, The Sixth International Conference on Software Engineering Advances ThinkMind, pp. 528--533, 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}},
  

   
• [C7] "Synthesis of Quantized Feedback Control Software for Discrete Time Linear Hybrid Systems", Federico Mari, Igor Melatti, Ivano Salvo, Enrico Tronci, Computer Aided Verification, 22nd International Conference, CAV 2010, Edinburgh, UK, July 15-19, 2010. Proceedings (Lecture Notes in Computer Science), Springer Berlin / Heidelberg, Vol. 6174, pp. 180--195, 2010.  

  @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},
  },
  

    
• [C6] "Risk analysis via heterogeneous models of SCADA interconnecting Power Grids and Telco networks", Andrea Bobbio, Ester Ciancamerla, Salvatore Di Blasi, A. Iacomini, Federico Mari, Igor Melatti, Michele Minichino, A. Scarlatti, Enrico Tronci, Roberta Terruggia, E. Zendri, Proceedings of Fourth International Conference on Risks and Security of Internet and Systems (CRiSIS) pp. 90--97, 2009.  

  @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},
  },
  

    
• [C5] "Model Checking Coalition Nash Equilibria in MAD Distributed Systems", Federico Mari, Igor Melatti, Ivano Salvo, Enrico Tronci, Lorenzo Alvisi, Allen Clement, Harry C. Li, Stabilization, Safety, and Security of Distributed Systems, 11th International Symposium, SSS 2009, Lyon, France, November 3-6, 2009. Proceedings (Lecture Notes in Computer Science), Springer, Vol. 5873, pp. 531--546, 2009.  

  @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},
  },
  

     
• [C4] "Formal Verification at System Level", S. Mazzini, S. Puri, Federico Mari, Igor Melatti, Enrico Tronci, In: DAta Systems In Aerospace (DASIA), Org. EuroSpace, Canadian Space Agency, CNES, ESA, EUMETSAT. Instanbul, Turkey, EuroSpace 2009.  

  @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}},
  

   
• [C3] "Model Checking Nash Equilibria in MAD Distributed Systems", Federico Mari, Igor Melatti, Ivano Salvo, Enrico Tronci, Lorenzo Alvisi, Allen Clement, Harry C. Li, FMCAD '08: Proceedings of the 2008 International Conference on Formal Methods in Computer-Aided Design IEEE Press, pp. 1--8, Piscataway, NJ, USA, 2008.  

  @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},
  },
  

     
• [C2] "On Placing Skips Optimally in Expectation", Flavio Chierichetti, Silvio Lattanzi, Federico Mari, Alessandro Panconesi, Web Search and Web Data Mining (WSDM 2008) Acm, pp. 15--24, 2008.  

  @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},
  },
  

    
• [C1] "CEGAR Based Bounded Model Checking of Discrete Time Hybrid Systems", Federico Mari, Enrico Tronci, Hybrid Systems: Computation and Control (HSCC 2007) (Lecture Notes in Computer Science), Springer, Vol. 4416, pp. 399--412, 2007.  

  @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},
  }
  

    

Automatically generated from this bibtex using the Smartbib project