toggle visibility Search & Display Options

Select All    Deselect All
List View
 |   | 
   print
  Author Title (down) Year Publication Publisher ISSN ISBN DOI Volume Pages Links
Mancini, Toni; Mari, Federico; Massini, Annalisa; Melatti, Igor; Tronci, Enrico Simulator Semantics for System Level Formal Verification 2015 Proceedings Sixth International Symposium on Games, Automata, Logics and Formal Verification (GandALF 2015), 10.4204/EPTCS.193.7 details   pdf doi
Maggioli, F.; Mancini, T.; Tronci, E. SBML2Modelica: Integrating biochemical models within open-standard simulation ecosystems 2019 Bioinformatics 1367-4803 10.1093/bioinformatics/btz860 36 2165–2172 details   pdf doi
Bobbio, Andrea; Ciancamerla, Ester; Di Blasi, Saverio; Iacomini, Alessandro; Mari, Federico; Melatti, Igor; Minichino, Michele; Scarlatti, Alessandro; Tronci, Enrico; Terruggia, Roberta; Zendri, Emilio Risk analysis via heterogeneous models of SCADA interconnecting Power Grids and Telco networks 2009 Proceedings of Fourth International Conference on Risks and Security of Internet and Systems (CRiSIS) 10.1109/CRISIS.2009.5411974 90-97 details   pdf doi
Hayes, B. P. ; Melatti, I.; Mancini, T.; Prodanovic, M.; Tronci, E. Residential Demand Management using Individualised Demand Aware Price Policies 2017 IEEE Transactions On Smart Grid 10.1109/TSG.2016.2596790 8 1284-1294 details   pdf doi
Cecconi, Michele; Tronci, Enrico Requirements Formalization and Validation for a Telecommunication Equipment Protection Switcher 2000 Hase IEEE Computer Society 0-7695-0927-4 10.1109/HASE.2000.895456 details   pdf doi
Piperno, Adolfo; Tronci, Enrico Regular Systems of Equations in λ-calculus 1990 Int. J. Found. Comput. Sci. 10.1142/S0129054190000230 1 325-340 details   pdf doi
Piperno, Adolfo; Tronci, Enrico Regular Systems of Equations in λ-calculus 1989 Ictcs 10.1142/S0129054190000230 details   doi
Sinisi, S.; Alimguzhin, V.; Mancini, T.; Tronci, E. Reconciling interoperability with efficient Verification and Validation within open source simulation environments 2021 Simulation Modelling Practice and Theory 1569-190x 10.1016/j.simpat.2021.102277 102277 details   pdf doi
Mari, Federico; Melatti, Igor; Salvo, Ivano; Tronci, Enrico Quantized Feedback Control Software Synthesis from System Level Formal Specifications for Buck DC/DC Converters 2011 CoRR, Technical Report abs/1105.5640 details   url
Tronci, E.; Mancini, T.; Salvo, I.; Mari, F.; Melatti, I.; Massini, A.; Sinisi, S.; Davì, F.; Dierkes, T.; Ehrig, R.; Röblitz, S.; Leeners, B.; Krüger, T.; Egli, M.; Ille, F. Patient-Specific Models from Inter-Patient Biological Models and Clinical Records 2014 Formal Methods in Computer-Aided Design (FMCAD) 10.1109/FMCAD.2014.6987615 details   pdf doi
Select All    Deselect All
List View
 |   | 
   print

Save Citations:
Export Records: