29 International Journals
-
CitationBenedetto Intrigila,
Giuseppe Della Penna,
Andrea D'Ambrogio,
A Lightweight BPMN Extension for Business Process-Oriented Requirements Engineering, in:
Computers, MDPI
10:12 pp. 171-171 (2021)
10.3390/computers10120171
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
CitationGiuseppe Della Penna,
Daniele Magazzeni,
Benedetto Intrigila,
Igor Melatti,
Enrico Tronci,
Marisa Venturini Zilli ,
Ester Ciancamerla,
Michele Minichino,
Alberto Tofani,
Automatic Verification of Hybrid System Controllers with the CMurphi Verifier, in:
International Journal of Discrete Event Control Systems, Serials Publications
1:1 pp. 69-82 (2010)
cmurphi control
-
-
-
-
-
-
-
-
-
-
-
-
33 International Conferences
-
-
CitationGiovanni De Gasperis,
Giuseppe Della Penna,
Sante Dino Facchini,
A Microservices Architecture for Machine Learning Assisted Decision Support in a Real-Time Field Sensors Environment, in:
CEUR Workshop Proceedings, CEUR-WS
2978 (2021)
-
-
-
-
-
-
-
-
-
-
-
CitationMaurizio Talamo,
Franco Arcieri,
Giuseppe Della Penna,
Andrea Dimitri,
Benedetto Intrigila,
Daniele Magazzeni,
Verifying Extended Criteria for the Interoperability of Security Devices, in:
LNCS, Springer-Verlag
5332 pp. 1131-1139 (2008)
model checking
-
CitationGiuseppe Della Penna,
Benedetto Intrigila,
Daniele Magazzeni,
Evaluating Fuzzy Controller Robustness using Model Checking, in:
LNAI, Springer-Verlag
5571 pp. 303-311 (2009)
control model checking
-
-
-
CitationFernando Brizzolari,
Igor Melatti,
Enrico Tronci,
Giuseppe Della Penna,
Disk Based Software Verification via Bounded Model Checking, in:
Proceedings of 14th Asia-Pacific Software Engineering Conference, IEEE Press pp. 358-365 (2007)
cmurphi model checking
-
-
-
-
-
CitationGiuseppe Della Penna,
Benedetto Intrigila,
Igor Melatti,
Enrico Tronci,
Marisa Venturini Zilli,
Bounded Probabilistic Model Checking with the Murphi Verifier, in:
LNCS, Springer-Verlag
3312 (2004)
10.1007/b102264 cmurphi model checking
-
-
CitationGiuseppe Della Penna,
Benedetto Intrigila,
Igor Melatti,
Enrico Tronci,
Marisa Venturini Zilli,
Finite Horizon Analysis of Markov Chains with the Murphi Verifier, in:
LNCS, Springer-Verlag
2860 pp. 394-409 (2003)
cmurphi model checking
-
CitationGiuseppe Della Penna,
Benedetto Intrigila,
Igor Melatti,
Enrico Tronci,
Marisa Venturini Zilli,
Integrating RAM and Disk based Verification within the Murphi Verifier, in:
LNCS, Springer-Verlag
2860 pp. 277-282 (2003)
cmurphi model checking
-
CitationGiuseppe Della Penna,
Antinisca Di Marco,
Benedetto Intrigila,
Igor Melatti,
Alfonso Pierantonio,
Xere : Towards a Natural Interoperability between XML and ER Diagrams, in:
LNCS, Springer-Verlag
2621 pp. 356-371 (2003)
xere xml
-
CitationGiuseppe Della Penna,
Benedetto Intrigila,
Igor Melatti,
Michele Minichino,
Ester Ciancamerla,
Andrea Parisse,
Enrico Tronci,
Marisa Venturini Zilli,
Automatic Verification of a Turbogas Control System with the Murphi Verifier, in:
LNCS, Springer-Verlag
2623 pp. 141-155 (2003)
control model checking
-
CitationGiuseppe Della Penna,
Benedetto Intrigila,
Enrico Tronci,
Marisa Venturini Zilli,
Exploiting Transition Locality in the Disk Based Murphi Verifier, in:
LNCS, Springer-Verlag
2517 pp. 202-219 (2002)
cmurphi model checking
-
-
-
CitationEnrico Tronci,
Giuseppe Della Penna,
Benedetto Intrigila,
Marisa Venturini Zilli,
Exploiting Transition Locality in Automatic Verification, in:
LNCS, Springer-Verlag
2144 pp. 259-274 (2001)
cmurphi model checking
-
-
-
-
-
-
-
CitationGiuseppe 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
-
CitationGiuseppe Della Penna,
Benedetto Intrigila,
Enrico Tronci,
Marisa Venturini Zilli ,
Synchronized Regular Expressions, in:
ENTCS, Elsevier
62 (2001)
-
CitationBenedetto 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)
-
CitationBenedetto 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)
-
CitationBenedetto 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)
-
CitationDownloadGiuseppe 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.