Giuseppe Della Penna
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
15
Venues
10
Active years
2001–2025
Best venue rank
C
Where they publish
Papers
15 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | Interact | Generative AI as a New Assistive Technology for Web Interaction. | Giuseppe Della Penna, Marina Buzzi, Barbara Leporini |
| 2023 | WEBIST | Accessibility of e-Government Websites in Italy: The User Experience of People with Disabilities. | Maria Claudia Buzzi, Marina Buzzi, Giuseppe Della Penna, Barbara Leporini, Francesca Ricci |
| 2023 | WEBIST | Digital Citizen Rights: Accessibility of E-Government Websites in Italy. | Maria Claudia Buzzi, Marina Buzzi, Giuseppe Della Penna, Barbara Leporini, Francesca Ricci |
| 2021 | ECSA | A Microservices Architecture for Machine Learning Assisted Decision Support in a Real-Time Field Sensors Environment (short paper). | Giovanni De Gasperis, Giuseppe Della Penna, Sante Dino Facchini |
| 2011 | ICINCO | Cost-optimal Strong Planning in Non-deterministic Domains. | Giuseppe Della Penna, Fabio Mercorio, Benedetto Intrigila, Daniele Magazzeni, Enrico Tronci |
| 2008 | ICINCO | OBDD Compression of Numerical Controllers. | Giuseppe Della Penna, Nadia Lauri, Daniele Magazzeni, Benedetto Intrigila |
| 2007 | APSEC | Disk Based Software Verification via Bounded Model Checking. | Fernando Brizzolari, Igor Melatti, Enrico Tronci, Giuseppe Della Penna |
| 2006 | FDL | A Case Study on Automated Generation of Integration Tests. | Giuseppe Della Penna, Alberto Tofani, Marcello Pecorari, Orazio Raparelli, Benedetto Intrigila, Igor Melatti, Enrico Tronci |
| 2006 | ICINCO | Automatic generation of optimal controllers through model checking techniques. | Giuseppe Della Penna, Daniele Magazzeni, Alberto Tofani, Benedetto Intrigila, Igor Melatti, Enrico Tronci |
| 2005 | ATVA | Exploiting Hub States in Automatic Verification. | Giuseppe Della Penna, Igor Melatti, Benedetto Intrigila, Enrico Tronci |
| 2004 | FMCAD | Bounded Probabilistic Model Checking with the Mur | Giuseppe Della Penna, Benedetto Intrigila, Igor Melatti, Enrico Tronci, Marisa Venturini Zilli |
| 2004 | SEKE | A Methodology for Scenario Development. | Giuseppe Della Penna, Benedetto Intrigila, Anna Rita Laurenzi, Sergio Orefice |
| 2003 | FASE | Xere: Towards a Natural Interoperability between XML and ER Diagrams. | Giuseppe Della Penna, Antinisca Di Marco, Benedetto Intrigila, Igor Melatti, Alfonso Pierantonio |
| 2002 | FMCAD | Exploiting Transition Locality in the Disk Based Mur phi Verifier. | Giuseppe Della Penna, Benedetto Intrigila, Enrico Tronci, Marisa Venturini Zilli |
| 2001 | APSEC | A Probabilistic Approach to Automatic Verification of Concurrent Systems. | Enrico Tronci, Giuseppe Della Penna, Benedetto Intrigila, Marisa Venturini Zilli |