ENRICO TRONCI

Professore associato

email: enrico.tronci@uniroma1.it





Produzione scientifica

11573/1359936 - 2020 - Generating T1DM virtual patients for in silico clinical trials via AI-guided statistical model checking
Mancini T.; Massini A.; Sinisi S.; Tronci E. - 04b Atto di convegno in volume
congresso: 2019 Joint RCRA International Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion and of the RCRA Incontri e Confronti Workshop, RCRA + RiCeRcA 2019 (ita)
libro: CEUR Workshop Proceedings - ()

11573/1291714 - 2019 - Associations Between Natural Physiological and Supraphysiological Estradiol Levels and Stress Perception
Tronci, Enrico; Mancini, Toni - 01a Articolo in rivista
rivista: FRONTIERS IN PSYCHOLOGY (Lausanne: Frontiers Editorial) pp. - - issn: 1664-1078 - wos: WOS:000471289800001 (0) - scopus: 2-s2.0-85068703477 (2)

11573/1356836 - 2019 - SBML2Modelica: Integrating biochemical models within open-standard simulation ecosystems
Maggioli, F; Mancini, T; Tronci, E - 01a Articolo in rivista
rivista: BIOINFORMATICS (-Oxford : Oxford University Press, 1998-) pp. - - issn: 1367-4803 - wos: (0) - scopus: (0)

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/1168528 - 2018 - A methodology for a complete simulation of Cyber-Physical Energy Systems
Tronci E. - 04b Atto di convegno in volume
congresso: 2018 IEEE Workshop on Environmental, Energy, and Structural Monitoring Systems, EESMS 2018 (ita)
libro: EESMS 2018 - Environmental, Energy, and Structural Monitoring Systems, Proceedings - (9781538664056)

11573/1168546 - 2018 - Preface for the special issue GandALF 2015
Tronci E. - 02c Prefazione/Postfazione
libro: Preface for the special issue GandALF 2015 - ()

11573/1184376 - 2018 - Optimal fault-tolerant placement of relay nodes in a mission critical wireless network
Toni Mancini; Enrico Tronci - 04b Atto di convegno in volume
congresso: 25th RCRA International Workshop on "Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion" (RCRA 2018) (Oxford; United Kingdom)
libro: Proceedings of the 25th RCRA 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/1021396 - 2017 - Parallelization of cycle-based logic simulation
Mancini, Toni; Massini, Annalisa; Tronci, Enrico - 01a Articolo in rivista
rivista: PARALLEL PROCESSING LETTERS (World Scientific Publishing Company:PO Box 128, Farrer Road, Singapore 912805 Singapore:011 65 6 4665775, EMAIL: journal@wspc.com.sg, INTERNET: http://www.wspc.com.sg, http://www.worldscinet.com, Fax: 011 65 6 4677667) pp. 1-16 - issn: 0129-6264 - wos: WOS:000404065100004 (0) - scopus: 2-s2.0-85028012700 (0)

11573/1028894 - 2017 - Lack of associations between female hormone levels and visuospatial working memory, divided attention and cognitive bias across two consecutive menstrual cycles
Tronci, Enrico; Mancini, Toni - 01a Articolo in rivista
rivista: FRONTIERS IN BEHAVIORAL NEUROSCIENCE (Lausanne : Frontiers Research Foundation) pp. 120- - issn: 1662-5153 - wos: WOS:000404668400001 (13) - scopus: 2-s2.0-85027867628 (14)

11573/1168572 - 2017 - Modeling cyber-physical systems for automatic verification
Tronci, E. - 04b Atto di convegno in volume
congresso: 14th International Conference on Synthesis, Modeling, Analysis and Simulation Methods and Applications to Circuit Design, SMACD 2017 (Atahotel Naxos Beach Conference Centre, Via Recanati, ita)
libro: SMACD 2017 - 14th International Conference on Synthesis, Modeling, Analysis and Simulation Methods and Applications to Circuit Design - (9781509050529)

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/982202 - 2017 - Negative affect is unrelated to fluctuations in hormone levels across the menstrual cycle: Evidence from a multisite observational study across two successive cycles
Tronci, Enrico; Mancini, Toni - 01a Articolo in rivista
rivista: JOURNAL OF PSYCHOSOMATIC RESEARCH (Elsevier Science Limited:Oxford Fulfillment Center, PO Box 800, Kidlington Oxford OX5 1DX United Kingdom:011 44 1865 843000, 011 44 1865 843699, EMAIL: asianfo@elsevier.com, tcb@elsevier.co.UK, INTERNET: http://www.elsevier.com, http://www.elsevier.com/locate/shpsa/, Fax: 011 44 1865 843010) pp. 21-27 - issn: 0022-3999 - wos: WOS:000406357300004 (2) - scopus: 2-s2.0-85019757594 (5)

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/783755 - 2014 - Formal verification of individualized endocrinological treatments
Markelova, Mariya; Tronci, Enrico - 04b Atto di convegno in volume
congresso: Information Technologies for Intelligent Decision Making Support (2014)
libro: Proc. Information Technologies for Intelligent Decision Making Support - ()

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/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/378327 - 2011 - Flexible Plan Verification: Feasibility Results
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. 111-137 - issn: 0169-2968 - wos: WOS:000294729500002 (5) - scopus: 2-s2.0-84992252010 (7)

11573/378868 - 2011 - Cost-Optimal strong planning in non-deterministic domains
Tronci, Enrico - 04b Atto di convegno in volume
congresso: 8th International Conference on Informatics in Control, Automation and Robotics, ICINCO 2011 (Noordwijkerhout)
libro: 8th International Conference on Informatics in Control, Automation and Robotics (ICINCO) - (9789898425744; 9789898425751)

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/378515 - 2010 - Analyzing Flexible Timeline-based Plans
Tronci, Enrico - 04b Atto di convegno in volume
congresso: 19th European Conference on Artificial Intelligence (ECAI)/6th Conference on Prestigious Applications of Intelligent Systems (PAIS) (Lisbon, PORTUGAL)
libro: 19th European Conference on Artificial Intelligence (ECAI) - (9781607506058)

11573/378699 - 2010 - Validation and verification issues in a timeline-based planning system
Tronci, Enrico - 01a Articolo in rivista
rivista: KNOWLEDGE ENGINEERING REVIEW (Cambridge University Press / New York:40 West 20th Street:New York, NY 10011:(800)872-7423, (212)924-3900, EMAIL: journals_subscriptions@cup.org, INTERNET: http://www.journals.cambridge.org, Fax: (212)691-3239) pp. 299-318 - issn: 0269-8889 - wos: WOS:000282113800004 (11) - scopus: 2-s2.0-77958517144 (16)

11573/378703 - 2010 - A Model-Based methodology to support the Space System Engineering
Tronci, Enrico - 04b Atto di convegno in volume
congresso: Proc. of: Embedded Real Time Software and Systems (ERTS) (Toulouse, France)
libro: Embedded Real Time Software and Systems (ERTS) - ()

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/209978 - 2009 - Flexible timeline-based plan verification
Tronci, Enrico - 04b Atto di convegno in volume
congresso: 32nd Annual German Conference on Artificial Intelligence, KI 2009 (Paderborn)
libro: 32nd Annual German Conference on: Advances in Artificial Intelligence (KI) - (9783642046162; 9783642046179)

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/378889 - 2009 - Flexible Plan Verification: Feasibility Results
Tronci, Enrico - 04b Atto di convegno in volume
congresso: Int, W. on: Experimental evaluation of algorithms for solving problems with combinatorial explosion ()
libro: 16th RCRA International Workshop on "Experimental evaluation of algorithms for solving problems with combinatorial explosion" (RCRA) - ()

11573/378894 - 2009 - Verifying Flexible Timeline-based Plans
Tronci, Enrico - 04b Atto di convegno in volume
congresso: In E-Proc. of ICAPS Workshop on Validation and Verification of Planning and Scheduling Systems (VVPS ()
libro: In E-Proc. of ICAPS Workshop on Validation and Verification of Planning and Scheduling Systems (VVPS) - ()

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/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/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 - ()

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/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/235042 - 2006 - On Optimizing Service Availability of an Internet Based Architecture for Infrastructure Protection
Bartolini, Novella; Tronci, Enrico - 04b Atto di convegno in volume
congresso: International Workshop on: Complex Networks and Infrastructure Protection (Roma, Italy)

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/50077 - 2006 - Introductory paper
Tronci, Enrico - 01a Articolo in rivista
rivista: INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER (Berlin; Heidelberg: Springer.) pp. 355-358 - issn: 1433-2779 - wos: (0) - scopus: 2-s2.0-33748988443 (0)

11573/207306 - 2005 - Automatic Analysis of a Safety Critical Tele Control System
Tronci, Enrico - 04b Atto di convegno in volume
congresso: The 24th International Conference on: COMPUTER SAFETY, RELIABILITY AND SECURITY (SAFECOMP) (Fredrikstad, Norway)
libro: 24th International Conference on: COMPUTER SAFETY, RELIABILITY AND SECURITY (SAFECOMP) - ()

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/49943 - 2005 - Functional Analysis of a Telecontrol System and Stochastic Measures of its GSM/GPRS Connections
Tronci, Enrico - 01a Articolo in rivista
rivista: ARCHIVES OF TRANSPORT (Warsaw: Gebethner i Ska.) pp. 39-55 - issn: 0866-9546 - wos: (0) - scopus: (0)

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/947448 - 2005 - Stochastic and functional analysis of a Public Mobile Network in a safety critical context
Tronci, Enrico - 04b Atto di convegno in volume
congresso: 16th European Safety and Reliability Conference, ESREL 2005 (Tri City, pol)
libro: Advances in Safety and Reliability - Proceedings of the European Safety and Reliability Conference, ESREL 2005 - (0415383420; 0415383420)

11573/207302 - 2004 - Electric Power System Anomaly Detection Using Neural Networks
Tronci, Enrico - 04b Atto di convegno in volume
congresso: 8th International Conference on Knowledge-Based Intelligent Information & Engineering Systems (KES) (Wellington, New Zealand)
libro: 8th International Conference on Knowledge-Based Intelligent Information & Engineering Systems (KES) - (3540233180)

11573/207304 - 2004 - Automatic Covert Channel Analysis of a Multilevel Secure Component
Tronci, Enrico - 04b Atto di convegno in volume
congresso: Sixth International Conference on Information and Communications Security (ICICS) (Malaga, Spain)
libro: Sixth International Conference on Information and Communications Security (ICICS) - (3540235639)

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/50075 - 2004 - Automated Analysis of Timed Security: a case study on web privacy
Tronci, Enrico - 01a Articolo in rivista
rivista: INTERNATIONAL JOURNAL OF INFORMATION SECURITY (Springer-Verlag New York Incorporated:175 Fifth Avenue:New York, NY 10010:(212)460-1500, EMAIL: orders@springer-ny.com, INTERNET: http://www.springer-ny.com, Fax: (212)533-3503) pp. 168-186 - issn: 1615-5262 - wos: (0) - scopus: (0)

11573/50078 - 2004 - Automatic analysis of the NRL Pump
Tronci, Enrico - 01a Articolo in rivista
rivista: ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE (ELSEVIER) pp. 245-266 - issn: 1571-0661 - wos: (0) - scopus: 2-s2.0-18944373905 (8)
congresso: Proceedings of the MEFISTO Project 2003, Formal Methods for Security and Time (Pisa)

11573/209313 - 2003 - Automatic Verification of Timeliness Constraints in a Public Mobile Network
Tronci, Enrico - 04b Atto di convegno in volume
congresso: Proc. of 22th Int. Conf. on "Computer Safety, Reliability and Security" SAFECOMP (Edinburgh, UK)

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/250706 - 2003 - Synchronized Regular Expressions
Tronci, Enrico; Zilli, Marisa - 01a Articolo in rivista
rivista: ACTA INFORMATICA (Springer Verlag Germany:Tiergartenstrasse 17, D 69121 Heidelberg Germany:011 49 6221 3450, EMAIL: g.braun@springer.de, INTERNET: http://www.springer.de, Fax: 011 49 6221 345229 SPRINGER, 233 SPRING STREET, NEW YORK, USA, NY, 10013) pp. 31-70 - issn: 0001-5903 - wos: WOS:000180940100002 (10) - scopus: 2-s2.0-0037272875 (12)

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/500018 - 2003 - Fluid Petri Nets and hybrid model checking: a comparative case study
Tronci, Enrico - 01a Articolo in rivista
rivista: RELIABILITY ENGINEERING & SYSTEM SAFETY (Elsevier Applied Science:An Imprint of Elsevier Science Ltd, The Boulevard, Langford Lane, Kidlington Oxford OX5 1GB United Kingdom:011 44 1865 843000, 011 44 1865 843699, EMAIL: nlinfo-f@elsevier.nl OR usinfo-f@elsevier.com OR forinfo-kyf04035@niftyserve.or.jp, INTERNET: http://www.elsevier.nl/, Fax: 011 44 1865 843010) pp. 239-257 - issn: 0951-8320 - wos: WOS:000184791600002 (19) - scopus: 2-s2.0-0041629176 (23)

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/947474 - 2003 - Preface
Tronci, Enrico - 04b Atto di convegno in volume
congresso: 12th IFIP WG 10.5 Advanced Research Working Conference on Correct Hardware Design and Verification Methods, CHARME 2003 (ita)
libro: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) - (354020363X; 354020363X)

11573/209299 - 2002 - Model-Checking based on Fluid Petri Nets for the Temperature Control System of the ICARO Co-generative Plant
Tronci, Enrico - 04b Atto di convegno in volume
congresso: Computer Safety, Reliability and Security (Catania, Italy)
libro: Proceedings of 21st International Conference on Computer Safety, Reliability and Security (SAFECOMP) - (3540441573)

11573/249027 - 2002 - Exploiting Transition Locality in the disk based Murphi Verifier
Tronci, Enrico; Zilli, Marisa - 04b Atto di convegno in volume
congresso: Formal Methods in Computer-Aided Design, 5th International Conference, FMCAD 2004 (Austin, Texas, USA,)

11573/500041 - 2002 - Formal Models of Timing Attacks on Web Privacy
Tronci, Enrico - 01a Articolo in rivista
rivista: ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE (ELSEVIER) pp. 1-15 - issn: 1571-0661 - wos: (0) - scopus: (0)

11573/50079 - 2002 - Synchronized Regular Expressions
Tronci, Enrico - 01a Articolo in rivista
rivista: ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE (ELSEVIER) pp. - - issn: 1571-0661 - wos: (0) - scopus: 2-s2.0-19144371621 (0)

11573/209306 - 2001 - Integrating Automatic Verification of Safety Requirements in Railway Interlocking System Design
Tronci, Enrico - 04b Atto di convegno in volume
congresso: Proceedings of theHigh Assurance Systems Engineering (Boco Raton, FL, USA)
libro: Proceedings of the 6th IEEE International Symposium on High Assurance Systems Engineering (HASE’01) - ()

11573/249168 - 2001 - Exploiting Transition Locality in Automatic Verification
Tronci, Enrico; Zilli, Marisa - 04b Atto di convegno in volume
congresso: Correct Hardware Design and Verification Methods, 11th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2001, (Livingston, Scotland, UK,)

11573/251051 - 2001 - A Probabilistic Approach to Space-Time Trading in Automatic Verification of Concurrent Systems
Tronci, Enrico; Zilli, Marisa - 04b Atto di convegno in volume
congresso: 8th Asia-Pacific Software Engineering Conference (APSEC 2001) (Macau SAR, China)
libro: 8th Asia-Pacific Software Engineering Conference (APSEC 2001) - (0769514081)

11573/209308 - 2000 - Requirements Formalization and Validation for a Telecommunication Equipment Protection Switcher
Tronci, Enrico - 04b Atto di convegno in volume
congresso: ProceedinHigh Assurance Systems Engineering (Albuquerque, New Mexico, USA)
libro: Proceedings. Fifth IEEE International Symposium on High Assurance Systems Engineering (HASE 2000) - ()

11573/209309 - 1999 - Formally Modeling a Metal Processing Plant and its Closed Loop Specifications
Tronci, Enrico - 04b Atto di convegno in volume
congresso: The 4th IEEE International Symposium on High-Assurance Systems Engineering (HASE '99) (Washington, DC, USA)
libro: IEEE International Symposium on High Assurance Systems Engineering (HASE) - (0769504183)

11573/209310 - 1999 - Automatic Synthesis of Control Software for an Industrial Automation Control System
Tronci, Enrico - 04b Atto di convegno in volume
congresso: 14th IEEE International Conference on Automated Software Engineering (Cocoa Beach, Florida, USA)
libro: 14th IEEE International Conference on Automated Software Engineering - ()

11573/207473 - 1998 - Automatic Synthesis of Controllers from Formal Specification
Tronci, Enrico - 04b Atto di convegno in volume
congresso: Proceedings Second IEEE International Conference on Formal Engineering Methods, ICFEM 1998, (Brisbane, Queensland, Australia)

11573/209311 - 1998 - A Symbolic Model Checker for ACTL
Tronci, Enrico - 04b Atto di convegno in volume
congresso: Proceedings of the International Workshop on Current Trends in Applied Formal Method: Applied Formal Methods (FM-Trends 98) (London, UK)

11573/207297 - 1997 - On Computing Optimal Controllers for Finite State Systems
Tronci, Enrico - 04b Atto di convegno in volume
congresso: Proceedings of 36th IEEE Conference on: Decision and Control (San Diego, CA, USA)

11573/207298 - 1996 - Optimal Finite State Supervisory Control
Tronci, Enrico - 04b Atto di convegno in volume
libro: Proceedings of 35th IEEE Conference on: Decision and Control - ()

11573/207299 - 1996 - Automatic Verification of a Hydroelectric Power Plant
Tronci, Enrico - 04b Atto di convegno in volume
congresso: Formal Methods Europe: Industrial Benefit and Advances in Formal Methods (Oxford, UK)

11573/500062 - 1996 - Equational Programming in Lambda-calculus via SL-systems, Part 1
Tronci, Enrico - 01a Articolo in rivista
rivista: THEORETICAL COMPUTER SCIENCE (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. 145-184 - issn: 0304-3975 - wos: (0) - scopus: 2-s2.0-0030165903 (2)

11573/500104 - 1996 - Equational Programming in Lambda-calculus via SL-systems, Part 2
Tronci, Enrico - 01a Articolo in rivista
rivista: THEORETICAL COMPUTER SCIENCE (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. 185-216 - issn: 0304-3975 - wos: (0) - scopus: 2-s2.0-0030173616 (2)

11573/207474 - 1995 - Hardware Verification, Boolean Logic Programming, Boolean Functional Programming
Tronci, Enrico - 04b Atto di convegno in volume
congresso: Proceedings, 10th Annual IEEE Symposium on Logic in Computer Science (San Diego, California, USA)

11573/50022 - 1995 - Defining Data Structures via Bohm-out
Tronci, Enrico - 01a Articolo in rivista
rivista: JOURNAL OF FUNCTIONAL PROGRAMMING (Cambridge : Cambridge University Press, 1991-) pp. 51-64 - issn: 0956-7968 - wos: (0) - scopus: (0)

11573/209761 - 1991 - Equational Programming in lambda-calculus
Tronci, Enrico - 04b Atto di convegno in volume
congresso: Proceedings of the Sixth Annual Symposium on Logic in Computer Science (LICS '91) (Amsterdam, The Netherlands)

11573/50073 - 1991 - About Systems of Equations, X-separability and Left-invertibility in the lambda-calculus
Tronci, Enrico - 01a Articolo in rivista
rivista: INFORMATION AND COMPUTATION (Academic Press Incorporated:6277 Sea Harbor Drive:Orlando, FL 32887:(800)543-9534, (407)345-4100, EMAIL: ap@acad.com, INTERNET: http://www.idealibrary.com, Fax: (407)352-3445) pp. 1-32 - issn: 0890-5401 - wos: (0) - scopus: (0)

11573/243550 - 1990 - Regular systems of equations in lambda-calculus
Piperno, Adolfo; Tronci, Enrico - 01a Articolo in rivista
rivista: INTERNATIONAL JOURNAL OF FOUNDATIONS OF COMPUTER SCIENCE (Singapore: World Scientific.) pp. 325-339 - issn: 0129-0541 - wos: (0) - scopus: (0)

11573/207303 - 1989 - Regular Systems of Equations in Lambda-Calculus
Tronci, Enrico - 04b Atto di convegno in volume
congresso: Italian Conference on Theoretical Computer Science (Mantova, Italy)
libro: Proceedings of the third Italian Conference on Theoretical Computer Science (ICTCS'89) - ()

11573/209161 - 1989 - Regular systems of equations in lambda-calculus (preliminary version)
Piperno, Adolfo; Tronci E. - 04a Atto di comunicazione a congresso
libro: III Convegno Italiano di Informatica Teorica - ()

11573/242448 - 1989 - Solving Equations in lambda-calculus
Piperno, Adolfo; Tronci, Enrico - 04b Atto di convegno in volume
congresso: Proceedings of: Logic Colloquium 88 (Padova, Italy)
libro: Logic Colloquium '88, Proceedings of the Colloquium held in Padova - (9780444874559)

11573/207301 - 1987 - X-separability in lambda-calculus
Tronci, Enrico - 04b Atto di convegno in volume
congresso: Proceedings of the Symposium on Logic in Computer Science (LICS '87) (Ithaca, New York,USA)

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