FEDERICO MARI

Ricercatore universitario

email: federico.mari@uniroma1.it





Produzione scientifica

11573/1123936 - 2018 - Computing personalised treatments through In Silico Clinical Trials. A case Study on downregulation in assisted reproduction.
T. Mancini; F. Mari; A. Massini; I. Melatti; I. Salvo; Sinisi, Stefano; E. Tronci - 04a Atto di comunicazione a congresso
congresso: 25th International Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion, RCRA 2018 (Oxford, UK)
libro: Proceedings of the 25th International Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion, RCRA 2018 - ()

11573/1184394 - 2018 - An efficient algorithm for network vulnerability analysis under malicious attacks
Toni Mancini; Federico Mari; Igor Melatti; Ivano Salvo; Enrico Tronci - 04b Atto di convegno in volume
congresso: 24th International Symposium, ISMIS 2018 (Limassol; Cyprus)
libro: Foundations of Intelligent Systems - 24th International Symposium, ISMIS 2018, Limassol, Cyprus, October 29-31, 2018, Proceedings - (978-3-030-01850-4)

11573/1184407 - 2018 - Parallel statistical model checking for safety verification in smart grids
Toni Mancini; Federico Mari; Igor Melatti; Ivano Salvo; Enrico Tronci - 04b Atto di convegno in volume
congresso: IEEE International Conference on Communications, Control, and Computing Technologies for Smart Grids (SmartGridComm 2018) (Aalborg; Denmark)
libro: Proceedings of IEEE International Conference on Communications, Control, and Computing Technologies for Smart Grids (SmartGridComm 2018) - (978-1-5386-7954-8)

11573/941556 - 2017 - On minimising the maximum expected verification time
Mancini, Toni; Mari, Federico; Massini, Annalisa; Melatti, Igor; Salvo, Ivano; Tronci, Enrico - 01a Articolo in rivista
rivista: INFORMATION PROCESSING LETTERS (-Amsterdam : Elsevier Science -Amsterdam : North-Holland) pp. 8-16 - issn: 0020-0190 - wos: WOS:000399506600002 (1) - scopus: 2-s2.0-85013018705 (7)

11573/964521 - 2017 - Linearising discrete time hybrid systems
Alimguzhin, Vadim; Mari, Federico; Melatti, Igor; Salvo, Ivano; Tronci, Enrico - 01a Articolo in rivista
rivista: IEEE TRANSACTIONS ON AUTOMATIC CONTROL (IEEE / Institute of Electrical and Electronics Engineers Incorporated:445 Hoes Lane:Piscataway, NJ 08854:(800)701-4333, (732)981-0060, EMAIL: subscription-service@ieee.org, INTERNET: http://www.ieee.org, Fax: (732)981-9667) pp. 5357-5364 - issn: 0018-9286 - wos: WOS:000412429600044 (1) - scopus: 2-s2.0-85030993896 (7)

11573/864155 - 2016 - Anytime system level verification via parallel random exhaustive hardware in the loop simulation
Mancini, Toni; Mari, Federico; Massini, Annalisa; Melatti, Igor; Tronci, Enrico - 01a Articolo in rivista
rivista: MICROPROCESSORS AND MICROSYSTEMS (Butterworth Heinemann Publishers:Linacre House Jordan Hill, Oxford OX2 8DP United Kingdom:011 44 1865 314569, EMAIL: bhmarketing@repp.co.uk, INTERNET: http://www.laxtonsprices.co.uk, Fax: 011 44 1865 314569) pp. 12-28 - issn: 0141-9331 - wos: WOS:000370456500002 (1) - scopus: 2-s2.0-84954475986 (9)

11573/869353 - 2016 - An Integrative Approach for Model Driven Computation of Treatments in Reproductive Medicine
Tronci, Enrico; Mancini, Toni; Salvo, Ivano; Alimguzhin, Vadim; Mari, Federico; Melatti, Igor; Massini, Annalisa - 04b Atto di convegno in volume
congresso: BIOMAT 2015 (Roorkee, Uttarakhand, India)
libro: BIOMAT 2015 - Proceedings of the International Symposium on Mathematical and Computational Biology - (978-981-3141-90-2)

11573/928859 - 2016 - SyLVaaS: System level formal verification as a service
Mancini, Toni; Mari, Federico; Massini, Annalisa; Melatti, Igor; Tronci, Enrico - 01a Articolo in rivista
rivista: FUNDAMENTA INFORMATICAE (IOS Press:Nieuwe Hemweg 6B, 1013 BG Amsterdam Netherlands:011 31 20 6883355, EMAIL: r.tosendjojo@iospress.nl, INTERNET: http://www.iospress.nl, Fax: 011 31 20 6203419) pp. 101-132 - issn: 0169-2968 - wos: WOS:000391744500005 (0) - scopus: 2-s2.0-85008315342 (4)

11573/645263 - 2015 - SyLVaaS: system level formal verification as a service
Mancini, Toni; Mari, Federico; Massini, Annalisa; Melatti, Igor; Tronci, Enrico - 04b Atto di convegno in volume
congresso: 23rd Euromicro International Conference on Parallel, distributed and network-based Processing (PDP 2015) (Turku)
libro: Proceedings of the 23rd Euromicro International Conference on Parallel, distributed and network-based Processing (PDP 2015) - (978-1-4799-8490-9)

11573/778370 - 2015 - Computing biological model parameters by parallel statistical model checking
Mancini, Toni; Tronci, Enrico; Salvo, Ivano; Mari, Federico; Massini, Annalisa; Melatti, Igor - 04b Atto di convegno in volume
congresso: Third International Conference, IWBBIO (Granada, Spain)
libro: Bioinformatics and Biomedical Engineering Third International Conference, IWBBIO 2015, Granada, Spain, April 15-17, 2015. - (9783319164823; 9783319164830)

11573/869149 - 2015 - A glimpse of SmartHG project test-bed and communication infrastructure
Alimguzhin, Vadim; Mari, Federico; Melatti, Igor; Tronci, Enrico - 04b Atto di convegno in volume
congresso: 18th Euromicro Conference on Digital System Design, DSD 2015 (Funchal, Madeira, Portugal)
libro: Proceedings - 18th Euromicro Conference on Digital System Design, DSD 2015 - (9781467380355; 9781467380355)

11573/869371 - 2015 - User flexibility aware price policy synthesis for smart grids
Mancini, Toni; Mari, Federico; Melatti, Igor; Salvo, Ivano; Tronci, Enrico - 04b Atto di convegno in volume
congresso: 18th Euromicro Conference on Digital System Design, DSD 2015 (Funchal, Madeira, Portugal)
libro: Proceedings - 18th Euromicro Conference on Digital System Design, DSD 2015 - (9781467380355; 9781467380355)

11573/869372 - 2015 - Simulator semantics for system level formal verification
Mancini, Toni; Mari, Federico; Massini, Annalisa; Melatti, Igor; Tronci, Enrico - 04b Atto di convegno in volume
congresso: Sixth International Symposium on Games, Automata, Logics and Formal Verification (Genova)
libro: Logics and Formal Verification 2015 (GandALF’15) - ()

11573/515383 - 2014 - Model Based Synthesis of Control Software from System Level Formal Specifications
Mari, Federico; Melatti, Igor; Salvo, Ivano; Tronci, Enrico - 01a Articolo in rivista
rivista: ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY (ACM / Association for Computing Machinery:1515 Broadway, 17th Floor:New York, NY 10036:(212)869-7440, EMAIL: acmhelp@hq.acm.org, INTERNET: http://www.acm.org, Fax: (212)944-1318) pp. - - issn: 1049-331X - wos: WOS:000331615400006 (8) - scopus: 2-s2.0-84894302917 (18)

11573/536138 - 2014 - System level formal verification via distributed multi-core hardware in the loop simulation
Mancini, Toni; Mari, Federico; Massini, Annalisa; Melatti, Igor; Tronci, Enrico - 04b Atto di convegno in volume
congresso: 2014 22nd Euromicro International Conference on Parallel, Distributed, and Network-Based Processing, PDP 2014 (Torino, Italy)
libro: Proc. of the 22nd Euromicro International Conference on Parallel, Distributed and Network-Based Computing (PDP 2014) - (9781479927296)

11573/645261 - 2014 - Patient-Specific Models from Inter-Patient Biological Models and Clinical Records
Tronci, Enrico; Mancini, Toni; Salvo, Ivano; Sinisi , Stefano; Mari, Federico; Melatti, Igor; Massini, Annalisa; Davi', Francesco - 04b Atto di convegno in volume
congresso: 14th Conference in Formal Methods in Computer-Aided Design ()
libro: Proceedings of the 14th Conference in Formal Methods in Computer-Aided Design - ()

11573/645262 - 2014 - Anytime System Level Verification via Random Exhaustive Hardware In The Loop Simulation
Mancini, Toni; Mari, Federico; Massini, Annalisa; Melatti, Igor; Tronci, Enrico - 04b Atto di convegno in volume
congresso: 17th EuroMicro Conference on Digital System Design ()
libro: Proceedings of the 17th EuroMicro Conference on Digital System Design - ()

11573/645266 - 2014 - Demand-Aware Price Policy Synthesis and Verification Services for Smart Grids
Mancini, Toni; Mari, Federico; Melatti, Igor; Salvo, Ivano; Tronci, Enrico - 04b Atto di convegno in volume
congresso: IEEE International Conference on Smart Grid Communications (Venice, Italy)
libro: Proceedings of IEEE International Conference on Smart Grid Communications - (978-1-4799-4934-2)

11573/513372 - 2013 - A multi-hop advertising discovery and delivering protocol for multi administrative domain MANET
Mari, Federico; Melatti, Igor; Tronci, Enrico - 01a Articolo in rivista
rivista: MOBILE INFORMATION SYSTEMS (IOS Press Nieuwe Hemweg 6B, 1013 BG Amsterdam +31 20 688 3355 phone, +31 20 620 3419 fax market@iospress.nl e-mail) pp. 261-280 - issn: 1574-017X - wos: WOS:000331087800005 (3) - scopus: 2-s2.0-84882294341 (4)

11573/514610 - 2013 - System level formal verification via model checking driven simulation
Mancini, Toni; Mari, Federico; Massini, Annalisa; Melatti, Igor; Tronci, Enrico - 04b Atto di convegno in volume
congresso: 25th International Conference on Computer Aided Verification, CAV 2013 (Saint Petersburg, Russia)
libro: Proceedings of CAV 2013 - 25th International Conference on Computer Aided Verification - (9783642397981; 9783642397998)

11573/515407 - 2013 - A Map-Reduce Parallel Approach to Automatic Synthesis of Control Software
Alimguzhin, Vadim; Mari, Federico; Melatti, Igor; Salvo, Ivano; Tronci, Enrico - 04b Atto di convegno in volume
congresso: International SPIN Symposium on Model Checking of Software ()
libro: Proc. of the International SPIN Symposium on Model Checking of Software (SPIN 2013) - (9783642391750; 9783642391767)

11573/515408 - 2013 - On-the-Fly Control Software Synthesis
Alimguzhin, Vadim; Mari, Federico; Melatti, Igor; Salvo, Ivano; Tronci, Enrico - 04b Atto di convegno in volume
congresso: International SPIN Symposium on Model Checking of Software ()
libro: Proc. of the International SPIN Symposium on Model Checking of Software (SPIN 2013) - (9783642391750; 9783642391767)

11573/518530 - 2013 - Linear Constraints and Guarded Predicates as a Modeling Language for Discrete Time Hybrid Systems
Mari, Federico; Melatti, Igor; Salvo, Ivano; Tronci, Enrico - 01a Articolo in rivista
rivista: INTERNATIONAL JOURNAL ON ADVANCES IN SOFTWARE ([Colmar] : IARIA) pp. 155-169 - issn: 1942-2628 - wos: (0) - scopus: (0)

11573/488402 - 2012 - Automatic control software synthesis for quantized discrete time hybrid systems
Alimguzhin, Vadim; Mari, Federico; Melatti, Igor; Salvo, Ivano; Tronci, Enrico - 04b Atto di convegno in volume
congresso: 51st IEEE Conference on Decision and Control, CDC 2012 (Maui, HI)
libro: 51st IEEE Conference on Decision and Control (CDC), 2012 - (9781467320634; 9781467320641; 9781467320658)

11573/488404 - 2012 - Control Software Visualization
Mari, Federico; Melatti, Igor; Salvo, Ivano; Tronci, Enrico - 04b Atto di convegno in volume
congresso: INFOCOMP 2012 ()
libro: The Second International Conference on Advanced Communications and Computation, INFOCOMP 2012 - (9781612082264)

11573/488407 - 2012 - On model based synthesis of embedded control software
Alimguzhin, Vadim; Mari, Federico; Melatti, Igor; Salvo, Ivano; Tronci, Enrico - 04b Atto di convegno in volume
congresso: 10th ACM International Conference on Embedded Software 2012, EMSOFT 2012, Co-located with 8th Embedded Systems Week, ESWEEK 2012 (Tampere)
libro: Proceedings of the International Conference on Embedded Software (EMSOFT), 2012 - (9781450314251)

11573/488410 - 2012 - Linear Constraints as a Modeling Language for Discrete Time Hybrid Systems
Mari, Federico; Melatti, Igor; Salvo, Ivano; Tronci, Enrico - 04b Atto di convegno in volume
congresso: ICSEA 2012 ()
libro: The Seventh International Conference on Software Engineering Advances, ICSEA 2012 - (9781612082301)

11573/488411 - 2012 - Undecidability of quantized state feedback control for discrete time linear hybrid systems
Mari, Federico; Melatti, Igor; Salvo, Ivano; Tronci, Enrico - 04b Atto di convegno in volume
congresso: 9th International Colloquium on Theoretical Aspects of Computing, ICTAC 2012 (Bangalore)
libro: Theoretical Aspects of Computing - ICTAC 2012 - 9th International Colloquium, Bangalore, India, September 24-27, 2012. Proceedings - (9783642329425; 9783642329432)

11573/507125 - 2012 - Synthesizing Control Software from Boolean Relations
Mari, Federico; Melatti, Igor; Salvo, Ivano; Tronci, Enrico - 01a Articolo in rivista
rivista: INTERNATIONAL JOURNAL ON ADVANCES IN SOFTWARE ([Colmar] : IARIA) pp. 212-223 - issn: 1942-2628 - wos: (0) - scopus: (0)

11573/535827 - 2012 - Model checking driven simulation of sat procedures
Mari, Federico; Melatti, Igor; Salvo, Ivano; Tronci, Enrico - 04b Atto di convegno in volume
congresso: 2th International Conference on Space Operations (SpaceOps 2012) (Stockholm, Sweden)
libro: 2th International Conference on Space Operations (SpaceOps 2012) - ()

11573/380228 - 2011 - Model Checking Satellite Operational Procedures
Mari, Federico; Melatti, Igor; Salvo, Ivano; Tronci, Enrico - 04b Atto di convegno in volume
congresso: DAta Systems In Aerospace (DASIA 2011) (San Anton, Malta)
libro: SP-694 DASIA 2011 DAta Systems In Aerospace - (9789290922582)

11573/389969 - 2011 - From Boolean Relations to Control Software
Mari, Federico; Melatti, Igor; Salvo, Ivano; Tronci, Enrico - 04b Atto di convegno in volume
congresso: International Conference on Software Engineering Advances, (ICSEA 2011) (Barcellona, Spain)
libro: The Sixth International Conference on Software Engineering Advances, ICSEA 2011 - (9781612081656)

11573/228135 - 2010 - Synthesis of Quantized Feedback Control Software for Discrete Time Linear Hybrid Systems
Mari, Federico; Melatti, Igor; Salvo, Ivano; Tronci, Enrico - 04b Atto di convegno in volume
congresso: 22nd International Conference on Computer Aided Verification (Edinburgh, SCOTLAND)
libro: CAV 2010, Proceedings 22nd International Conference on Computer Aided Verification - (9783642142949; 9783642142956)

11573/209977 - 2009 - Formal verification at system level
Mari, Federico; Melatti, Igor; Tronci, Enrico - 04b Atto di convegno in volume
congresso: DASIA 2009 Conference on DAta Systems In Aerospace (Istanbul)
libro: DAta Systems In Aerospace (DASIA), Org. EuroSpace, Canadian Space Agency, CNES, ESA, EUMETSAT, May 26-29, 2009, Instanbul, Turkey, EuroSpace - (9789292212339)

11573/378883 - 2009 - Risk analysis via heterogeneous models of SCADA interconnecting Power Grids and Telco Networks
Mari, Federico; Melatti, Igor; Tronci, Enrico - 04b Atto di convegno in volume
congresso: 4th International Conference on Risks and Security of Internet and Systems, CRiSIS 2009 (Toulouse)
libro: Fourth International Conference on Risks and Security of Internet and Systems (CRISIS) - (9781424444984; 9781424444991)

11573/379118 - 2009 - Model Checking Coalition Nash Equilibria in MAD Distributed Systems
Mari, Federico; Melatti, Igor; Salvo, Ivano; Tronci, Enrico - 04b Atto di convegno in volume
congresso: 11th International Symposium on Stabilization, Safety and Security of Distributed Systems (Lyon, FRANCE)
libro: Stabilization, Safety, and Security of Distributed Systems, 11th International Symposium, SSS 2009, Lyon, France, November 3-6, 2009. Proceedings - (9783642051173; 9783642051180)

11573/364827 - 2008 - On Placing Skips Optimally In Expectation.
Chierichetti, Flavio; Lattanzi, Silvio; Mari, Federico; Panconesi, Alessandro - 04b Atto di convegno in volume
congresso: ACM International Conference on Web Search and Data Mining (WSDM 2008) (Stanford, California, USA)
libro: Proceedings of the 1st ACM International Conference on Web Search and Data Mining (WSDM 2008). - (9781595939279)

11573/380825 - 2008 - Model Checking Nash Equilibria in MAD Distributed Systems
Mari, Federico; Melatti, Igor; Salvo, Ivano; Tronci, Enrico - 04b Atto di convegno in volume
congresso: Formal Methods in Computer-Aided Design (FMCAD 2008) (Portland, OR, USA)
libro: 2008 Formal Methods in Computer-Aided Design - (9781424427352)

11573/364775 - 2007 - CEGAR Based Bounded Model Checking of Discrete Time Hybrid Systems
Mari, Federico; Tronci, Enrico - 04b Atto di convegno in volume
libro: Proc. of 10th International Conference: Hybrid Systems: Computation and Control (HSCC), LNCS - ()

© Università degli Studi di Roma "La Sapienza" - Piazzale Aldo Moro 5, 00185 Roma