IGOR MELATTI

Ricercatore universitario

email: igor.melatti@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/930086 - 2017 - Residential demand management using individualised demand aware price policies
Melatti, Igor; Mancini, Toni; Tronci, Enrico - 01a Articolo in rivista
rivista: IEEE TRANSACTIONS ON SMART GRID (Piscataway, NJ : IEEE, c2010) pp. 1284-1294 - issn: 1949-3053 - wos: WOS:000399990200024 (16) - scopus: 2-s2.0-85018296996 (30)

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/516270 - 2013 - CGMurphi: Automatic synthesis of numerical controllers for nonlinear hybrid systems
Melatti, Igor; Tronci, Enrico - 01a Articolo in rivista
rivista: EUROPEAN JOURNAL OF CONTROL (LAVOISIER, 14, RUE DE PROVIGNY, CACHAN, FRANCE, 94236 Primo editore Springer-Verl. London) pp. 14-36 - issn: 0947-3580 - wos: WOS:000319491600004 (0) - scopus: 2-s2.0-84884655991 (3)

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/508059 - 2012 - Collaboration on iss experiment data and knowledge representation
Melatti, Igor - 04b Atto di convegno in volume
congresso: 63rd International Astronautical Congress 2012, IAC 2012 (Napoli, Italy)
libro: 63rd International Astronautical Congress 2012, IAC 2012 - (9781622769797)

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/139360 - 2009 - Parallel and distributed model checking in Eddy
Melatti, Igor - 01a Articolo in rivista
rivista: INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER (Berlin; Heidelberg: Springer.) pp. 13-25 - issn: 1433-2779 - wos: (0) - scopus: 2-s2.0-58749099268 (16)

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/168586 - 2008 - Automated Generation of Optimal Controllers through Model Checking Techniques
Melatti, Igor; Tronci, Enrico - 02a Capitolo o Articolo
libro: Informatics in Control Automation and Robotics - (9783540791416)

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/140194 - 2007 - Computational models of myocardial endomysial collagen arrangement
Melatti, Igor - 01a Articolo in rivista
rivista: COMPUTER METHODS AND PROGRAMS IN BIOMEDICINE (Elsevier Science Ireland Limited:PO Box 85, Limerick Ireland:011 353 61 709600, 011 353 61 61944, EMAIL: usinfo-f@elsevier.com, INTERNET: http://www.elsevier.com, Fax: 011 353 61 709114) pp. 232-244 - issn: 0169-2607 - wos: WOS:000246663200005 (9) - scopus: 2-s2.0-34247472974 (11)

11573/207309 - 2007 - Disk Based Software Verification via Bounded Model Checking
Melatti, Igor; Tronci, Enrico - 04b Atto di convegno in volume
congresso: 14th Asia-Pacific Software Engineering Conference (APSEC 2007) (Nagoya, Japan)
libro: 14th Asia-Pacific Software Engineering Conference (APSEC 2007) - ()

11573/56801 - 2007 - Automatic synthesis of robust numerical controllers
Melatti, Igor; Tronci, Enrico - 04b Atto di convegno in volume
congresso: 3rd International Conference on Autonomic and Autonomous Systems, ICAS 2007 (Athens)
libro: Third International Conference on Autonomic and Autonomous Systems (ICAS'07) - (978-0-7695-2859-7; 9780769527994; 9780769528595)

11573/139362 - 2006 - Interoperability mapping from XML schemas to ER diagrams
Melatti, Igor - 01a Articolo in rivista
rivista: DATA & KNOWLEDGE ENGINEERING (Elsevier BV:PO Box 211, 1000 AE Amsterdam Netherlands:011 31 20 4853757, 011 31 20 4853642, 011 31 20 4853641, EMAIL: nlinfo-f@elsevier.nl, INTERNET: http://www.elsevier.nl, Fax: 011 31 20 4853598) pp. 166-188 - issn: 0169-023X - wos: WOS:000239850700007 (5) - scopus: 2-s2.0-33746346202 (6)

11573/234300 - 2006 - Finite Horizon Analysis of Markov Chains with the Murphi Verifier
Melatti, Igor; Tronci, Enrico; Zilli, Marisa - 01a Articolo in rivista
rivista: INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER (Berlin; Heidelberg: Springer.) pp. 397-409 - issn: 1433-2779 - wos: (0) - scopus: 2-s2.0-33749040225 (21)

11573/237689 - 2006 - Automatic Generation Of Optimal Controllers Through Model Checking Techniques
Melatti, Igor; Tronci, Enrico - 04b Atto di convegno in volume
congresso: 3rd International Conference on Informatics in Control, Automation and Robotics (ICINCO 2006) (Setubal, Portugal)
libro: ICINCO 2006: Proceedings of the Third International Conference on Informatics in Control, Automation and Robotics: INTELLIGENT CONTROL SYSTEMS AND OPTIMIZATION - (9728865597)

11573/378000 - 2006 - A Case Study on Automated Generation of Integration Tests
Melatti, Igor; Tronci, Enrico - 04b Atto di convegno in volume
congresso: Forum on specification & Design Languages (FDL 2006) (Darmstadt, Germany)
libro: Proceedings of Forum on specification & Design Languages (FDL 2006) - (9783000197109)

11573/57636 - 2006 - Parallel and distributed model checking in Eddy
Melatti, Igor - 04b Atto di convegno in volume
congresso: 13th International SPIN Workshop on Model Checking Software (Vienna)
libro: Model Checking Software, 13th International SPIN Workshop, Vienna, Austria, March 30 - April 1, 2006, Proceedings - (9783540331025; 9783540331032)

11573/233530 - 2005 - Exploiting hub states in automatic verification
Melatti, Igor; Tronci, Enrico - 04b Atto di convegno in volume
congresso: 3rd International Symposium on Automated Technology for Verification and Analysis (Taipei, TAIWAN)
libro: Automated Technology for Verification and Analysis, Third International Symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005, Proceedings - (9783540292098; 9783540319696)

11573/378190 - 2005 - Automatic Analysis of Hybrid Systems with the Murphi Verifier
Melatti, Igor; Tronci, Enrico - 04b Atto di convegno in volume
congresso: AICA 2005 (Udine (IT))
libro: Atti Ufficiali del Congresso Annuale dell’Associazione Italiana per l’Informatica ed il Calcolo Automatico (AICA 2005) - ()

11573/56803 - 2005 - A model checking technique for the verification of fuzzy control systems
Melatti, Igor; Tronci, Enrico - 04b Atto di convegno in volume
congresso: International Conference on Computational Intelligence for Modelling, Control and Automation, CIMCA 2005 and International Conference on Intelligent Agents, Web Technologies and Internet Commerce, IAWTIC 2005 (Vienna)
libro: Computational Intelligence for Modelling, Control and Automation, 2005 and International Conference on Intelligent Agents, Web Technologies and Internet Commerce, International Conference on - (9780769525044)

11573/56852 - 2005 - Computational Models of the Micro Architecture of the Cardiac Endomysial Collagen
Melatti, Igor - 04a Atto di comunicazione a congresso
congresso: European Medical & Biological Engineering Conference (EMBEC 2005) (Prague, Czech Republic)
libro: IFMBE Proceedings EMBEC '05 European Medical & Biological Engineering Conference, IFMBE European Conference on Biomedical Engineering - ()

11573/232184 - 2004 - Bounded Probabilistic Model Checking with the Murphi Verifier
Melatti, Igor; Tronci, Enrico - 04b Atto di convegno in volume
congresso: Formal Methods in Computer-Aided Design (FMCAD 2004) (Austin, Texas, USA)
libro: Formal Methods in Computer-Aided Design, 5th International Conference, FMCAD 2004, Austin, Texas, USA, November 15-17, 2004, Proceedings - (9783540237389)

11573/240071 - 2004 - Exploiting Transition Locality in Automatic Verification of Finite-State Concurrent Systems
Melatti, Igor; Tronci, Enrico - 01a Articolo in rivista
rivista: INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER (Berlin; Heidelberg: Springer.) pp. 320-341 - issn: 1433-2779 - wos: (0) - scopus: 2-s2.0-84896694205 (35)

11573/249170 - 2003 - Finite Horizon Analysis of Markov Chains with the Murphi Verifier
Melatti, Igor; Tronci, Enrico - 04b Atto di convegno in volume
congresso: Correct Hardware Design and Verification Methods (CHARME 2003) (L'Aquila, Italy)
libro: Correct Hardware Design and Verification Methods, 12th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2003, L'Aquila, Italy, October 21-24, 2003, Proceedings - ()

11573/250429 - 2003 - Integrating Ram and Disk Based Verification within the Murphi Verifier
Melatti, Igor; Tronci, Enrico - 04b Atto di convegno in volume
congresso: Correct Hardware Design and Verification Methods (CHARME 2003) (L'Aquila, Italy)
libro: Correct Hardware Design and Verification Methods, 12th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2003, L'Aquila, Italy, October 21-24, 2003, Proceedings - ()

11573/367371 - 2003 - Finite Horizon Analysis of Stochastic Systems with the Murphi Verifier
Melatti, Igor; Tronci, Enrico - 04b Atto di convegno in volume
congresso: Theoretical Computer Science (ICTCS 2003) (Bertinoro, Italy)
libro: Theoretical Computer Science, 8th Italian Conference, ICTCS 2003, Bertinoro, Italy, October 13-15, 2003, Proceedings - (9783540202165)

11573/57637 - 2003 - Automatic Verification of a Turbogas Control System with the Murphi Verifier
Melatti, Igor; Tronci, Enrico - 04b Atto di convegno in volume
congresso: Hybrid Systems: Computation and Control (HSCC 2003) (Prague, Czech Republic)
libro: Hybrid Systems: Computation and Control, 6th International Workshop, HSCC 2003 Prague, Czech Republic, April 3-5, 2003, Proceedings - ()

11573/57638 - 2003 - Xere: Towards a Natural Interoperability between XML and ER Diagrams
Melatti, Igor - 04b Atto di convegno in volume
congresso: Fundamental Approaches to Software Engineering (FASE 2003) (Warsaw, Poland)
libro: Fundamental Approaches to Software Engineering, 6th International Conference, FASE 2003, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003, Proceedings - (9783540008996; 9783540365785)

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