IVANO SALVO

Ricercatore universitario

email: ivano.salvo@uniroma1.it





Produzione scientifica

11573/1134153 - 2019 - A Polynomial-Time Algorithm for detecting the possibility of Braess Paradox in Directed Graphs
Cenciarelli, Pietro; Gorla, Daniele; Salvo, Ivano - 01a Articolo in rivista
rivista: ALGORITHMICA (New York : Springer Science + Business Media) pp. - - issn: 0178-4617 - wos: WOS:000465431800009 (0) - scopus: 2-s2.0-85050537427 (1)

11573/1311148 - 2019 - Conflict vs Causality in Event Structures
Gorla, Daniele; Salvo, Ivano; Piperno, Adolfo - 04b Atto di convegno in volume
congresso: EXPRESS/SOS (Amsterdam)
libro: Proceedings Combined 26th International Workshop on Expressiveness in Concurrency and 16th Workshop on Structural Operational Semantics - ()

11573/1028826 - 2018 - Inefficiencies in network models: a graph-theoretic perspective
Cenciarelli P.; Gorla D.; Salvo I. - 01a Articolo in rivista
rivista: INFORMATION PROCESSING LETTERS (-Amsterdam : Elsevier Science -Amsterdam : North-Holland) pp. 44-50 - issn: 0020-0190 - wos: WOS:000423005700008 (3) - scopus: 2-s2.0-85036453703 (3)

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/1204060 - 2018 - Depletable channels: dynamics, behaviour, and efficiency in network design
Cenciarelli, Pietro; Gorla, Daniele; Salvo, Ivano - 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. - - issn: 0001-5903 - wos: (0) - scopus: 2-s2.0-85056297923 (0)

11573/1204104 - 2018 - Graph theoretic detection of inefficiencies in network models
Salvo, Ivano; Gorla, Daniele; Cenciarelli, Pietro - 04d Abstract in atti di convegno
rivista: CEUR WORKSHOP PROCEEDINGS (Aachen: M. Jeusfeld c/o Redaktion Sun SITE, Informatik V, RWTH Aachen.) pp. 87-91 - issn: 1613-0073 - wos: (0) - scopus: 2-s2.0-85056827908 (0)
congresso: 19th Italian Conference on Theoretical Computer Science, ICTCS 2018 (ita)
libro: CEUR Workshop Proceedings - ()

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/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/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/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/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/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/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/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/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/389136 - 2009 - Depletable Channels: Dynamics and Behaviour
Cenciarelli, Pietro; Gorla, Daniele; Salvo, Ivano - 04b Atto di convegno in volume
congresso: Fundamentals of Computation Theory, 17th International Symposium (Wroclaw, Poland)
libro: Lecture Notes in Computer ScienceFundamentals of Computation Theory - (9783642034084; 9783642034091)

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/250432 - 2003 - M3: Mobility types for mobile processes in mobile ambients
Salvo, Ivano - 04a Atto di comunicazione a congresso
rivista: ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE (ELSEVIER) pp. 144-177 - issn: 1571-0661 - wos: (0) - scopus: 2-s2.0-1942448777 (27)
congresso: Computing: The Australasian Theory Symposium (Adelaide, Australia)
libro: CATS 03 - ()

11573/251822 - 2003 - Intersection types and lambda-definability
Piperno, Adolfo; Salvo, Ivano - 01a Articolo in rivista
rivista: MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE (New York: Cambridge University Press Cambridge : CUP, 1991-) pp. 15-53 - issn: 0960-1295 - wos: (0) - scopus: (0)

11573/125886 - 2002 - A Characterization of Weakly Church-Rosser Abstract Reduction Systems, not Church-Rosser
Salvo, Ivano - 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. 137-155 - issn: 0890-5401 - wos: WOS:173199300002 (0) - scopus: 2-s2.0-0035895132 (0)

11573/206960 - 2001 - A Type Inference Algorithm for Secure Ambients
Salvo, Ivano - 04a Atto di comunicazione a congresso
rivista: ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE (ELSEVIER) pp. 83-101 - issn: 1571-0661 - wos: (0) - scopus: 2-s2.0-19144373285 (4)
congresso: Theory of Concurrency, Higher Order Languages and Types (Udine (Italy))
libro: TOSCA 2001 - ()

11573/389334 - 2001 - A CuCh Interpretation of an Object-Oriented Language1
Salvo, Ivano - 04a Atto di comunicazione a congresso
rivista: ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE (ELSEVIER) pp. 159-177 - issn: 1571-0661 - wos: (0) - scopus: 2-s2.0-19144373348 (0)
congresso: Bohm's theorem: applications to Computer Science Theory (Crete, Greece)
libro: Electronic Notes in Theoretical Computer Science - ()

11573/206959 - 2000 - Security Types for Mobile Safe Ambients
Salvo, Ivano - 04a Atto di comunicazione a congresso
rivista: LECTURE NOTES IN COMPUTER SCIENCE (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) pp. 215-236 - issn: 0302-9743 - wos: WOS:000171236800016 (16) - scopus: 2-s2.0-84957803043 (26)
congresso: Advances in Computing Science - ASIAN 2000, 6th Asian Computing Science Conference (Penang, Malaysia)
libro: ASIAN 2000 - (9783540414285)

11573/209159 - 1999 - Some Computational Properties of Intersection Types
Piperno, Adolfo; Salvo, Ivano - 04a Atto di comunicazione a congresso
libro: LICS 99 - ()

11573/391803 - 1999 - Some computational properties of intersection types
Piperno, Adolfo; Salvo, Ivano - 04a Atto di comunicazione a congresso
congresso: 14th Symposium on Logic in Computer Science (Trento, Italy)
libro: Proceedings. 14th Symposium on Logic in Computer Science - (9780769501581)

11573/389333 - 1998 - Totality, definability and boolean circuits
Salvo, Ivano - 04a Atto di comunicazione a congresso
rivista: LECTURE NOTES IN COMPUTER SCIENCE (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) pp. 808-819 - issn: 0302-9743 - wos: (0) - scopus: (0)
congresso: Automata, Languages and Programming, 25th International Colloquium (Aalborg, Danemark)
libro: ICALP - (9783540647812)

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