Personal Information
Organization / Workplace
Bolzano Area, Italy Italy
Industry
Education
Website
www.inf.unibz.it/~montali/
About
I am an Associate Professor at the KRDB Research Centre for Knowledge and Data, Faculty of Computer Science, Free University of Bozen-Bolzano.
My research activity focuses on foundational, methodological and experimental aspects of knowledge representation and automated reasoning for the intelligent, holistic management of processes and data, encompassing the formal specification, verification, monitoring and mining of data-aware business processes, clinical guidelines, service-oriented and multiagent systems.
On these topics, I authored a Springer monograph and more than 130 papers, published in top-level, peer-reviewed international journals, conferences and workshops. My current h-in...
Tags
business process management
data-aware processes
process mining
formal verification
declarative process models
model checking
monitoring
artificial intelligence
verification
runtime verification
declare
conformance checking
object-centric behavioral constraints
linear temporal logic
temporal logics
state-boundedness
object-centric processes
finite-state automata
commitments
business artifacts
automated reasoning
declarative process mining
data-centric dynamic systems
business constraints
multiagent systems
formal methods
knowledge representation and reasoning
first-order temporal logics
stochastic processes
multi-case processes
colored petri nets
petri nets
bpmn
event calculus
infinite-state systems
finite traces
temporal description logics
temporal reasoning
uml
ontology-based data access
abstraction techniques
mu-calculus
artifact-centric processes
relational multiagent systems
database theory
conceptual modeling
stochastic petri nets
process constraints
data petri nets
erp systems
master data management
dmn
semantic dmn
petri nets with names
management
analisi formale
sistemi informativi
modellazione concettuale
data science
gestione aziendale
verifica
gestione delle organizzazioni
qualità totale
ontologie
processi aziendali
crm
project management
data analytics
metodi formali
simulazione
accesso ai dati
big data
colored automata
data-centric workflows
gsm
description logics
operational decision support
reactive reasoning
logic programming
compliance
clinical guidelines
social commitmens
ontologies
qualitative verification
markov chains
silent transitions
stochastic process mining
object-aware petri nets
information systems
data abstraction
probabilistic declare
probabilistic constraints
uncertainty
many-to-many processes
decision-aware processes
case management
petri nets with data
decidability results
reasoning on decision models
decision model and notation
process discovery
data models
data preparation
business processes
reachability
db-nets
relational databases
metric time
databases
bisimulations
knowledge bases
strategic reasoning
synthesis
data-aware multiagent systems
dcds
process monitoring
business rules
business interactions
execution traces
conformance
medical knowledge
parameterized verification
case-centric processes
linear dynamic logic
first-order logic
data
epsilon moves
exit probability
absorption probability
trace probability
augmented bpm
intelligent systems
vacuity detection
constraint discovery
constraint mining
steady-state analysis
ada tool
smt
arithmetics
arithmetic conditions
soundness checking
caise
multi-dimensional alignments
approximate alignments
embeddings
trace alignment
probabilistic trace alignment
data-aware dynamic systems
probabilistic reasoning
outliers
classification
probabilistic temporal logics
probabilistic models
temporal constraints
ocbc
declarative modeling
multi-event logs
multiple perspectives
onprom
multi-level mappings
event data
event logs
xes
knowledge graphs
data pipelines
decision management
decision logic
quality assessment
knowledge integration
correctness analysis
events
ontologies of norms
normative frameworks
integer linear programming
conflicting constraints
multi-perspective declare
fit for digital
public administration
digitalization
backward reachability
array-based systems
smt-based model checking
data-aware bpmn
convergence
divergence
decision modeling
s-feel
conference presentation
speech
slides
best practices
scientific presentations
how to present
weak acyclicity
java apis
daphne
modeling methodologies
raw-sys
syntactic conditions
dcds execution
implementation
modeling guidelines
isomorphic types
characterization theorems
logics and bisimulations
lossy counter automata
undecidability results
counter automata
genericity
counter machines
state-bounded dcds
markovian systems
incrementing counter machines
generic transition systems
persistence-preserving logics
computation tree logic
relational transition systems
execution semantics
database
domain knowledge
log extraction
obda
matematica
russell
logica al prim'ordine
macchine di turing
principia mathematica
hilbert
turing machines
turing
frege
goedel
problemi di hilbert
whitehead
paradossi
leibniz
teoria degli insiemi
lógica
informatica
decidbilità
paradosso del mentitore
boole
timed declare
knowledge-intensive processes
abductive logic programming
open declarative interaction models
climb
social commitments
flexible processes
reactive event calculus
cached event calculus
rec
european project
artifact-centric service interoperation
guard-stage milestone
enterprise modeling
acsi project
univr
univerona
carlo combi
verona
deviations
computer-interpretable guidelines
glare
relational mapping
lossless views
conceptual models
object-relational mapping
uml class diagrams
hibernate
mappings
query languages
run-boundedness
pods
description logic-based dynamic systems
best paper award
planning
first-order tempral logics
levesque functional approach
best paper
proactive agents
reactive agents
relational commitments
open multiagent systems
boundedness
exceptions
contrary-to-duty constraints
compensations
mutual exclusion protocols
dense order
data types
ordered data
hybrid process modeling
automata
constraint automata
agents
time-aware commitments
cigs
audit trails
compensation
regular expressions
ldl
ltl
datalog
declarative networking
marco somalvico award
ai*ia
declarative distributed systems
aixia
decidability
business
mining
petri
reasoning
analysis
process
computing
science
See more