@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}
}