26 International Journals

29 International Conferences

  • Giuseppe Della Penna, Roberto Del Sordo, Benedetto Intrigila, Nicolo' Mezzopera, Maria Teresa Pazienza, A Lightweight Formalism for the Integration of BPMN Models with Domain Ontologies, in: CEUR Workshop Proceedings: AIBP@AI*IA, CEUR-WS.org 1101 pp. 11-20 (2013) knowledge engineering sdml xml
  • Giuseppe Della Penna, Francesca Fallucchi, Benedetto Intrigila, Daniele Magazzeni, A Genetic Approach to the Automatic Generation of Fuzzy Control Systems from Numerical Controllers, in: LNAI, Springer-Verlag 4733 pp. 230-241 (2007) 10.1007/978-3-540-74782-6_21 control model checking
  • Giuseppe Della Penna, Benedetto Intrigila, Igor Melatti, Enrico Tronci, Marisa Venturini Zilli , Automatic Analysis Of Hybrid Systems With The Murphi Verifier, presented at the 2005 AICA annual conference(AICA 2005) cmurphi model checking
  • Giuseppe Della Penna, Benedetto Intrigila, Igor Melatti, Enrico Tronci, Marisa Venturini Zilli, Finite Horizon Analysis of Stochastic Systems with the Murphi Verifier, in: LNCS, Springer-Verlag 2841 (2003) cmurphi model checking
  • Giuseppe Della Penna, Benedetto Intrigila, Enrico Tronci, Marisa Venturini Zilli , Synchronized Regular Expressions, in: ENTCS, Elsevier 62 (2001)
  • Benedetto Intrigila, Giuseppe Della Penna, Luigi Daminato, Daniela Ciccomartino, An Extension of Boerger's JVM Model to Compile C++ Code, in: Università degli Studi di L'Aquila, Dipartimento di Matematica Pura ed Applicata, report no. 52/1999 (1999)
  • Benedetto Intrigila, Giuseppe Della Penna, A New Approach to Operational Semantics: the Virtual Turing Machines, Part I: General Setting, in: Università degli Studi di L'Aquila, Dipartimento di Matematica Pura ed Applicata, report no. 12/1998 (1998)
  • Benedetto Intrigila, Giuseppe Della Penna, A New Approach to Operational Semantics: the Virtual Turing Machines, Part II: Compiling C++ Code into an Extended JVM, a Theoretical Framework, in: Università degli Studi di L'Aquila, Dipartimento di Matematica Pura ed Applicata, report no. 13/1998 (1998)
  • Giuseppe Della Penna, From Java to C++: A Modern Language from the Most Used Object-Oriented Language, in: Università degli Studi di Roma 'La Sapienza', report no. XIV-03-1/2003 (2003)

For a plaintext version of this list, click here. For a BibTeX version of this list, click here. Note that only papers with complete publication data are included in the BibTeX bibliography.