toggle visibility Search & Display Options

Select All    Deselect All
List View
 |   | 
   print
  Author Title (up) Year Publication Publisher ISSN ISBN DOI Volume Pages Links
Della Penna, Giuseppe; Tofani, Alberto; Pecorari, Marcello; Raparelli, Orazio; Intrigila, Benedetto; Melatti, Igor; Tronci, Enrico A Case Study on Automated Generation of Integration Tests 2006 Fdl Ecsi 978-3-00-019710-9 278-284 details   pdf url
Intrigila, Benedetto; Salvo, Ivano; Sorgi, Stefano A characterization of weakly Church-Rosser abstract reduction systems that are not Church-Rosser 2001 Information and Computation Academic Press, Inc. 0890-5401 10.1006/inco.2001.2945 171 137-155 details   pdf doi
Bono, V.; Salvo, I. A CuCh Interpretation of an Object-Oriented Language 2001 Electronic Notes in Theoretical Computer Science Elsevier 10.1016/S1571-0661(04)00171-9 50 159-177 details   pdf doi
Alimguzhin, V.; Mari, F.; Melatti, I.; Tronci, E.; Ebeid, E.; Mikkelsen, S.A.; Jacobsen, R.H.; Gruber, J.K.; Hayes, B.; Huerta, F.; Prodanovic, M. A Glimpse of SmartHG Project Test-bed and Communication Infrastructure 2015 Digital System Design (DSD), 2015 Euromicro Conference on 10.1109/DSD.2015.106 225-232 details   pdf doi
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 details   url
Alimguzhin, Vadim; Mari, Federico; Melatti, Igor; Salvo, Ivano; Tronci, Enrico A Map-Reduce Parallel Approach to Automatic Synthesis of Control Software 2013 Proc. of International SPIN Symposium on Model Checking of Software (SPIN 2013) Springer - Verlag 0302-9743 978-3-642-39175-0 10.1007/978-3-642-39176-7_4 43-60 details   pdf doi
Intrigila, Benedetto; Magazzeni, Daniele; Melatti, Igor; Tronci, Enrico A Model Checking Technique for the Verification of Fuzzy Control Systems 2005 CIMCA '05: Proceedings of the International Conference on Computational Intelligence for Modelling, Control and Automation and International Conference on Intelligent Agents, Web Technologies and Internet Commerce Vol-1 (CIMCA-IAWTIC'06) IEEE Computer Society 0-7695-2504-0-01 10.1109/CIMCA.2005.1631319 536-542 details   pdf doi
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 details   pdf doi
Tronci, Enrico; Della Penna, Giuseppe; Intrigila, Benedetto; Venturini Zilli, Marisa A Probabilistic Approach to Automatic Verification of Concurrent Systems 2001 8th Asia-Pacific Software Engineering Conference (APSEC) IEEE Computer Society 0-7695-1408-1 10.1109/APSEC.2001.991495 317-324 details   pdf doi
Fantechi, Alessandro; Gnesi, Stefania; Mazzanti, Franco; Pugliese, Rosario; Tronci, Enrico A Symbolic Model Checker for ACTL 1998 International Workshop on Current Trends in Applied Formal Method (FM-Trends) Springer 3-540-66462-9 10.1007/3-540-48257-1_14 228-242 details   pdf doi
Select All    Deselect All
List View
 |   | 
   print

Save Citations:
Export Records: