@INBOOK{ICINCO08book, 
	author = {Giuseppe Della Penna and  Benedetto Intrigila and  Nadia Lauri and  Daniele Magazzeni},
	chapter = {Fast and Compact Encoding of Numerical Controllers Using OBDDs}, 
	title = {Informatics in Control, Automation and Robotics},
	editor = {Springer-Verlag},
	
	pages = {75--87},
	year = {2009},
	month = {4},
}

@INPROCEEDINGS{LOD21, 
	author = {Ivan Letteri and  Antonio Di Cecco and  Giuseppe Della Penna},
	title = {New Optimization Approaches in MalwareTraffic Analysis}, 
	doi = {10.1007/978-3-030-95467-3_4},
	series = {Lecture Notes in Computer Science - Machine Learning, Optimization, and Data Science - Proceedings of LOD 2021},
	booktitle = {Proceedings of The 7th International Conference on Machine Learning, Optimization, and Data Science},
	editor = {Springer},

	pages = {57--68},
	year = {2021},
	month = {10},
	volume = {13163},
}

@INPROCEEDINGS{ISYS21, 
	author = {Ivan Letteri and  Antonio Di Cecco and  Abeer Dyoub and  Giuseppe Della Penna},
	title = {Imbalanced Dataset Optimization with New Resampling Techniques}, 
	doi = {10.1007/978-3-030-82196-8_15},
	series = {Lecture Notes in Networks and Systems - Intelligent Systems and Applications - Proceedings of the 2021 Intelligent
             Systems Conference},
	booktitle = {Proceedings of Intelligent Systems Conference 2021},
	editor = {Springer},

	pages = {199--215},
	year = {2021},
	month = {9},
	volume = {295},
}

@INPROCEEDINGS{SAML21, 
	author = {Giovanni De Gasperis and  Giuseppe Della Penna and  Sante Dino Facchini},
	title = {A Microservices Architecture for Machine Learning Assisted Decision Support in a Real-Time Field Sensors Environment}, 
	series = {CEUR Workshop Proceedings},
	booktitle = {Proceedings of 1st International Workshop on Software Architecture and Machine Learning},
	editor = {CEUR-WS},

	year = {2021},
	month = {9},
	volume = {2978},
}

@INPROCEEDINGS{ITASEC20, 
	author = {Ivan Letteri and  Giuseppe Della Penna and  Luca Di Vita and  Maria Teresa Grifa},
	title = {MTA-KDD'19: A Dataset for Malware Traffic Detection}, 
	series = {Proceedings of the Fourth Italian Conference on Cyber Security},
	booktitle = {Proceedings of Italian Conference on Cybersecurity},
	editor = {CEUR-WS.org},

	pages = {153--165},
	year = {2020},
	month = {2},
}

@INPROCEEDINGS{MAL2CSEC19, 
	author = {Ivan Letteri and  Giuseppe Della Penna and  Pasquale Caianiello},
	title = {Feature Selection Strategies for HTTP Botnet Traffic Detection}, 
	doi = {10.1109/EuroSPW.2019.00029},
	series = {Proceedings of 2019 IEEE European Symposium on Security and Privacy Workshops},
	booktitle = {Proceedings of Workshop on Machine Learning for Cyber-Crime Investigation and Cybersecurity},
	editor = {IEEE Computer Society},

	pages = {202--210},
	year = {2019},
	month = {6},
}

@INPROCEEDINGS{CSS18, 
	author = {Ivan Letteri and  Giuseppe Della Penna and  Giovanni De Gasperis},
	title = {Botnet Detection in Software Defined Networks by Deep Learning Techniques}, 
	doi = {10.1007/978-3-030-01689-0_4},
	series = {LNCS},
	booktitle = {Proceedings of 10th International Symposium on Cyberspace Safety and Security},
	editor = {Springer International Publishing},

	pages = {49--62},
	year = {2018},
	month = {10},
	volume = {11161},
}

@INPROCEEDINGS{MOCHAP15, 
	author = {Giuseppe Della Penna and  Benedetto Intrigila and  Daniele Magazzeni and  Fabio Mercorio},
	title = {UPMurphi Released: PDDL+ Planning for Hybrid Systems}, 
	series = {},
	booktitle = {Proceedings of 2nd Workshop on Model Checking and  Automated Planning},
	editor = {AAAI Press},

	pages = {35--39},
	year = {2015},
	month = {6},
}

@INPROCEEDINGS{AIBP13, 
	author = {Giuseppe Della Penna and  Roberto Del Sordo and  Benedetto Intrigila and  Nicolo' Mezzopera and  Maria Teresa Pazienza},
	title = {A Lightweight Formalism for the Integration of BPMN Models with Domain Ontologies}, 
	series = {CEUR Workshop Proceedings: AIBP@AI*IA},
	booktitle = {Proceedings of AI meets Business Processes: Workshop at the XIII Conference of the Italian Association for Artificial Intelligence},
	editor = {CEUR-WS.org},

	pages = {11--20},
	year = {2013},
	month = {12},
	volume = {1101},
}

@INPROCEEDINGS{VLC11, 
	author = {Giuseppe Della Penna and  Daniele Magazzeni and  Sergio Orefice},
	title = {Supporting Visual Information Extraction from Geospatial Data}, 
	series = {},
	booktitle = {Proceedings of 2011 International Workshop on Visual Languages and Computing},
	editor = {Knowledge Systems Institute},

	pages = {329--334},
	year = {2011},
	month = {8},
}

@INPROCEEDINGS{ICINCO11, 
	author = {Giuseppe Della Penna and  Benedetto Intrigila and  Daniele Magazzeni and  Fabio Mercorio},
	title = {Cost-Optimal Strong Planning in Non-Deterministic Domains}, 
	series = {Proceedings of the 8th International Conference on Informatics in Control, Automation and Robotics},
	booktitle = {Proceedings of 8th International Conference on Informatics in Control, Automation and Robotics},
	editor = {},

	pages = {56--66},
	year = {2011},
	month = {7},
}

@INPROCEEDINGS{ICAPS10, 
	author = {Giuseppe Della Penna and  Benedetto Intrigila and  Daniele Magazzeni and  Fabio Mercorio},
	title = {A PDDL+ Benchmark Problem: The Batch Chemical Plant}, 
	series = {},
	booktitle = {Proceedings of 20th International Conference on Automated Planning and Scheduling},
	editor = {AAAI Press},

	pages = {222--225},
	year = {2010},
	month = {5},
}

@INPROCEEDINGS{ICAS10, 
	author = {Giuseppe Della Penna and  Benedetto Intrigila and  Daniele Magazzeni and  Fabio Mercorio},
	title = {Planning for Autonomous Planetary Vehicles}, 
	doi = {10.1109/ICAS.2010.26},
	series = {},
	booktitle = {Proceedings of 6th International Conference on Autonomic and Autonomous Systems},
	editor = {IEEE Computer Society},

	pages = {131--136},
	year = {2010},
	month = {3},
}

@INPROCEEDINGS{VLC09, 
	author = {Giuseppe Della Penna and  Daniele Magazzeni and  Sergio Orefice},
	title = {A Graphical Tool to Support Visual Information Extraction}, 
	series = {},
	booktitle = {Proceedings of 2009 International Workshop on Visual Languages and Computing},
	editor = {Knowledge Systems Institute},

	pages = {329--334},
	year = {2009},
	month = {9},
}

@INPROCEEDINGS{ICAPS09, 
	author = {Giuseppe Della Penna and  Benedetto Intrigila and  Daniele Magazzeni and  Fabio Mercorio},
	title = {UPMurphi: a Tool for Universal Planning on PDDL+ Problems}, 
	series = {},
	booktitle = {Proceedings of 19th International Conference on Automated Planning and Scheduling},
	editor = {AAAI Press},

	pages = {106--113},
	year = {2009},
	month = {9},
}

@INPROCEEDINGS{IS08, 
	author = {Maurizio Talamo and  Franco Arcieri and  Giuseppe Della Penna and  Andrea Dimitri and  Benedetto Intrigila and   Daniele Magazzeni},
	title = {Verifying Extended Criteria for the Interoperability of Security Devices}, 
	series = {LNCS},
	booktitle = {Proceedings of 3rd International Symposium on Information Security},
	editor = {Springer-Verlag},

	pages = {1131--1139},
	year = {2008},
	month = {11},
	volume = {5332},
}

@INPROCEEDINGS{WILF09, 
	author = {Giuseppe Della Penna and  Benedetto Intrigila and  Daniele Magazzeni},
	title = {Evaluating Fuzzy Controller Robustness using Model Checking}, 
	series = {LNAI},
	booktitle = {Proceedings of 8th International Workshop on Fuzzy Logic and Applications},
	editor = {Springer-Verlag},

	pages = {303--311},
	year = {2009},
	month = {6},
	volume = {5571},
}

@INPROCEEDINGS{ICINCO08, 
	author = {Giuseppe Della Penna and  Benedetto Intrigila and  Nadia Lauri and  Daniele Magazzeni},
	title = {OBDD Compression of Numerical Controllers}, 
	series = {ICINCO 2008, Proceedings of the Fifth International Conference on Informatics in Control, Automation and Robotics, Intelligent Control Systems and Optimization},
	booktitle = {Proceedings of 5th International Conference on Informatics in Control, Automation and Robotics},
	editor = {INSTICC Press},

	pages = {43--50},
	year = {2008},
	month = {5},
}

@INPROCEEDINGS{ICINCO06, 
	author = {Giuseppe Della Penna and  Benedetto Intrigila and  Daniele Magazzeni and  Igor Melatti and  Alberto Tofani and  Enrico Tronci},
	title = {Automatic Generation Of Optimal Controllers Through Model Checking Techniques}, 
	doi = {10.1007/978-3-540-79142-3_10},
	series = {Lecture Notes in Electrical Engineering (Informatics in Control Automation and Robotics)},
	booktitle = {Proceedings of 3rd International Conference on Informatics in Control, Automation and Robotics},
	editor = {Springer-Verlag},

	pages = {107--122},
	volume = {15},
}

@INPROCEEDINGS{IETA07, 
	author = {Giuseppe Della Penna and  Benedetto Intrigila and  Daniele Magazzeni},
	title = {Synthesis of Optimal Control Systems: a Comparison between Model Checking and Dynamic Programming Techniques}, 
	series = {Novel Algorithms and Techniques in Telecommunications, Automation and Industrial Electronics},
	booktitle = {Proceedings of International Conference on Industrial Electronics, Technology & Automation},
	editor = {Springer-Verlag},

	pages = {54--59},
	year = {2007},
	month = {12},
}

@INPROCEEDINGS{APSEC07, 
	author = {Fernando Brizzolari and  Igor Melatti and  Enrico Tronci and  Giuseppe Della Penna},
	title = { Disk Based Software Verification via Bounded Model Checking}, 
	series = {},
	booktitle = {Proceedings of 14th Asia-Pacific Software Engineering Conference},
	editor = {IEEE Press},

	pages = {358--365},
	year = {2007},
	month = {12},
}

@INPROCEEDINGS{AIIA07, 
	author = {Giuseppe Della Penna and  Francesca Fallucchi and  Benedetto Intrigila and  Daniele Magazzeni},
	title = {A Genetic Approach to the Automatic Generation of Fuzzy Control Systems from Numerical Controllers}, 
	doi = {10.1007/978-3-540-74782-6_21},
	series = {LNAI},
	booktitle = {Proceedings of Tenth Congress of Italian Association for Artifical Intelligence},
	editor = {Springer-Verlag},

	pages = {230--241},
	year = {2007},
	month = {9},
	volume = {4733},
}

@INPROCEEDINGS{ICAS07, 
	author = {Giuseppe Della Penna and  Benedetto Intrigila and  Igor Melatti and  Daniele Magazzeni and  Alberto Tofani and  Enrico Tronci},
	title = {Automatic Synthesis of Robust Numerical Controllers}, 
	doi = {10.1109/CONIELECOMP.2007.59},
	series = {},
	booktitle = {Proceedings of Third International Conference on Autonomic and Autonomous Systems},
	editor = {IEEE Computer Society},

	pages = {4--15},
	year = {2007},
	month = {6},
}

@INPROCEEDINGS{ATVA05, 
	author = {Giuseppe Della Penna and  Benedetto Intrigila and  Igor Melatti and  Enrico Tronci},
	title = {Exploiting Hub States in Automatic Verification}, 
	doi = {10.1007/11562948_7},
	series = {LNCS},
	booktitle = {Proceedings of Third International Symposium on Automated Technology for Verification and Analysis},
	editor = {Springer-Verlag},

	pages = {54--68},
	year = {2005},
	month = {10},
	volume = {3707},
}

@INPROCEEDINGS{FMCAD04, 
	author = {Giuseppe Della Penna and  Benedetto Intrigila and  Igor Melatti and  Enrico Tronci and  Marisa Venturini Zilli},
	title = {Bounded Probabilistic Model Checking with the Murphi Verifier}, 
	doi = {10.1007/b102264},
	series = {LNCS},
	booktitle = {Proceedings of Fifth International Conference on Formal Methods in Computer-Aided Design},
	editor = {Springer-Verlag},

	year = {2004},
	month = {11},
	volume = {3312},
}

@INPROCEEDINGS{SEKE04, 
	author = {Giuseppe Della Penna and  Benedetto Intrigila and  Anna Rita Laurenzi and  Sergio Orefice},
	title = {A Methodology for Scenario Development}, 
	series = {},
	booktitle = {Proceedings of Sixteenth International Conference on Software Engineering and Knowledge Engineering},
	editor = {Knowledge Systems Institute},

	pages = {7--12},
	year = {2004},
	month = {6},
}

@INPROCEEDINGS{CHARME031, 
	author = {Giuseppe Della Penna and  Benedetto Intrigila and  Igor Melatti and  Enrico Tronci and  Marisa Venturini Zilli},
	title = {Finite Horizon Analysis of Markov Chains with the Murphi Verifier}, 
	series = {LNCS},
	booktitle = {Proceedings of 12th Advanced Research Working Conference on Correct Hardware Design and Verification Methods},
	editor = {Springer-Verlag},

	pages = {394--409},
	year = {2003},
	month = {10},
	volume = {2860},
}

@INPROCEEDINGS{CHARME032, 
	author = {Giuseppe Della Penna and  Benedetto Intrigila and  Igor Melatti and  Enrico Tronci and  Marisa Venturini Zilli},
	title = {Integrating RAM and Disk based Verification within the Murphi Verifier}, 
	series = {LNCS},
	booktitle = {Proceedings of 12th Advanced Research Working Conference on Correct Hardware Design and Verification Methods},
	editor = {Springer-Verlag},

	pages = {277--282},
	year = {2003},
	month = {10},
	volume = {2860},
}

@INPROCEEDINGS{ICTCS03, 
	author = {Giuseppe Della Penna and  Benedetto Intrigila and  Igor Melatti and  Enrico Tronci and  Marisa Venturini Zilli},
	title = {Finite Horizon Analysis of Stochastic Systems with the Murphi Verifier}, 
	series = {LNCS},
	booktitle = {Proceedings of Eighth Italian Conference on Theoretical Computer Science},
	editor = {Springer-Verlag},

	year = {2003},
	month = {10},
	volume = {2841},
}

@INPROCEEDINGS{HSCC03, 
	author = {Giuseppe Della Penna and  Benedetto Intrigila and  Igor Melatti and  Michele Minichino and  Ester Ciancamerla and  Andrea Parisse and  Enrico Tronci and  Marisa Venturini Zilli},
	title = {Automatic Verification of a Turbogas Control System with the Murphi Verifier}, 
	series = {LNCS},
	booktitle = {Proceedings of 2003 Conference on Hybrid Systems: Computation and Control},
	editor = {Springer-Verlag},

	pages = {141--155},
	year = {2003},
	month = {4},
	volume = {2623},
}

@INPROCEEDINGS{FASE03, 
	author = {Giuseppe Della Penna and  Antinisca Di Marco and  Benedetto Intrigila and  Igor Melatti and  Alfonso Pierantonio},
	title = {Xere : Towards a Natural Interoperability between XML and ER Diagrams}, 
	series = {LNCS},
	booktitle = {Proceedings of 2003 Conference on Fundamental Approaches to Software Engineering},
	editor = {Springer-Verlag},

	pages = {356--371},
	year = {2003},
	month = {4},
	volume = {2621},
}

@INPROCEEDINGS{FMCAD02, 
	author = {Giuseppe Della Penna and  Benedetto Intrigila and  Enrico Tronci and  Marisa Venturini Zilli},
	title = {Exploiting Transition Locality in the Disk Based Murphi Verifier}, 
	series = {LNCS},
	booktitle = {Proceedings of Fourth International Conference on Formal Methods in Computer-Aided Design},
	editor = {Springer-Verlag},

	pages = {202--219},
	year = {2002},
	month = {11},
	volume = {2517},
}

@INPROCEEDINGS{SCI02, 
	author = {Giuseppe Della Penna and  Benedetto Intrigila and  Anna Rita Laurenzi and  Sergio Orefice},
	title = {An XML Definition Language for Software System Specification}, 
	series = {},
	booktitle = {Proceedings of 6th World Multi Conference on Systemics, Cybernetics and Informatics},
	editor = {International Institute of Informatics and Systemics},

	year = {2002},
	month = {7},
	volume = {XIII},
}

@INPROCEEDINGS{APSEC01, 
	author = {Enrico Tronci and  Giuseppe Della Penna and  Benedetto Intrigila and  Marisa Venturini Zilli },
	title = {A probabilistic approach to automatic verification of concurrent systems}, 
	doi = {10.1109/APSEC.2001.991495},
	series = {},
	booktitle = {Proceedings of 8th Asia-Pacific Software Engineering Conference },
	editor = {IEEE Press},

	year = {2001},
	month = {12},
}

@INPROCEEDINGS{TOSCA01, 
	author = {Giuseppe Della Penna and  Benedetto Intrigila and  Enrico Tronci and  Marisa Venturini Zilli },
	title = {Synchronized Regular Expressions}, 
	series = {ENTCS},
	booktitle = {Proceedings of Tosca Final Workshop},
	editor = {Elsevier},

	year = {2001},
	month = {11},
	volume = {62},
}

@INPROCEEDINGS{CHARME01, 
	author = {Enrico Tronci and  Giuseppe Della Penna and  Benedetto Intrigila and  Marisa Venturini Zilli},
	title = {Exploiting Transition Locality in Automatic Verification}, 
	series = {LNCS},
	booktitle = {Proceedings of 11th Advanced Research Working Conference on Correct Hardware Design and Verification Methods},
	editor = {Springer-Verlag},

	pages = {259--274},
	year = {2001},
	month = {9},
	volume = {2144},
}

@ARTICLE{COMPUTERS21, 
	author = {Benedetto Intrigila and  Giuseppe Della Penna and  Andrea D'Ambrogio},
	title = {A Lightweight BPMN Extension for Business Process-Oriented Requirements Engineering}, 
	doi = {10.3390/computers10120171},
	journal = {Computers},
	editor = {MDPI},

	pages = {171--171},
	year = {2021},
	month = {12},
	volume = {10},
	number = {12}
	
}
    
@ARTICLE{CSSE19, 
	author = {Giuseppe Della Penna and  Sergio Orefice},
	title = {Using spatial relations for qualitative specification of gestures}, 
	doi = {10.32604/csse.2019.34.325},
	journal = {Computer Systems Science and Engineering},
	editor = {CRL Publishing},

	pages = {325--338},
	year = {2019},
	month = {11},
	volume = {34},
	number = {6}
	
}
    
@ARTICLE{IJHPCN19, 
	author = {Ivan Letteri and  Giuseppe Della Penna and  Giovanni De Gasperis},
	title = {Security in the internet of things: botnet detection in software-defined networks by deep learning techniques}, 
	doi = {10.1504/IJHPCN.2019.10026769},
	journal = {International Journal of High Performance Computing and Networking},
	editor = {Inderscience},

	year = {2019},
	month = {12},
	volume = {15},
	number = {3/4}
	
}
    
@ARTICLE{JCS19, 
	author = {Giuseppe Della Penna and  Pietro Frasca and  Benedetto Intrigila},
	title = {Two Factor Authentication for e-Government Services using Hardware-Like One Time Password Generators}, 
	doi = {10.3844/jcssp.2019.171.189},
	journal = {Journal of Computer Science},
	editor = {Science Publications},

	pages = {171--189},
	year = {2019},
	month = {1},
	volume = {15},
	number = {1}
	
}
    
@ARTICLE{JVLC17, 
	author = {Giuseppe Della Penna and  Sergio Orefice},
	title = {Qualitative Representation of Spatio-Temporal Knowledge}, 
	doi = {10.1016/j.jvlc.2018.10.002},
	journal = {Journal of Visual Languages & Computing},
	editor = {Elsevier},

	pages = {23--32},
	year = {2018},
	month = {12},
	volume = {49},
	number = {}
	
}
    
@ARTICLE{KAIS16, 
	author = {Giuseppe Della Penna and  Daniele Magazzeni and  Sergio Orefice},
	title = {A Formal Framework to Represent Spatial Knowledge}, 
	doi = {10.1007/s10115-016-0975-3},
	journal = {Knowledge and Information Systems},
	editor = {Springer},

	pages = {311--338},
	year = {2017},
	month = {4},
	volume = {51},
	number = {1}
	
}
    
@ARTICLE{CSSE16, 
	author = {Giuseppe Della Penna and  Daniele Magazzeni and  Sergio Orefice},
	title = {Extending Visual Information Extraction to Biomedical Applications}, 
	journal = {Computer Systems Science and Engineering},
	editor = {CRL Publishing},

	year = {2016},
	month = {9},
	volume = {31},
	number = {5}
	
}
    
@ARTICLE{JCC16, 
	author = {Giuseppe Della Penna and  Sergio Orefice},
	title = {Supporting Information Extraction from Visual Documents}, 
	doi = {10.4236/jcc.2016.46004},
	journal = {Journal of Computer and Communications},
	editor = {SCIRP},

	pages = {36--48},
	year = {2016},
	month = {5},
	volume = {4},
	number = {6}
	
}
    
@ARTICLE{IJAIT15, 
	author = {Giuseppe Della Penna and  Benedetto Intrigila and  Daniele Magazzeni and  Fabio Mercorio},
	title = {Synthesis of Cost-Optimal Strong Plans in Non-Deterministic Domains}, 
	doi = {10.1142/S0218213015500256},
	journal = {International Journal on Artificial Intelligence Tools},
	editor = {World Scientific},

	year = {2015},
	month = {12},
	volume = {24},
	number = {6}
	
}
    
@ARTICLE{CLSS14, 
	author = {Giuseppe Della Penna},
	title = {Model Checking XSL Transformations}, 
	doi = {10.1016/j.cl.2014.03.003},
	journal = {Computer Languages, Systems and Structures},
	editor = {Elsevier},

	pages = {73--97},
	year = {2014},
	month = {7},
	volume = {40},
	number = {2}
	
}
    
@ARTICLE{JVLC13, 
	author = {Giuseppe Della Penna and  Daniele Magazzeni and  Sergio Orefice},
	title = {A general theory of spatial relations to support a graphical tool for visual information extraction}, 
	doi = {10.1016/j.jvlc.2012.11.002},
	journal = {Journal of Visual Languages and Computing},
	editor = {Elsevier},

	pages = {71--87},
	year = {2013},
	month = {4},
	volume = {24},
	number = {2}
	
}
    
@ARTICLE{IJSEKE2013, 
	author = {Giuseppe Della Penna and  Benedetto Intrigila and  Daniele Magazzeni and  Sergio Orefice and  Roberto Del Sordo and  Giuseppe Cardinale Ciccotti},
	title = {SyBeL: a system modelling language enhancing automatic support in the software development process}, 
	doi = {10.1142/S021819401350006X},
	journal = {International Journal of Software Engineering and Knowledge Engineering},
	editor = {World Scientific},

	pages = {223--257},
	year = {2013},
	month = {3},
	volume = {23},
	number = {2}
	
}
    
@ARTICLE{EJC2013, 
	author = {Giuseppe Della Penna and  Benedetto Intrigila and  Daniele Magazzeni and  Igor Melatti and  Enrico Tronci},
	title = {CGMurphi: Automatic Synthesis of Numerical Controllers for Nonlinear Hybrid Systems}, 
	doi = {10.1016/j.ejcon.2013.02.001},
	journal = {European Journal of Control},
	editor = {Elsevier},

	pages = {14--36},
	year = {2013},
	month = {1},
	volume = {19},
	number = {1}
	
}
    
@ARTICLE{APIN2011, 
	author = {Giuseppe Della Penna and  Daniele Magazzeni and  Fabio Mercorio},
	title = {A Universal Planning System for Hybrid Domains}, 
	doi = {10.1007/s10489-011-0306-z},
	journal = {Applied Intelligence},
	editor = {Springer},

	pages = {932--959},
	year = {2012},
	month = {5},
	volume = {36},
	number = {4}
	
}
    
@ARTICLE{KAIS2011, 
	author = {Giuseppe Della Penna and  Daniele Magazzeni and  Sergio Orefice},
	title = {A Spatial Relation based Framework to Perform Visual Information Extraction}, 
	doi = {10.1007/s10115-011-0394-4},
	journal = {Knowledge and Information Systems},
	editor = {Springer},

	pages = {667--692},
	year = {2012},
	month = {2},
	volume = {30},
	number = {2}
	
}
    
@ARTICLE{IJAIA10, 
	author = {Giuseppe Della Penna and  Benedetto Intrigila and  Daniele Magazzeni and  Fabio Mercorio},
	title = {Resource-Optimal Planning For An Autonomous Planetary Vehicle}, 
	doi = {10.5121/ijaia.2010.1302},
	journal = {International Journal of Artificial Intelligence & Applications},
	editor = {AIRCC},

	pages = {15--29},
	year = {2010},
	month = {7},
	volume = {1},
	number = {3}
	
}
    
@ARTICLE{IJDECS10, 
	author = {Giuseppe Della Penna and  Daniele Magazzeni and  Benedetto Intrigila and  Igor Melatti and  Enrico Tronci and  Marisa Venturini Zilli  and  Ester Ciancamerla and  Michele Minichino and  Alberto Tofani},
	title = {Automatic Verification of Hybrid System Controllers with the CMurphi Verifier}, 
	journal = {International Journal of Discrete Event Control Systems},
	editor = {Serials Publications},

	pages = {69--82},
	year = {2010},
	month = {6},
	volume = {1},
	number = {1}
	
}
    
@ARTICLE{JVLC09, 
	author = {Giuseppe Della Penna and  Daniele Magazzeni and  Sergio Orefice},
	title = {Visual Extraction of Information from Web Pages}, 
	doi = {10.1016/j.jvlc.2009.06.001},
	journal = {Journal of Visual Languages and Computing},
	editor = {Elsevier},

	pages = {23--32},
	year = {2010},
	month = {2},
	volume = {21},
	number = {1}
	
}
    
@ARTICLE{IJSEKE07, 
	author = {Giuseppe Della Penna and  Benedetto Intrigila and  Anna Rita Laurenzi and  Sergio Orefice},
	title = {An XML Based Methodology to Model and Use Scenarios in the Software Development Process}, 
	doi = {10.1142/S0218194008003866},
	journal = {International Journal of Software Engineering and Knowledge Engineering},
	editor = {World Scientific},

	pages = {823--852},
	year = {2008},
	month = {9},
	volume = {18},
	number = {6}
	
}
    
@ARTICLE{STTT04, 
	author = {Giuseppe Della Penna and  Benedetto Intrigila and  Igor Melatti and  Enrico Tronci and  Marisa Venturini Zilli},
	title = {Finite Horizon Analysis of Markov Chains with the Murphi Verifier}, 
	doi = {10.1007/s10009-005-0216-7},
	journal = {International Journal on Software Tools for Technlogy Transfer},
	editor = {Springer-Verlag},

	pages = {397--410},
	year = {2006},
	month = {8},
	volume = {8},
	number = {4}
	
}
    
@ARTICLE{TOIT03, 
	author = {Giuseppe Della Penna and  Antinisca Di Marco and  Benedetto Intrigila and  Igor Melatti and  Alfonso Pierantonio},
	title = {Interoperability Mapping from XML Schemas to ER Diagrams}, 
	doi = {10.1016/j.datak.2005.08.002},
	journal = {Data & Knowledge Engineering},
	editor = {Elsevier},

	pages = {166--188},
	year = {2006},
	month = {8},
	volume = {59},
	number = {}
	
}
    
@ARTICLE{JSS04, 
	author = {Giuseppe Della Penna and  Anna Rita Laurenzi and  Benedetto Intrigila and  Sergio Orefice},
	title = {An XML Environment for Scenario Based Requirements Engineering}, 
	doi = {10.1016/j.jss.2005.04.009},
	journal = {Journal of Systems & Software},
	editor = {Elsevier},

	pages = {379--403},
	year = {2006},
	month = {3},
	volume = {79},
	number = {3}
	
}
    
@ARTICLE{STTT03, 
	author = {Giuseppe Della Penna and  Benedetto Intrigila and  Igor Melatti and  Enrico Tronci and  Marisa Venturini Zilli},
	title = {Exploiting Transition Locality in Automatic Verification of Finite State Concurrent Systems}, 
	doi = {10.1007/s10009-004-0149-6},
	journal = {International Journal on Software Tools for Technlogy Transfer},
	editor = {Springer-Verlag},

	pages = {320--341},
	year = {2004},
	month = {8},
	volume = {6},
	number = {4}
	
}
    
@ARTICLE{JVLC04, 
	author = {Giuseppe Della Penna and  Benedetto Intrigila and  Sergio Orefice},
	title = {An Environment for the Design and Implementation of Visual Applications}, 
	doi = {10.1016/j.jvlc.2004.03.002},
	journal = {International Journal of Visual Languages and Computing},
	editor = {Elsevier},

	pages = {439--461},
	year = {2004},
	month = {5},
	volume = {15},
	number = {6}
	
}
    
@ARTICLE{CLSS04, 
	author = {Giuseppe Della Penna},
	title = {A Type System for Static and Dynamic Checking of C++ Pointers}, 
	doi = {10.1016/j.cl.2004.05.002},
	journal = {Computer Languages, Systems and Structures},
	editor = {Elsevier},

	pages = {71--101},
	year = {2005},
	month = {7},
	volume = {31},
	number = {2}
	
}
    
@ARTICLE{ACTINF02, 
	author = {Giuseppe Della Penna and  Benedetto Intrigila and  Enrico Tronci and  Marisa Venturini Zilli },
	title = {Synchronized Regular Expressions}, 
	doi = {10.1007/s00236-002-0099-y},
	journal = {Acta Informatica},
	editor = {Springer-Verlag},

	pages = {31--70},
	year = {2003},
	month = {1},
	volume = {39},
	number = {1}
	
}
    
@ARTICLE{IJSEKE02, 
	author = {Giuseppe Della Penna and  Anna Rita Laurenzi and  Benedetto Intrigila and  Sergio Orefice},
	title = {An XML Definition Language to Support Scenario-Based Requirements Engineering}, 
	doi = {10.1142/S0218194003001299},
	journal = {International Journal of Software Engineering and Knowledge Engineering},
	editor = {World Scientific},

	pages = {237--256},
	year = {2003},
	month = {6},
	volume = {13},
	number = {3}
	
}
    
@ARTICLE{IJHCS01, 
	author = {Giuseppe Della Penna and  Benedetto Intrigila and  Sergio Orefice},
	title = {Generating Graphical Applications from State-Transition Visual Specifications}, 
	doi = {10.1006/ijhc.2001.0508},
	journal = {International Journal of Human Computer Studies},
	editor = {Academic Press},

	pages = {861--880},
	year = {2001},
	month = {12},
	volume = {55},
	number = {6}
	
}
    
@TECHREPORT{CSPHD, 
	author = {Giuseppe Della Penna},
	title = {From Java to C++: A Modern Language from the Most Used Object-Oriented Language}, 
	crossref = {http://dellapenna.univaq.it/download.php?fn=CSPHD},
	institution = {Università degli Studi di Roma 'La Sapienza'}, 
	number = {XIV-03-1},
	year = {2003},
	month = {3}
}

@TECHREPORT{UNIVAQ99, 
	author = {Benedetto Intrigila and  Giuseppe Della Penna and  Luigi Daminato and  Daniela Ciccomartino},
	title = {An Extension of Boerger's JVM Model to Compile C++ Code}, 
	institution = {Università degli Studi di L'Aquila, Dipartimento di Matematica Pura ed Applicata}, 
	number = {52},
	year = {1999},
	month = {1}
}

@TECHREPORT{UNIVAQ9801, 
	author = {Benedetto Intrigila and  Giuseppe Della Penna},
	title = {A New Approach to Operational Semantics: the Virtual Turing Machines, Part I: General Setting}, 
	institution = {Università degli Studi di L'Aquila, Dipartimento di Matematica Pura ed Applicata}, 
	number = {12},
	year = {1998},
	month = {7}
}

@TECHREPORT{UNIVAQ9802, 
	author = {Benedetto Intrigila and  Giuseppe Della Penna},
	title = {A New Approach to Operational Semantics: the Virtual Turing Machines, Part II: Compiling C++ Code into an Extended JVM, a Theoretical Framework}, 
	institution = {Università degli Studi di L'Aquila, Dipartimento di Matematica Pura ed Applicata}, 
	number = {13},
	year = {1998},
	month = {7}
}