List View
 |   | 
   web
Author Title Year Publication Publisher ISSN ISBN DOI Volume Pages
Ehrig, R.; Dierkes, T.; Schaefer, S.; Roeblitz, S.; Tronci, E.; Mancini, T.; Salvo, I.; Alimguzhin, V.; Mari, F.; Melatti, I.; Massini, A.; Leeners, B.; Krueger, T.H.C.; Egli, M.; Ille, F. An integrative approach for model driven computation of treatments in reproductive medicine 2015 Proceedings of the 15th International Symposium on Mathematical and Computational Biology (BIOMAT 2015), Rorkee, India 10.1142/9789813141919_0005
Mari, Federico; Melatti, Igor; Salvo, Ivano; Tronci, Enrico Synthesizing Control Software from Boolean Relations 2012 International Journal on Advances in Software IARIA 1942-2628 vol. 5, nr 3&4 212-223
Mari, Federico; Melatti, Igor; Salvo, Ivano; Tronci, Enrico From Boolean Relations to Control Software 2011 Proceedings of ICSEA 2011, The Sixth International Conference on Software Engineering Advances ThinkMind 978-1-61208-165-6 528-533
Della Penna, Giuseppe; Intrigila, Benedetto; Tronci, Enrico; Venturini Zilli, Marisa Synchronized Regular Expressions 2002 Electr. Notes Theor. Comput. Sci. 62 195-210
Mancini, T.; Mari, F.; Massini, A.; Melatti, I.; Tronci, E. Anytime system level verification via parallel random exhaustive hardware in the loop simulation 2016 Microprocessors and Microsystems 0141-9331 10.1016/j.micpro.2015.10.010 41 12-28
Mari, Federico; Melatti, Igor; Salvo, Ivano; Tronci, Enrico Linear Constraints and Guarded Predicates as a Modeling Language for Discrete Time Hybrid Systems 2013 International Journal on Advances in Software IARIA 1942-2628 vol. 6, nr 1&2 155-169
Mari, Federico; Melatti, Igor; Tronci, Enrico; Finzi, Alberto A multi-hop advertising discovery and delivering protocol for multi administrative domain MANET 2013 Mobile Information Systems IOS Press 1574-017x (Print) 1875-905X (Online) 10.3233/MIS-130162 3 261-280
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
Mari, Federico; Melatti, Igor; Salvo, Ivano; Tronci, Enrico Model Based Synthesis of Control Software from System Level Formal Specifications 2014 ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY ACM 1049-331X 10.1145/2559934 23 Article 6
Alimguzhin, Vadim; Mari, Federico; Melatti, Igor; Salvo, Ivano; Tronci, Enrico A Map-Reduce Parallel Approach to Automatic Synthesis of Control Software 2012 CoRR, Technical Report abs/1210.2276