INTRIGILA, BENEDETTO
INTRIGILA, BENEDETTO
Dipartimento di Ingegneria dell'Impresa "Mario Lucertini"
A BPMN-based automated approach for the analysis of healthcare processes
2016-01-01 Antonacci, G; Calabrese, A; D'Ambrogio, A; Giglio, A; Intrigila, B; Ghiron, N
A Comparative Analysis of Biometrics Types: Literature Review
2020-12-24 Al Rousan, M; Intrigila, B
A genetic approach to the automatic generation of fuzzy control systems from numerical controllers
2007-01-01 Della Penna, G; Fallucchi, F; Intrigila, B; Magazzeni, D
A lightweight BPMN extension for business process-oriented requirements engineering
2021-01-01 Intrigila, B; Della Penna, G; D'Ambrogio, A
A Lightweight Formalism for the Integration of BPMN Models with Domain Ontologies
2013-01-01 Della Penna, G; Del Sordo, R; Intrigila, B; Mezzopera, N; Pazienza, Mt
A Model Checking Technique for the Verification of Fuzzy Control Systems.
2005-01-01 Intrigila, B; Magazzeni, D; Melatti, I; Tronci, E
A PDDL+ Benchmark Problem: The Batch Chemical Plant
2010-06-12 Della Penna, G; Intrigila, B; Magazzeni, D; Mercorio, F
An XML based methodology to model and use scenarios in the software development process
2008-01-01 Della Penna, G; Laurenzi, A; Orefice, S; Intrigila, B
Automated Generation of Optimal Controllers through Model Checking Techniques
2008-01-01 Della Penna, G; Intrigila, B; Magazzeni, D; Tofani, A; Melatti, I; Tronci, E
Bounded Probabilistic Model Checking with the Murφ Verifier
2004-01-01 Della Penna, G; Intrigila, B; Melatti, I; Tronci, E; Zilli, M
Computational models of myocardial endomysial collagen arrangement
2007-01-01 Intrigila, B; Melatti, I; Tofani, A; Macchiarelli, G
Degrees of extensionality in the theory of Böhm trees and sallé’s conjecture
2019-01-29 Intrigila, B; Manzonetto, G; Polonsky, A
Engineering Complex Safety Critical Software Systems: Abstraction and Concreteness
2018-10-01 Intrigila, B; Luigi, M; Intrigila, B; Mazzucchelli, L
Evaluating fuzzy controller robustness using model checking
2009-01-01 Della Penna, G; Intrigila, B; Magazzeni, D
Exploiting hub states in automatic verification
2005-01-01 Della Penna, G; Melatti, I; Intrigila, B; Tronci, E
Exploiting transition locality in automatic verification of finite-state concurrent systems
2004-01-01 Della Penna, G; Intrigila, B; Melatti, I; Tronci, E; Zilli, M
Finite horizon analysis of Markov Chains with the Murphi verifier
2006-01-01 Della_penna, G; Intrigila, B; Melatti, I; Tronci, E; Venturini_zilli, M
Fixed points in lambda calculus. An eccentric survey of problems and solutions
2018-01-01 Intrigila, B; Statman, R
Interoperability mapping from XML schemas to ER diagrams
2006-01-01 Della Penna, G; Marco, A; Intrigila, B; Melatti, I; Pierantonio, A
Multi-Factor Authentication for e-Government Services using a Smartphone Application and Biometric Identity Verification
2020-02-20 Alrousan, M; Intrigila, B
| Data di pubblicazione | Titolo | Autore(i) | Tipo | File |
|---|---|---|---|---|
| 1-gen-2016 | A BPMN-based automated approach for the analysis of healthcare processes | Antonacci, G; Calabrese, A; D'Ambrogio, A; Giglio, A; Intrigila, B; Ghiron, N | Intervento a convegno | |
| 24-dic-2020 | A Comparative Analysis of Biometrics Types: Literature Review | Al Rousan, M; Intrigila, B | Articolo su rivista | |
| 1-gen-2007 | A genetic approach to the automatic generation of fuzzy control systems from numerical controllers | Della Penna, G; Fallucchi, F; Intrigila, B; Magazzeni, D | Intervento a convegno | |
| 1-gen-2021 | A lightweight BPMN extension for business process-oriented requirements engineering | Intrigila, B; Della Penna, G; D'Ambrogio, A | Articolo su rivista | |
| 1-gen-2013 | A Lightweight Formalism for the Integration of BPMN Models with Domain Ontologies | Della Penna, G; Del Sordo, R; Intrigila, B; Mezzopera, N; Pazienza, Mt | Intervento a convegno | |
| 1-gen-2005 | A Model Checking Technique for the Verification of Fuzzy Control Systems. | Intrigila, B; Magazzeni, D; Melatti, I; Tronci, E | Intervento a convegno | |
| 12-giu-2010 | A PDDL+ Benchmark Problem: The Batch Chemical Plant | Della Penna, G; Intrigila, B; Magazzeni, D; Mercorio, F | Intervento a convegno | |
| 1-gen-2008 | An XML based methodology to model and use scenarios in the software development process | Della Penna, G; Laurenzi, A; Orefice, S; Intrigila, B | Articolo su rivista | |
| 1-gen-2008 | Automated Generation of Optimal Controllers through Model Checking Techniques | Della Penna, G; Intrigila, B; Magazzeni, D; Tofani, A; Melatti, I; Tronci, E | Contributo in libro | |
| 1-gen-2004 | Bounded Probabilistic Model Checking with the Murφ Verifier | Della Penna, G; Intrigila, B; Melatti, I; Tronci, E; Zilli, M | Intervento a convegno | |
| 1-gen-2007 | Computational models of myocardial endomysial collagen arrangement | Intrigila, B; Melatti, I; Tofani, A; Macchiarelli, G | Articolo su rivista | |
| 29-gen-2019 | Degrees of extensionality in the theory of Böhm trees and sallé’s conjecture | Intrigila, B; Manzonetto, G; Polonsky, A | Articolo su rivista | |
| 1-ott-2018 | Engineering Complex Safety Critical Software Systems: Abstraction and Concreteness | Intrigila, B; Luigi, M; Intrigila, B; Mazzucchelli, L | Intervento a convegno | |
| 1-gen-2009 | Evaluating fuzzy controller robustness using model checking | Della Penna, G; Intrigila, B; Magazzeni, D | Intervento a convegno | |
| 1-gen-2005 | Exploiting hub states in automatic verification | Della Penna, G; Melatti, I; Intrigila, B; Tronci, E | Intervento a convegno | |
| 1-gen-2004 | Exploiting transition locality in automatic verification of finite-state concurrent systems | Della Penna, G; Intrigila, B; Melatti, I; Tronci, E; Zilli, M | Articolo su rivista | |
| 1-gen-2006 | Finite horizon analysis of Markov Chains with the Murphi verifier | Della_penna, G; Intrigila, B; Melatti, I; Tronci, E; Venturini_zilli, M | Articolo su rivista | |
| 1-gen-2018 | Fixed points in lambda calculus. An eccentric survey of problems and solutions | Intrigila, B; Statman, R | Articolo su rivista | |
| 1-gen-2006 | Interoperability mapping from XML schemas to ER diagrams | Della Penna, G; Marco, A; Intrigila, B; Melatti, I; Pierantonio, A | Articolo su rivista | |
| 20-feb-2020 | Multi-Factor Authentication for e-Government Services using a Smartphone Application and Biometric Identity Verification | Alrousan, M; Intrigila, B | Articolo su rivista |