Benedetto Intrigila
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
12
Venues
9
Active years
2001–2016
Best venue rank
A*
Where they publish
Papers
12 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2016 | WETICE | A BPMN-Based Automated Approach for the Analysis of Healthcare Processes. | Grazia Antonacci, Armando Calabrese, Andrea D'Ambrogio, Andrea Giglio, Benedetto Intrigila, Nathan Levialdi Ghiron |
| 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 |
| 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 | LICS | The Omega Rule is II_2^0-Hard in the lambda beta -Calculus. | Benedetto Intrigila, Richard Statman |
| 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 |