×
Compute Distance To:
Author ID: montali.marco Recent zbMATH articles by "Montali, Marco"
Published as: Montali, Marco
External Links: ORCID

Publications by Year

Citations contained in zbMATH Open

16 Publications have been cited 49 times in 30 Documents Cited by Year
From model completeness to verification of data aware processes. Zbl 1443.68103
Calvanese, Diego; Ghilardi, Silvio; Gianola, Alessandro; Montali, Marco; Rivkin, Andrey
6
2019
Description logic knowledge and action bases. Zbl 1280.68249
Bagheri Hariri, Babak; Calvanese, Diego; Montali, Marco; De Giacomo, Giuseppe; De Masellis, Riccardo; Felli, Paolo
6
2013
Model completeness, covers and superposition. Zbl 07178974
Calvanese, Diego; Ghilardi, Silvio; Gianola, Alessandro; Montali, Marco; Rivkin, Andrey
6
2019
Specification and verification of declarative open interaction models. A logic-based approach. Zbl 1252.68021
Montali, Marco
4
2010
A logic-based, reactive calculus of events. Zbl 1209.68520
Chesani, Federico; Mello, Paola; Montali, Marco; Torroni, Paolo
4
2010
SMT-based verification of data-aware processes: a model-theoretic approach. Zbl 1495.68129
Calvanese, Diego; Ghilardi, Silvio; Gianola, Alessandro; Montali, Marco; Rivkin, Andrey
4
2020
Verification from declarative specifications using logic programming. Zbl 1185.68419
Montali, Marco; Torroni, Paolo; Alberti, Marco; Chesani, Federico; Gavanelli, Marco; Lamma, Evelina; Mello, Paola
4
2008
Social commitments in time: satisfied or compensated. Zbl 1274.68592
Torroni, Paolo; Chesani, Federico; Mello, Paola; Montali, Marco
3
2010
First-order \(\mu\)-calculus over generic transition systems and applications to the situation calculus. Zbl 1390.68462
Calvanese, Diego; De Giacomo, Giuseppe; Montali, Marco; Patrizi, Fabio
3
2018
On the integration of declarative choreographies and Commitment-based agent societies into the SCIFF logic programming framework. Zbl 1205.68438
Chesani, Federico; Mello, Paola; Montali, Marco; Storari, Sergio; Torroni, Paolo
2
2010
Model checking Petri nets with names using data-centric dynamic systems. Zbl 1345.68236
Montali, Marco; Rivkin, Andrey
2
2016
Reactive event calculus for monitoring global computing applications. Zbl 1356.68214
Bragaglia, Stefano; Chesani, Federico; Mello, Paola; Montali, Marco; Torroni, Paolo
1
2012
Model completeness, uniform interpolants and superposition calculus. (With applications to verification of data-aware processes). Zbl 07433024
Calvanese, Diego; Ghilardi, Silvio; Gianola, Alessandro; Montali, Marco; Rivkin, Andrey
1
2021
Soundness verification of data-aware process models with variable-to-variable conditions. Zbl 07467823
Felli, Paolo; de Leoni, Massimiliano; Montali, Marco
1
2021
Verification of description logic knowledge and action bases. Zbl 1327.68272
Hariri, Babak Bagheri; Calvanese, Diego; De Giacomo, Giuseppe; De Masellis, Riccardo; Felli, Paolo; Montali, Marco
1
2012
\({\mathcal B}\)-Tropos. Agent-oriented requirements engineering meets computational logic for declarative business process modeling and verification. Zbl 1175.68453
Bryl, Volha; Mello, Paola; Montali, Marco; Torroni, Paolo; Zannone, Nicola
1
2009
Model completeness, uniform interpolants and superposition calculus. (With applications to verification of data-aware processes). Zbl 07433024
Calvanese, Diego; Ghilardi, Silvio; Gianola, Alessandro; Montali, Marco; Rivkin, Andrey
1
2021
Soundness verification of data-aware process models with variable-to-variable conditions. Zbl 07467823
Felli, Paolo; de Leoni, Massimiliano; Montali, Marco
1
2021
SMT-based verification of data-aware processes: a model-theoretic approach. Zbl 1495.68129
Calvanese, Diego; Ghilardi, Silvio; Gianola, Alessandro; Montali, Marco; Rivkin, Andrey
4
2020
From model completeness to verification of data aware processes. Zbl 1443.68103
Calvanese, Diego; Ghilardi, Silvio; Gianola, Alessandro; Montali, Marco; Rivkin, Andrey
6
2019
Model completeness, covers and superposition. Zbl 07178974
Calvanese, Diego; Ghilardi, Silvio; Gianola, Alessandro; Montali, Marco; Rivkin, Andrey
6
2019
First-order \(\mu\)-calculus over generic transition systems and applications to the situation calculus. Zbl 1390.68462
Calvanese, Diego; De Giacomo, Giuseppe; Montali, Marco; Patrizi, Fabio
3
2018
Model checking Petri nets with names using data-centric dynamic systems. Zbl 1345.68236
Montali, Marco; Rivkin, Andrey
2
2016
Description logic knowledge and action bases. Zbl 1280.68249
Bagheri Hariri, Babak; Calvanese, Diego; Montali, Marco; De Giacomo, Giuseppe; De Masellis, Riccardo; Felli, Paolo
6
2013
Reactive event calculus for monitoring global computing applications. Zbl 1356.68214
Bragaglia, Stefano; Chesani, Federico; Mello, Paola; Montali, Marco; Torroni, Paolo
1
2012
Verification of description logic knowledge and action bases. Zbl 1327.68272
Hariri, Babak Bagheri; Calvanese, Diego; De Giacomo, Giuseppe; De Masellis, Riccardo; Felli, Paolo; Montali, Marco
1
2012
Specification and verification of declarative open interaction models. A logic-based approach. Zbl 1252.68021
Montali, Marco
4
2010
A logic-based, reactive calculus of events. Zbl 1209.68520
Chesani, Federico; Mello, Paola; Montali, Marco; Torroni, Paolo
4
2010
Social commitments in time: satisfied or compensated. Zbl 1274.68592
Torroni, Paolo; Chesani, Federico; Mello, Paola; Montali, Marco
3
2010
On the integration of declarative choreographies and Commitment-based agent societies into the SCIFF logic programming framework. Zbl 1205.68438
Chesani, Federico; Mello, Paola; Montali, Marco; Storari, Sergio; Torroni, Paolo
2
2010
\({\mathcal B}\)-Tropos. Agent-oriented requirements engineering meets computational logic for declarative business process modeling and verification. Zbl 1175.68453
Bryl, Volha; Mello, Paola; Montali, Marco; Torroni, Paolo; Zannone, Nicola
1
2009
Verification from declarative specifications using logic programming. Zbl 1185.68419
Montali, Marco; Torroni, Paolo; Alberti, Marco; Chesani, Federico; Gavanelli, Marco; Lamma, Evelina; Mello, Paola
4
2008

Citations by Year