11573/1692375 - 2024 -
Optimizing Fault-Tolerant Quality-Guaranteed Sensor Deployments for UAV Localization in Critical Areas via Computational Geometry Esposito, Marco; Mancini, Toni; Tronci, Enrico - 01a Articolo in rivista
paper: IEEE TRANSACTIONS ON SYSTEMS, MAN, AND CYBERNETICS. SYSTEMS (New York, NY : Institute of Electrical and Electronics Engineers, 2013-) pp. 1-12 - issn: 2168-2216 - wos: WOS:001122593600001 (0) - scopus: 2-s2.0-85178026609 (1)
11573/1726938 - 2024 -
Scaling up statistical model checking of cyber-physical systems via algorithm ensemble and parallel simulations over HPC infrastructures Picchiami, Leonardo; Parmentier, Maxime; Legay, Axel; Mancini, Toni; Tronci, Enrico - 01a Articolo in rivista
paper: THE JOURNAL OF SYSTEMS AND SOFTWARE (Madison Square Station,New York: Elsevier Science Incorporated) pp. - - issn: 0164-1212 - wos: (0) - scopus: (0)
11573/1683333 - 2023 -
The androgen system across the menstrual cycle: Hormonal, (epi-)genetic and psychometric alterations Kruger, T. H. C.; Leeners, B.; Tronci, E.; Mancini, T.; Ille, F.; Egli, M.; Engler, H.; Roblitz, S.; Frieling, H.; Sinke, C.; Jahn, K. - 01a Articolo in rivista
paper: PHYSIOLOGY & BEHAVIOR (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. 114034- - issn: 0031-9384 - wos: WOS:000903743600012 (4) - scopus: 2-s2.0-85143537417 (4)
11573/1692374 - 2023 -
Optimizing Highly-Parallel Simulation-Based Verification of Cyber-Physical Systems Mancini, T.; Melatti, I.; Tronci, E. - 01a Articolo in rivista
paper: IEEE TRANSACTIONS ON SOFTWARE ENGINEERING (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. 4443-4455 - issn: 0098-5589 - wos: WOS:001070689400009 (1) - scopus: 2-s2.0-85165920907 (2)
11573/1706351 - 2023 -
STARGATE-X: a Python package for statistical analysis on the REACTOME network Marino, Andrea; Sinaimeri, Blerina; Tronci, Enrico; Calamoneri, Tiziana - 01a Articolo in rivista
paper: JOURNAL OF INTEGRATIVE BIOINFORMATICS (Bielefeld: IMBio e.V. c/o R. Hofestädt c/o Bielefeld University, Faculty of Technology, Bioinformatics Department.) pp. 20220029- - issn: 1613-4516 - wos: WOS:001070843000001 (0) - scopus: (0)
11573/1683332 - 2023 -
Sexual attraction to visual sexual stimuli in association with steroid hormones across menstrual cycles and fertility treatment Schon, V.; Hengartner, M. P.; Tronci, E.; Mancini, T.; Ille, F.; Roblitz, S.; Kruge, T.; Leeners, B. - 01a Articolo in rivista
paper: PSYCHONEUROENDOCRINOLOGY (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. 106060- - issn: 0306-4530 - wos: WOS:000949480500001 (2) - scopus: 2-s2.0-85149735547 (2)
11573/1683336 - 2022 -
Food preferences throughout the menstrual cycle – A computer-assisted neuro-endocrino-psychological investigation Lefebvre, M.; Hengartner, M. P.; Tronci, E.; Mancini, T.; Ille, F.; Roblitz, S.; Kruger, T.; Leeners, B. - 01a Articolo in rivista
paper: PHYSIOLOGY & BEHAVIOR (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. 113943- - issn: 0031-9384 - wos: WOS:000848667400001 (3) - scopus: 2-s2.0-85136608566 (2)
11573/1570826 - 2022 -
Any-horizon uniform random sampling and enumeration of constrained scenarios for simulation-based formal verification Mancini, T.; Melatti, I.; Tronci, E. - 01a Articolo in rivista
paper: IEEE TRANSACTIONS ON SOFTWARE ENGINEERING (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. 1-12 - issn: 0098-5589 - wos: WOS:000870301800016 (1) - scopus: 2-s2.0-85114713484 (14)
11573/1570828 - 2022 -
A Two-Layer Near-Optimal Strategy for Substation Constraint Management via Home Batteries Melatti, I.; Mari, F.; Mancini, T.; Prodanovic, M. N.; Tronci, E. - 01a Articolo in rivista
paper: IEEE TRANSACTIONS ON INDUSTRIAL ELECTRONICS (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. 1-11 - issn: 0278-0046 - wos: WOS:000764880700099 (4) - scopus: 2-s2.0-85112514427 (14)
11573/1561048 - 2021 -
Mathematical Modeling and Simulation Provides Evidence for New Strategies of Ovarian Stimulation Fischer, S.; Ehrig, R.; Schafer, S.; Tronci, E.; Mancini, T.; Egli, M.; Ille, F.; Kruger, T. H. C.; Leeners, B.; Roblitz, S. - 01a Articolo in rivista
paper: FRONTIERS IN ENDOCRINOLOGY (Lausanne : Frontiers Research Foundation, 2010-) pp. 613048- - issn: 1664-2392 - wos: WOS:000632540800001 (4) - scopus: 2-s2.0-85103119994 (6)
11573/1570830 - 2021 -
Cognitive function in association with high estradiol levels resulting from fertility treatment Leeners, B.; Kruger, T.; Geraedts, K.; Tronci, E.; Mancini, T.; Ille, F.; Egli, M.; Roblitz, S.; Wunder, D.; Saleh, L.; Schippert, C.; Hengartner, M. P. - 01a Articolo in rivista
paper: HORMONES AND BEHAVIOR (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. 104951- - issn: 0018-506X - wos: WOS:000636208400007 (3) - scopus: 2-s2.0-85100656742 (4)
11573/1549368 - 2021 -
On checking equivalence of simulation scripts Mancini, Toni; Mari, Federico; Massini, Annalisa; Melatti, Igor; Tronci, Enrico - 01a Articolo in rivista
paper: THE JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING ([Amsterdam] : Elsevier B.V.) pp. 100640- - issn: 2352-2208 - wos: WOS:000632385700002 (3) - scopus: 2-s2.0-85099785572 (4)
11573/1550780 - 2021 -
A Constraint Optimization–Based Sense and Response System for Interactive Business Performance Management Mari, F.; Massini, A.; Melatti, I.; Tronci, E. - 01a Articolo in rivista
paper: APPLIED ARTIFICIAL INTELLIGENCE (Washington DC: Hemisphere Pub. Co., c1987-) pp. 353-372 - issn: 0883-9514 - wos: WOS:000621702600001 (2) - scopus: 2-s2.0-85101605471 (2)
11573/1540517 - 2021 -
Visualisation of Control Software for Cyber-Physical Systems Melatti, Igor; Mari, Federico; Salvo, Ivano; Tronci, Enrico - 01a Articolo in rivista
paper: INFORMATION (Basel: Molecular Diversity Preservation International) pp. - - issn: 2078-2489 - wos: WOS:000654025900001 (0) - scopus: 2-s2.0-85105244410 (0)
11573/1473413 - 2021 -
Complete populations of virtual patients for in silico clinical trials Sinisi, S; Alimguzhin, V; Mancini, T; Tronci, E; Leeners, B - 01a Articolo in rivista
paper: BIOINFORMATICS (-Oxford : Oxford University Press, 1998-) pp. 1-8 - issn: 1367-4803 - wos: WOS:000661074700027 (23) - scopus: 2-s2.0-85098709878 (37)
11573/1692370 - 2021 -
Complete populations of virtual patients for in silico clinical trials Sinisi, S; Alimguzhin, V; Mancini, T; Tronci, E; Leeners, B - 01a Articolo in rivista
paper: BIOINFORMATICS ([Oxford] : Oxford University Press) pp. 5465-5472 - issn: 1367-4811 - wos: WOS:000661074700027 (23) - scopus: 2-s2.0-85098709878 (37)
11573/1503174 - 2021 -
Reconciling interoperability with efficient Verification and Validation within open source simulation environments Sinisi, Stefano; Alimguzhin, Vadim; Mancini, Toni; Tronci, Enrico - 01a Articolo in rivista
paper: SIMULATION MODELLING PRACTICE AND THEORY (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. 1-20 - issn: 1569-190X - wos: WOS:000638003500001 (7) - scopus: 2-s2.0-85101322793 (18)
11573/1390446 - 2020 -
In silico clinical trials through AI and statistical model checking Alimguzhin, V.; Mancini, T.; Massini, A.; Sinisi, S.; Tronci, E. - 04b Atto di convegno in volume
conference: 1st Workshop on Artificial Intelligence and Formal Verification, Logic, Automata, and Synthesis, OVERLAY 2019 (Rende; Italy)
book: Proceedings of the 1st Workshop on Artificial Intelligence and Formal Verification, Logic, Automata, and Synthesis, OVERLAY 2019 - ()
11573/1359936 - 2020 -
Generating T1DM virtual patients for in silico clinical trials via AI-guided statistical model checking Calabrese, A.; Mancini, T.; Massini, A.; Sinisi, S.; Tronci, E. - 04b Atto di convegno in volume
conference: 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 (Rende; Italy)
book: CEUR Workshop Proceedings - ()
11573/1390451 - 2020 -
MILP, Pseudo-Boolean, and OMT Solvers for Optimal Fault-Tolerant Placements of Relay Nodes in Mission Critical Wireless Networks Chen, Qian Matteo; Finzi, Alberto; Mancini, Toni; Melatti, Igor; Tronci, Enrico - 01a Articolo in rivista
paper: 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. - - issn: 0169-2968 - wos: WOS:000582723300003 (2) - scopus: 2-s2.0-85093357442 (10)
11573/1356836 - 2020 -
SBML2Modelica: Integrating biochemical models within open-standard simulation ecosystems Maggioli, F; Mancini, T; Tronci, E - 01a Articolo in rivista
paper: BIOINFORMATICS (-Oxford : Oxford University Press, 1998-) pp. 2165-2172 - issn: 1367-4803 - wos: WOS:000536489400025 (14) - scopus: 2-s2.0-85083075325 (28)
11573/1501463 - 2020 -
Monte carlo based statistical model checking of cyber-physical systems: A review Pappagallo, A.; Massini, A.; Tronci, E. - 01a Articolo in rivista
paper: INFORMATION (Basel: Molecular Diversity Preservation International) pp. 1-24 - issn: 2078-2489 - wos: WOS:000602078000001 (7) - scopus: 2-s2.0-85098738223 (14)
11573/1570832 - 2020 -
AI-guided synthesis of personalised pharmacological treatments via in silico clinical trials Sinisi, S.; Alimguzhin, V.; Mancini, T.; Tronci, E.; Mari, F.; Leeners, B. - 04b Atto di convegno in volume
conference: 2nd Workshop on Artificial Intelligence and Formal Verification, Logic, Automata, and Synthesis, OVERLAY 2020 (online)
book: CEUR Workshop Proceedings - ()
11573/1390455 - 2020 -
Optimal Personalised Treatment Computation through In Silico Clinical Trials on Patient Digital Twins Sinisi, Stefano; Alimguzhin, Vadim; Mancini, Toni; Tronci, Enrico; Mari, Federico; Leeners, Brigitte - 01a Articolo in rivista
paper: 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. 283-313 - issn: 0169-2968 - wos: WOS:000582723300005 (11) - scopus: 2-s2.0-85093362193 (26)
11573/1395024 - 2020 -
Neuroprediction and A.I. in Forensic Psychiatry and Criminal Justice: A Neurolaw Perspective Tortora, L.; Meynen, G.; Bijlsma, J.; Tronci, E.; Ferracuti, S. - 01g Articolo di rassegna (Review)
paper: FRONTIERS IN PSYCHOLOGY (Lausanne: Frontiers Editorial) pp. 220- - issn: 1664-1078 - wos: WOS:000525563000001 (30) - scopus: 2-s2.0-85082651882 (48)
11573/1291714 - 2019 -
Associations between natural physiological and supraphysiological estradiol levels and stress perception Leeners, Brigitte; Krüger, Tillmann H. C.; Geraedts, Kirsten; Tronci, Enrico; Mancini, Toni; Egli, Marcel; Röblitz, Susanna; Saleh, Lanja; Spanaus, Katharina; Schippert, Cordula; Zhang, Yuanyuan; Ille, Fabian - 01a Articolo in rivista
paper: FRONTIERS IN PSYCHOLOGY (Lausanne: Frontiers Editorial) pp. - - issn: 1664-1078 - wos: WOS:000471289800001 (8) - scopus: 2-s2.0-85068703477 (21)
11573/1168528 - 2018 -
A methodology for a complete simulation of Cyber-Physical Energy Systems Driouich, Y.; Parente, M.; Tronci, E. - 04b Atto di convegno in volume
conference: 2018 IEEE Workshop on Environmental, Energy, and Structural Monitoring Systems, EESMS 2018 (ita)
book: EESMS 2018 - Environmental, Energy, and Structural Monitoring Systems, Proceedings - (9781538664056)
11573/1168546 - 2018 -
Preface for the special issue GandALF 2015 Esparza, J.; Tronci, E. - 02c Prefazione/Postfazione
book: Preface for the special issue GandALF 2015 - ()
11573/1123936 - 2018 -
Computing personalised treatments through In Silico Clinical Trials. A case Study on downregulation in assisted reproduction. Mancini, T.; Mari, F.; Massini, A.; Melatti, I.; Salvo, I.; Sinisi, Stefano; Tronci, E.; Ehrig, R.; Röblitz, S.; Leeners, And B. - 04b Atto di convegno in volume
conference: 25th International Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion, RCRA 2018 (Oxford, UK)
book: 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 Mancini, Toni; Mari, Federico; Melatti, Igor; Salvo, Ivano; Tronci, Enrico - 04b Atto di convegno in volume
conference: 24th International Symposium, ISMIS 2018 (Limassol; Cyprus)
book: 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 Mancini, Toni; Mari, Federico; Melatti, Igor; Salvo, Ivano; Tronci, Enrico; Klaas Gruber, Jorn; Hayes, Barry; Prodanovic, Milan; Elmegaard, Lars - 04b Atto di convegno in volume
conference: IEEE International Conference on Communications, Control, and Computing Technologies for Smart Grids (SmartGridComm 2018) (Aalborg; Denmark)
book: Proceedings of IEEE International Conference on Communications, Control, and Computing Technologies for Smart Grids (SmartGridComm 2018) - (978-1-5386-7954-8)
11573/1184376 - 2018 -
Optimal fault-tolerant placement of relay nodes in a mission critical wireless network Mancini, Toni; Tronci, Enrico; Scialanca, Agostino; Lanciotti, Filiberto; Finzi, Alberto; Guarneri, Riccardo; Di Pompeo, Silvia - 04b Atto di convegno in volume
conference: 25th RCRA International Workshop on "Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion" (RCRA 2018) (Oxford; United Kingdom)
book: Proceedings of the 25th RCRA International Workshop on "Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion" (RCRA 2018) - ()
11573/964521 - 2017 -
Linearising discrete time hybrid systems Alimguzhin, Vadim; Mari, Federico; Melatti, Igor; Salvo, Ivano; Tronci, Enrico - 01a Articolo in rivista
paper: 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 (15) - scopus: 2-s2.0-85030993896 (21)
11573/1168572 - 2017 -
Modeling cyber-physical systems for automatic verification Driouich, Y.; Parente, M.; Tronci, E. - 04b Atto di convegno in volume
conference: 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)
book: 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 Hayes, Barry; Melatti, Igor; Mancini, Toni; Prodanovic, Milan; Tronci, Enrico - 01a Articolo in rivista
paper: IEEE TRANSACTIONS ON SMART GRID (Piscataway, NJ : IEEE, c2010) pp. 1284-1294 - issn: 1949-3053 - wos: WOS:000399990200024 (51) - scopus: 2-s2.0-85018296996 (75)
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 Hengartner, Michael P; Kruger, Tillmann H. C.; Geraedts, Kirsten; Tronci, Enrico; Mancini, Toni; Ille, Fabian; Egli, Marcel; Röblitz, Susanna; Ehrig, Rainald; Saleh, Lanja; Spanaus, Katharina; Schippert, Cordula; Zhang, Yuanyuan; Leeners, Brigitte - 01a Articolo in rivista
paper: 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 (20) - scopus: 2-s2.0-85019757594 (37)
11573/1028894 - 2017 -
Lack of associations between female hormone levels and visuospatial working memory, divided attention and cognitive bias across two consecutive menstrual cycles Leeners, Brigitte; Kruger, Tillmann H. C.; Geraedts, Kirsten; Tronci, Enrico; Mancini, Toni; Ille, Fabian; Egli, Marcel; Rã¶Blitz, Susanna; Saleh, Lanja; Spanaus, Katharina; Schippert, Cordula; Zhang, Yuangyuang; Hengartner, Michael P. - 01a Articolo in rivista
paper: FRONTIERS IN BEHAVIORAL NEUROSCIENCE (Lausanne : Frontiers Research Foundation) pp. 120- - issn: 1662-5153 - wos: WOS:000404668400001 (33) - scopus: 2-s2.0-85027867628 (43)
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
paper: INFORMATION PROCESSING LETTERS (-Amsterdam : Elsevier Science
-Amsterdam : North-Holland) pp. 8-16 - issn: 0020-0190 - wos: WOS:000399506600002 (12) - scopus: 2-s2.0-85013018705 (31)
11573/1021396 - 2017 -
Parallelization of cycle-based logic simulation Mancini, Toni; Massini, Annalisa; Tronci, Enrico - 01a Articolo in rivista
paper: 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/869353 - 2016 -
An Integrative Approach for Model Driven Computation of Treatments in Reproductive Medicine Ehrig, R; Dierkes, T; Schäfer, S; Röblitz, S; Tronci, E; Mancini, T; Salvo, I; Alimguzhin, V; Mari, F; Melatti, I; Massini, A; Krüger, T H C; Egli, M; Ille, F; Leeners, B - 04b Atto di convegno in volume
conference: BIOMAT 2015 (Roorkee, Uttarakhand, India)
book: BIOMAT 2015. Proceedings of the International Symposium on Mathematical and Computational Biology - (978-981-3141-90-2)
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
paper: 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 (13) - scopus: 2-s2.0-84954475986 (33)
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
paper: 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 (16) - scopus: 2-s2.0-85008315342 (34)
11573/869149 - 2015 -
A glimpse of SmartHG project test-bed and communication infrastructure Alimguzhin, Vadim; Mari, Federico; Melatti, Igor; Tronci, Enrico; Ebeid, E.; Mikkelsen, S. A.; Jacobsen, Rune Hylsberg; Gruber, Jorn K.; Hayes, Barry; Huerta, Francisco; Prodanovic, Milan - 04b Atto di convegno in volume
conference: 18th Euromicro Conference on Digital System Design, DSD 2015 (Funchal, Madeira, Portugal)
book: Proceedings - 18th Euromicro Conference on Digital System Design, DSD 2015 - (9781467380355; 9781467380355)
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
conference: 23rd Euromicro International Conference on Parallel, distributed and network-based Processing (PDP 2015) (Turku)
book: Proceedings of the 23rd Euromicro International Conference on Parallel, distributed and network-based Processing (PDP 2015) - (978-1-4799-8490-9)
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
conference: Sixth International Symposium on Games, Automata, Logics and Formal Verification (Genova)
book: Logics and Formal Verification 2015 (GandALF’15) - ()
11573/869371 - 2015 -
User flexibility aware price policy synthesis for smart grids Mancini, Toni; Mari, Federico; Melatti, Igor; Salvo, Ivano; Tronci, Enrico; Gruber, Jorn Klaas; Hayes, Barry; Prodanovic, Milan; Elmegaard, Lars - 04b Atto di convegno in volume
conference: 18th Euromicro Conference on Digital System Design, DSD 2015 (Funchal, Madeira, Portugal)
book: Proceedings - 18th Euromicro Conference on Digital System Design, DSD 2015 - (9781467380355; 9781467380355)
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
conference: Third International Conference, IWBBIO (Granada, Spain)
book: Bioinformatics and Biomedical Engineering Third International Conference, IWBBIO 2015, Granada, Spain, April 15-17, 2015. - (9783319164823; 9783319164830)
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
conference: 2014 22nd Euromicro International Conference on Parallel, Distributed, and Network-Based Processing, PDP 2014 (Torino, Italy)
book: Proc. of the 22nd Euromicro International Conference on Parallel, Distributed and Network-Based Computing (PDP 2014) - (9781479927296)
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
conference: 17th EuroMicro Conference on Digital System Design ()
book: 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; J., Gruber; B., Hayes; M., Prodanovic; L., Elmegaard - 04b Atto di convegno in volume
conference: IEEE International Conference on Smart Grid Communications (Venice, Italy)
book: Proceedings of IEEE International Conference on Smart Grid Communications - (978-1-4799-4934-2)
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
paper: 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 (17) - scopus: 2-s2.0-84894302917 (30)
11573/783755 - 2014 -
Formal verification of individualized endocrinological treatments Markelova, Mariya; Tronci, Enrico - 04b Atto di convegno in volume
conference: Information Technologies for Intelligent Decision Making Support (2014)
book: Proc. Information Technologies for Intelligent Decision Making Support - ()
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; T., Dierkes; R., Ehrig; S., Roeblitz; B., Leeners; T. H. C., Krüger; M., Egli; F., Ille - 04b Atto di convegno in volume
conference: 14th Conference in Formal Methods in Computer-Aided Design ()
book: Proceedings of the 14th Conference in Formal Methods in Computer-Aided Design - ()
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
conference: International SPIN Symposium on Model Checking of Software ()
book: Proc. of the International SPIN Symposium on Model Checking of Software (SPIN 2013) - (9783642391750; 9783642391767)
Alimguzhin, Vadim; Mari, Federico; Melatti, Igor; Salvo, Ivano; Tronci, Enrico - 04b Atto di convegno in volume
conference: International SPIN Symposium on Model Checking of Software ()
book: 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 Giuseppe Della, Penna; Benedetto, Intrigila; Daniele, Magazzeni; Melatti, Igor; Tronci, Enrico - 01a Articolo in rivista
paper: 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 (3) - scopus: 2-s2.0-84884655991 (6)
11573/514610 - 2013 -
System level formal verification via model checking driven simulation Mancini, Toni; Mari, Federico; Massini, Annalisa; Melatti, Igor; Fabio, Merli; Tronci, Enrico - 04b Atto di convegno in volume
conference: 25th International Conference on Computer Aided Verification, CAV 2013 (Saint Petersburg, Russia)
book: Proceedings of CAV 2013 - 25th International Conference on Computer Aided Verification - (9783642397981; 9783642397998)
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
paper: INTERNATIONAL JOURNAL ON ADVANCES IN SOFTWARE ([Colmar] : IARIA) pp. 155-169 - issn: 1942-2628 - wos: (0) - scopus: (0)
11573/513372 - 2013 -
A multi-hop advertising discovery and delivering protocol for multi administrative domain MANET Mari, Federico; Melatti, Igor; Tronci, Enrico; Alberto, Finzi - 01a Articolo in rivista
paper: 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 (5) - scopus: 2-s2.0-84882294341 (5)
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
conference: 51st IEEE Conference on Decision and Control, CDC 2012 (Maui, HI)
book: 51st IEEE Conference on Decision and Control (CDC), 2012 - (9781467320634; 9781467320641; 9781467320658)
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
conference: 10th ACM International Conference on Embedded Software 2012, EMSOFT 2012, Co-located with 8th Embedded Systems Week, ESWEEK 2012 (Tampere)
book: Proceedings of the International Conference on Embedded Software (EMSOFT), 2012 - (9781450314251)
11573/535827 - 2012 -
Model checking driven simulation of sat procedures Giovanni, Verzino; F., Cavaliere; Mari, Federico; Melatti, Igor; G., Minei; Salvo, Ivano; Y., Yushtein; Tronci, Enrico - 04b Atto di convegno in volume
conference: 2th International Conference on Space Operations (SpaceOps 2012) (Stockholm, Sweden)
book: 2th International Conference on Space Operations (SpaceOps 2012) - ()
Mari, Federico; Melatti, Igor; Salvo, Ivano; Tronci, Enrico - 04b Atto di convegno in volume
conference: INFOCOMP 2012 ()
book: The Second International Conference on Advanced Communications and Computation, INFOCOMP 2012 - (9781612082264)
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
conference: ICSEA 2012 ()
book: 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
conference: 9th International Colloquium on Theoretical Aspects of Computing, ICTAC 2012 (Bangalore)
book: 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
paper: INTERNATIONAL JOURNAL ON ADVANCES IN SOFTWARE ([Colmar] : IARIA) pp. 212-223 - issn: 1942-2628 - wos: (0) - scopus: (0)
11573/378327 - 2011 -
Flexible Plan Verification: Feasibility Results Amedeo, Cesta; Simone, Fratini; Andrea, Orlandini; Alberto, Finzi; Tronci, Enrico - 01a Articolo in rivista
paper: 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 (6) - scopus: 2-s2.0-84992252010 (8)
11573/380228 - 2011 -
Model Checking Satellite Operational Procedures F., Cavaliere; G., Minei; G., Verzino; Mari, Federico; Melatti, Igor; Salvo, Ivano; Tronci, Enrico; Y., Yushtein - 04b Atto di convegno in volume
conference: DAta Systems In Aerospace (DASIA 2011) (San Anton, Malta)
book: SP-694 DASIA 2011 DAta Systems In Aerospace - (9789290922582)
11573/378868 - 2011 -
Cost-Optimal strong planning in non-deterministic domains G., Della Penna; B., Intrigila; D., Magazzeni; F., Marcorio; Tronci, Enrico - 04b Atto di convegno in volume
conference: 8th International Conference on Informatics in Control, Automation and Robotics, ICINCO 2011 (Noordwijkerhout)
book: 8th International Conference on Informatics in Control, Automation and Robotics (ICINCO) - (9789898425744; 9789898425751)
11573/389969 - 2011 -
From Boolean Relations to Control Software Mari, Federico; Melatti, Igor; Salvo, Ivano; Tronci, Enrico - 04b Atto di convegno in volume
conference: International Conference on Software Engineering Advances, (ICSEA 2011) (Barcellona, Spain)
book: The Sixth International Conference on Software Engineering Advances, ICSEA 2011 - (9781612081656)
11573/378515 - 2010 -
Analyzing Flexible Timeline-based Plans Amedeo, Cesta; Alberto, Finzi; Simone, Fratini; Andrea, Orlandini; Tronci, Enrico - 04b Atto di convegno in volume
conference: 19th European Conference on Artificial Intelligence (ECAI)/6th Conference on Prestigious Applications of Intelligent Systems (PAIS) (Lisbon, PORTUGAL)
book: 19th European Conference on Artificial Intelligence (ECAI) - (9781607506058)
11573/378699 - 2010 -
Validation and verification issues in a timeline-based planning system Amedeo, Cesta; Alberto, Finzi; Simone, Fratini; Andrea, Orlandini; Tronci, Enrico - 01a Articolo in rivista
paper: 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 (13) - scopus: 2-s2.0-77958517144 (21)
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
conference: 22nd International Conference on Computer Aided Verification (Edinburgh, SCOTLAND)
book: CAV 2010, Proceedings 22nd International Conference on Computer Aided Verification - (9783642142949; 9783642142956)
11573/378703 - 2010 -
A Model-Based methodology to support the Space System Engineering S., Mazzini; Tronci, Enrico; C., Paccagnini; X., Olive - 04b Atto di convegno in volume
conference: Proc. of: Embedded Real Time Software and Systems (ERTS) (Toulouse, France)
book: Embedded Real Time Software and Systems (ERTS) - ()
11573/209978 - 2009 -
Flexible timeline-based plan verification A., Cesta; A., Finzi; S., Fratini; A., Orlandini; Tronci, Enrico - 04b Atto di convegno in volume
conference: 32nd Annual German Conference on Artificial Intelligence, KI 2009 (Paderborn)
book: 32nd Annual German Conference on: Advances in Artificial Intelligence (KI) - (9783642046162; 9783642046179)
11573/378889 - 2009 -
Flexible Plan Verification: Feasibility Results A., Cesta; A., Finzi; S., Fratini; A., Orlandini; Tronci, Enrico - 04b Atto di convegno in volume
conference: Int, W. on: Experimental evaluation of algorithms for solving problems with combinatorial explosion (Reggio Emilia; Italy)
book: 16th RCRA International Workshop on "Experimental evaluation of algorithms for solving problems with combinatorial explosion" (RCRA) - ()
11573/378894 - 2009 -
Verifying Flexible Timeline-based Plans A., Cesta; A., Finzi; S., Fratini; A., Orlandini; Tronci, Enrico - 04b Atto di convegno in volume
conference: In E-Proc. of ICAPS Workshop on Validation and Verification of Planning and Scheduling Systems (VVPS ()
book: In E-Proc. of ICAPS Workshop on Validation and Verification of Planning and Scheduling Systems (VVPS) - ()
11573/378883 - 2009 -
Risk analysis via heterogeneous models of SCADA interconnecting Power Grids and Telco Networks Andrea, Bobbio; Ester, Ciancamerla; Saverio Di, Blasi; Alessandro, Iacomini; Mari, Federico; Melatti, Igor; Michele, Minichino; Alessandro, Scarlatti; Tronci, Enrico; Roberta, Terruggia; Emilio, Zendri - 04b Atto di convegno in volume
conference: 4th International Conference on Risks and Security of Internet and Systems, CRiSIS 2009 (Toulouse)
book: 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; Lorenzo, Alvisi; Allen, Clement; Harry, Li - 04b Atto di convegno in volume
conference: 11th International Symposium on Stabilization, Safety and Security of Distributed Systems (Lyon, FRANCE)
book: Stabilization, Safety, and Security of Distributed Systems, 11th International Symposium, SSS 2009, Lyon, France, November 3-6, 2009. Proceedings - (9783642051173; 9783642051180)
S., Mazzini; S., Puri; Mari, Federico; Melatti, Igor; Tronci, Enrico - 04b Atto di convegno in volume
conference: DASIA 2009 Conference on DAta Systems In Aerospace (Istanbul)
book: DAta Systems In Aerospace (DASIA), Org. EuroSpace, Canadian Space Agency, CNES, ESA, EUMETSAT, May 26-29, 2009, Instanbul, Turkey, EuroSpace - (9789292212339)
11573/168586 - 2008 -
Automated Generation of Optimal Controllers through Model Checking Techniques G., Della Penna; D., Magazzeni; A., Tofani; B., Intrigila; Melatti, Igor; Tronci, Enrico - 02a Capitolo o Articolo
book: 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; Alvisi, L; Clement, A; Li, H. - 04b Atto di convegno in volume
conference: Formal Methods in Computer-Aided Design (FMCAD 2008) (Portland, OR, USA)
book: 2008 Formal Methods in Computer-Aided Design - (9781424427352)
11573/207309 - 2007 -
Disk Based Software Verification via Bounded Model Checking Fernando, Brizzolari; Melatti, Igor; Tronci, Enrico; Giuseppe Della, Penna - 04b Atto di convegno in volume
conference: 14th Asia-Pacific Software Engineering Conference (APSEC 2007) (Nagoya, Japan)
book: 14th Asia-Pacific Software Engineering Conference (APSEC 2007) - ()
11573/56801 - 2007 -
Automatic synthesis of robust numerical controllers G., Della Penna; Daniele, Magazzeni; Alberto, Tofani; Benedetto, Intrigila; Melatti, Igor; Tronci, Enrico - 04b Atto di convegno in volume
conference: 3rd International Conference on Autonomic and Autonomous Systems, ICAS 2007 (Athens)
book: Third International Conference on Autonomic and Autonomous Systems (ICAS'07) - (978-0-7695-2859-7; 9780769527994; 9780769528595)
11573/364775 - 2007 -
CEGAR Based Bounded Model Checking of Discrete Time Hybrid Systems Mari, Federico; Tronci, Enrico - 04b Atto di convegno in volume
book: Proc. of 10th International Conference: Hybrid Systems: Computation and Control (HSCC), LNCS - ()
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
conference: International Workshop on: Complex Networks and Infrastructure Protection (Roma, Italy)
11573/378000 - 2006 -
A Case Study on Automated Generation of Integration Tests Della Penna, G; Intrigila, B; Melatti, Igor; Pecorari, M; Tofani, A; Tronci, Enrico - 04b Atto di convegno in volume
conference: Forum on specification & Design Languages (FDL 2006) (Darmstadt, Germany)
book: Proceedings of Forum on specification & Design Languages (FDL 2006) - (9783000197109)
11573/237689 - 2006 -
Automatic Generation Of Optimal Controllers Through Model Checking Techniques G., Della Penna; B., Intrigila; D., Magazzeni; Melatti, Igor; A., Tofani; Tronci, Enrico - 04b Atto di convegno in volume
conference: 3rd International Conference on Informatics in Control, Automation and Robotics (ICINCO 2006) (Setubal, Portugal)
book: ICINCO 2006: Proceedings of the Third International Conference on Informatics in Control, Automation and Robotics: INTELLIGENT CONTROL SYSTEMS AND OPTIMIZATION - (9728865597)
11573/234300 - 2006 -
Finite Horizon Analysis of Markov Chains with the Murphi Verifier Giuseppe Della, Penna; Benedetto, Intrigila; Melatti, Igor; Tronci, Enrico; Zilli, Marisa - 01a Articolo in rivista
paper: INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER (Berlin; Heidelberg: Springer.) pp. 397-409 - issn: 1433-2779 - wos: (0) - scopus: 2-s2.0-33749040225 (23)
Tronci, Enrico - 01a Articolo in rivista
paper: 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/49943 - 2005 -
Functional Analysis of a Telecontrol System and Stochastic Measures of its GSM/GPRS Connections A., Bobbio; E., Ciancamerla; M., Minichino; Tronci, Enrico - 01a Articolo in rivista
paper: 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 B., Intrigila; D., Magazzeni; Melatti, Igor; A., Tofani; Tronci, Enrico - 04b Atto di convegno in volume
conference: 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)
book: 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 Bobbio, A; Ciancamerla, E.; Minichino, M.; Tronci, Enrico - 04b Atto di convegno in volume
conference: 16th European Safety and Reliability Conference, ESREL 2005 (Tri City, pol)
book: Advances in Safety and Reliability - Proceedings of the European Safety and Reliability Conference, ESREL 2005 - (0415383420; 0415383420)
11573/378190 - 2005 -
Automatic Analysis of Hybrid Systems with the Murphi Verifier Della Penna, G; Intrigila, B; Melatti, Igor; Tronci, Enrico; Venturini Zilli, M. - 04b Atto di convegno in volume
conference: AICA 2005 (Udine (IT))
book: Atti Ufficiali del Congresso Annuale dell’Associazione Italiana per l’Informatica ed il Calcolo Automatico (AICA 2005) - ()
11573/207306 - 2005 -
Automatic Analysis of a Safety Critical Tele Control System E., Campagnano; E., Ciancamerla; M., Minichino; Tronci, Enrico - 04b Atto di convegno in volume
conference: The 24th International Conference on: COMPUTER SAFETY, RELIABILITY AND SECURITY (SAFECOMP) (Fredrikstad, Norway)
book: 24th International Conference on: COMPUTER SAFETY, RELIABILITY AND SECURITY (SAFECOMP) - ()
11573/233530 - 2005 -
Exploiting hub states in automatic verification G., Della Penna; B., Intrigila; Melatti, Igor; Tronci, Enrico - 04b Atto di convegno in volume
conference: 3rd International Symposium on Automated Technology for Verification and Analysis (Taipei, TAIWAN)
book: Automated Technology for Verification and Analysis, Third International Symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005, Proceedings - (9783540292098; 9783540319696)
11573/232184 - 2004 -
Bounded Probabilistic Model Checking with the Murphi Verifier G., Della Penna; B., Intrigila; Melatti, Igor; Tronci, Enrico; M., Venturini Zilli - 04b Atto di convegno in volume
conference: Formal Methods in Computer-Aided Design (FMCAD 2004) (Austin, Texas, USA)
book: 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 Giuseppe Della, Penna; B., Intirigla; Melatti, Igor; Tronci, Enrico; Marisa Venturini, Zilli - 01a Articolo in rivista
paper: INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER (Berlin; Heidelberg: Springer.) pp. 320-341 - issn: 1433-2779 - wos: (0) - scopus: 2-s2.0-84896694205 (39)
11573/207302 - 2004 -
Electric Power System Anomaly Detection Using Neural Networks M., Martinelli; Tronci, Enrico; G., Dipoppa; C., Balducelli - 04b Atto di convegno in volume
conference: 8th International Conference on Knowledge-Based Intelligent Information & Engineering Systems (KES) (Wellington, New Zealand)
book: 8th International Conference on Knowledge-Based Intelligent Information & Engineering Systems (KES) - (3540233180)
11573/207304 - 2004 -
Automatic Covert Channel Analysis of a Multilevel Secure Component R., Lanotte; A., Maggiolo Schettini; S., Tini; A., Troina; Tronci, Enrico - 04b Atto di convegno in volume
conference: Sixth International Conference on Information and Communications Security (ICICS) (Malaga, Spain)
book: Sixth International Conference on Information and Communications Security (ICICS) - (3540235639)
11573/50075 - 2004 -
Automated Analysis of Timed Security: a case study on web privacy Roberto, Gorrieri; Ruggero, Lanotte; Andrea Maggiolo, Schettini; Fabio, Martinelli; Simone, Tini; Tronci, Enrico - 01a Articolo in rivista
paper: 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 Ruggero, Lanotte; Andrea Maggiolo, Schettini; Simone, Tini; Angelo, Troina; Tronci, Enrico - 01a Articolo in rivista
paper: ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE (ELSEVIER) pp. 245-266 - issn: 1571-0661 - wos: (0) - scopus: 2-s2.0-18944373905 (8)
conference: Proceedings of the MEFISTO Project 2003, Formal Methods for Security and Time (Pisa)
11573/57637 - 2003 -
Automatic Verification of a Turbogas Control System with the Murphi Verifier Della Penna, G; Intrigila, B; Melatti, Igor; Minichino, M; Ciancamerla, E; Parisse, A; Tronci, Enrico; Venturini Zilli, M. - 04b Atto di convegno in volume
conference: Hybrid Systems: Computation and Control (HSCC 2003) (Prague, Czech Republic)
book: Hybrid Systems: Computation and Control, 6th International Workshop, HSCC 2003 Prague, Czech Republic, April 3-5, 2003, Proceedings - ()
11573/249170 - 2003 -
Finite Horizon Analysis of Markov Chains with the Murphi Verifier Della Penna, G; Intrigila, B; Melatti, Igor; Tronci, Enrico; Venturini Zilli, M. - 04b Atto di convegno in volume
conference: Correct Hardware Design and Verification Methods (CHARME 2003) (L'Aquila, Italy)
book: 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 Della Penna, G; Intrigila, B; Melatti, Igor; Tronci, Enrico; Venturini Zilli, M. - 04b Atto di convegno in volume
conference: Theoretical Computer Science (ICTCS 2003) (Bertinoro, Italy)
book: Theoretical Computer Science, 8th Italian Conference, ICTCS 2003, Bertinoro, Italy, October 13-15, 2003, Proceedings - (9783540202165)
11573/209313 - 2003 -
Automatic Verification of Timeliness Constraints in a Public Mobile Network E., Ciancamerla; M., Minichino; S., Serro; Tronci, Enrico - 04b Atto di convegno in volume
conference: Proc. of 22th Int. Conf. on "Computer Safety, Reliability and Security" SAFECOMP (Edinburgh, UK)
11573/250429 - 2003 -
Integrating Ram and Disk Based Verification within the Murphi Verifier G., Della Penna; B., Intrigila; Melatti, Igor; Tronci, Enrico; M., Venturini Zilli - 04b Atto di convegno in volume
conference: Correct Hardware Design and Verification Methods (CHARME 2003) (L'Aquila, Italy)
book: 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 - ()
G., Della Penna; B., Intrigila; Tronci, Enrico; Zilli, Marisa - 01a Articolo in rivista
paper: 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 (14) - scopus: 2-s2.0-0037272875 (16)
Geist, Daniel; Tronci, Enrico - 04b Atto di convegno in volume
conference: 12th IFIP WG 10.5 Advanced Research Working Conference on Correct Hardware Design and Verification Methods, CHARME 2003 (ita)
book: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) - (354020363X; 354020363X)
11573/500018 - 2003 -
Fluid Petri Nets and hybrid model checking: a comparative case study M., Gribaudo; A., Horv´Ath; A., Bobbio; Tronci, Enrico; E., Ciancamerla; M., Minichino - 01a Articolo in rivista
paper: 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)
Giuseppe Della, Penna; Benedetto, Intrigila; Tronci, Enrico; Marisa Venturini, Zilli - 01a Articolo in rivista
paper: ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE (ELSEVIER) pp. - - issn: 1571-0661 - wos: (0) - scopus: 2-s2.0-19144371621 (0)
11573/209299 - 2002 -
Model-Checking based on Fluid Petri Nets for the Temperature Control System of the ICARO Co-generative Plant M., Gribaudo; A., Horv'ath; A., Bobbio; Tronci, Enrico; E., Ciancamerla; M., Minichino - 04b Atto di convegno in volume
conference: Computer Safety, Reliability and Security (Catania, Italy)
book: Proceedings of 21st International Conference on Computer Safety, Reliability and Security (SAFECOMP) - (3540441573)
11573/500041 - 2002 -
Formal Models of Timing Attacks on Web Privacy R., Focardi; R., Gorrieri; R., Lanotte; A., Maggiolo Schettini; F., Martinelli; S., Tini; Tronci, Enrico - 01a Articolo in rivista
paper: ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE (ELSEVIER) pp. 1-15 - issn: 1571-0661 - wos: (0) - scopus: (0)
11573/249027 - 2002 -
Exploiting Transition Locality in the disk based Murphi Verifier Tronci, Enrico; G., Della Penna; B., Intrigila; Zilli, Marisa - 04b Atto di convegno in volume
conference: Formal Methods in Computer-Aided Design, 5th International Conference, FMCAD 2004 (Austin, Texas, USA,)
11573/209306 - 2001 -
Integrating Automatic Verification of Safety Requirements in Railway Interlocking System Design G., Dipoppa; G., D'alessandro; R., Semprini; Tronci, Enrico - 04b Atto di convegno in volume
conference: Proceedings of theHigh Assurance Systems Engineering (Boco Raton, FL, USA)
book: 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; Della Penna, G.; Intrigila, B.; Zilli, Marisa - 04b Atto di convegno in volume
conference: Correct Hardware Design and Verification Methods, 11th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2001, (Livingston, Scotland, UK,)
book: Advanced Research Working Conference on Correct Hardware Design and Verification Methods (CHARME) - (978-3-540-44798-6)
11573/251051 - 2001 -
A Probabilistic Approach to Space-Time Trading in Automatic Verification of Concurrent Systems Tronci, Enrico; G., Della Penna; B., Intrigila; Zilli, Marisa - 04b Atto di convegno in volume
conference: 8th Asia-Pacific Software Engineering Conference (APSEC 2001) (Macau SAR, China)
book: 8th Asia-Pacific Software Engineering Conference (APSEC 2001) - (0769514081)
11573/209308 - 2000 -
Requirements Formalization and Validation for a Telecommunication Equipment Protection Switcher M., Cecconi; Tronci, Enrico - 04b Atto di convegno in volume
conference: ProceedinHigh Assurance Systems Engineering (Albuquerque, New Mexico, USA)
book: 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
conference: The 4th IEEE International Symposium on High-Assurance Systems Engineering (HASE '99) (Washington, DC, USA)
book: 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
conference: 14th IEEE International Conference on Automated Software Engineering (Cocoa Beach, Florida, USA)
book: 14th IEEE International Conference on Automated Software Engineering - ()
A., Fantechi; S., Gnesi; F., Mazzanti; R., Pugliese; Tronci, Enrico - 04b Atto di convegno in volume
conference: Proceedings of the International Workshop on Current Trends in Applied Formal Method: Applied Formal Methods (FM-Trends 98) (London, UK)
11573/207473 - 1998 -
Automatic Synthesis of Controllers from Formal Specification Tronci, Enrico - 04b Atto di convegno in volume
conference: Proceedings Second IEEE International Conference on Formal Engineering Methods, ICFEM 1998, (Brisbane, Queensland, Australia)
11573/207297 - 1997 -
On Computing Optimal Controllers for Finite State Systems Tronci, Enrico - 04b Atto di convegno in volume
conference: Proceedings of 36th IEEE Conference on: Decision and Control (San Diego, CA, USA)
11573/207299 - 1996 -
Automatic Verification of a Hydroelectric Power Plant R., Pugliese; Tronci, Enrico - 04b Atto di convegno in volume
conference: Formal Methods Europe: Industrial Benefit and Advances in Formal Methods (Oxford, UK)
11573/207298 - 1996 -
Optimal Finite State Supervisory Control Tronci, Enrico - 04b Atto di convegno in volume
book: Proceedings of 35th IEEE Conference on: Decision and Control - ()
11573/500062 - 1996 -
Equational Programming in Lambda-calculus via SL-systems, Part 1 Tronci, Enrico - 01a Articolo in rivista
paper: 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
paper: 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
conference: 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
paper: JOURNAL OF FUNCTIONAL PROGRAMMING (Cambridge : Cambridge University Press, 1991-) pp. 51-64 - issn: 0956-7968 - wos: (0) - scopus: 2-s2.0-84959666001 (0)
11573/50073 - 1991 -
About Systems of Equations, X-separability and Left-invertibility in the lambda-calculus C., Bohm; Tronci, Enrico - 01a Articolo in rivista
paper: 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/209761 - 1991 -
Equational Programming in lambda-calculus Tronci, Enrico - 04b Atto di convegno in volume
conference: Proceedings of the Sixth Annual Symposium on Logic in Computer Science (LICS '91) (Amsterdam, The Netherlands)
11573/243550 - 1990 -
Regular systems of equations in lambda-calculus Piperno, Adolfo; Tronci, Enrico - 01a Articolo in rivista
paper: 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 A., Piperno; Tronci, Enrico - 04b Atto di convegno in volume
conference: Italian Conference on Theoretical Computer Science (Mantova, Italy)
book: Proceedings of the third Italian Conference on Theoretical Computer Science (ICTCS'89) - ()
C., Bohm; Piperno, Adolfo; Tronci, Enrico - 04b Atto di convegno in volume
conference: Proceedings of: Logic Colloquium 88 (Padova, Italy)
book: Logic Colloquium '88, Proceedings of the Colloquium held in Padova - (9780444874559)
11573/209161 - 1989 -
Regular systems of equations in lambda-calculus (preliminary version) Piperno, Adolfo; Tronci, E. - 04a Atto di comunicazione a congresso
book: III Convegno Italiano di Informatica Teorica - ()
C., Bohm; Tronci, Enrico - 04b Atto di convegno in volume
conference: Proceedings of the Symposium on Logic in Computer Science (LICS '87) (Ithaca, New York,USA)
book: Second Annual IEEE Symposium on Logic in Computer Science (LICS) - ()