INTRIGILA, BENEDETTO

INTRIGILA, BENEDETTO  

Dipartimento di Ingegneria dell'Impresa "Mario Lucertini"  

Mostra records
Risultati 1 - 20 di 38 (tempo di esecuzione: 0.04 secondi).
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