Author |
Title |
Year |
Publication |
Publisher |
ISSN |
ISBN |
DOI |
Volume |
Pages |
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 |
|
|
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 |
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 |
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 |
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 |
|
|
Piperno, Adolfo; Tronci, Enrico |
Regular Systems of Equations in λ-calculus |
1990 |
Int. J. Found. Comput. Sci. |
|
|
|
10.1142/S0129054190000230 |
1 |
325-340 |
Piperno, Adolfo; Tronci, Enrico |
Regular Systems of Equations in λ-calculus |
1989 |
Ictcs |
|
|
|
10.1142/S0129054190000230 |
|
|
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 |
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 |
|
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 |
|
|