-
1
-
-
84880554709
-
Verification of relational data-centric dynamic systems with external services
-
PODS
-
Bagheri Hariri, B., Calvanese, D., De Giacomo, G., Deutsch, A., Montali, M.: Verification of relational data-centric dynamic systems with external services. In: 32nd ACM SIGACT SIGMOD SIGART Symp. on Principles of Database Systems, PODS (2013)
-
(2013)
32nd ACM Sigact Sigmod Sigart Symp. on Principles of Database Systems
-
-
Bagheri Hariri, B.1
Calvanese, D.2
De Giacomo, G.3
Deutsch, A.4
Montali, M.5
-
3
-
-
67649967197
-
Verification of choreographies during execution using the reactive event calculus
-
LNCS Bruni, R., Wolf, K. (eds.) Springer, Heidelberg
-
Chesani, F., Mello, P., Montali, M., Torroni, P.: Verification of choreographies during execution using the reactive event calculus. In: Bruni, R., Wolf, K. (eds.) WS-FM 2008. LNCS, vol. 5387, pp. 55-72. Springer, Heidelberg (2009)
-
(2009)
WS-FM 2008
, vol.5387
, pp. 55-72
-
-
Chesani, F.1
Mello, P.2
Montali, M.3
Torroni, P.4
-
6
-
-
0032667112
-
Patterns in property specifications for finite-state verification
-
Boehm, B.W., Garlan, D., Kramer, J. (eds.)
-
Dwyer, M.B., Avrunin, G.S., Corbett, J.C.: Patterns in property specifications for finite-state verification. In: Boehm, B.W., Garlan, D., Kramer, J. (eds.) Proc. of the 1999 International Conf. on Software Engineering (ICSE). ACM Press (1999)
-
(1999)
Proc. of the 1999 International Conf. on Software Engineering (ICSE)
-
-
Dwyer, M.B.1
Avrunin, G.S.2
Corbett, J.C.3
-
7
-
-
35248878834
-
Reasoning with temporal logic on truncated paths
-
LNCS Hunt Jr., W.A., Somenzi, F. (eds.) Springer, Heidelberg
-
Eisner, C., Fisman, D., Havlicek, J., Lustig, Y., McIsaac, A., Van Campenhout, D.: Reasoning with temporal logic on truncated paths. In: Hunt Jr., W.A., Somenzi, F. (eds.) CAV 2003. LNCS, vol. 2725, pp. 27-39. Springer, Heidelberg (2003)
-
(2003)
CAV 2003
, vol.2725
, pp. 27-39
-
-
Eisner, C.1
Fisman, D.2
Havlicek, J.3
Lustig, Y.4
McIsaac, A.5
Van Campenhout, D.6
-
10
-
-
84892496653
-
A framework for the systematic comparison and evaluation of compliance monitoring approaches
-
IEEE
-
Ly, L.T., Maggi, F.M., Montali, M., Rinderle-Ma, S., van der Aalst,W.M.P.: A framework for the systematic comparison and evaluation of compliance monitoring approaches. In: Proc. of the 17th IEEE Int. Enterprise Distributed Object Computing Conf. (EDOC). IEEE (2013)
-
(2013)
Proc. of the 17th IEEE Int. Enterprise Distributed Object Computing Conf. (EDOC)
-
-
Ly, L.T.1
Maggi, F.M.2
Montali, M.3
Rinderle-Ma, S.4
Van Der Aalst, W.M.P.5
-
11
-
-
80052786262
-
Monitoring business constraints with linear temporal logic: An approach based on colored automata
-
Rinderle- Ma, S., Toumani, F., Wolf, K. (eds.) LNCS Springer, Heidelberg
-
Maggi, F.M., Montali, M., Westergaard, M., van der Aalst, W.M.P.: Monitoring business constraints with linear temporal logic: An approach based on colored automata. In: Rinderle- Ma, S., Toumani, F., Wolf, K. (eds.) BPM 2011. LNCS, vol. 6896, pp. 132-147. Springer, Heidelberg (2011)
-
(2011)
BPM 2011
, vol.6896
, pp. 132-147
-
-
Maggi, F.M.1
Montali, M.2
Westergaard, M.3
Van Der Aalst, W.M.P.4
-
12
-
-
84861217384
-
Runtime verification of LTL-based declarative process models
-
Khurshid, S., Sen, K. (eds.) LNCS Springer, Heidelberg
-
Maggi, F.M., Westergaard, M., Montali, M., van der Aalst, W.M.P.: Runtime verification of LTL-based declarative process models. In: Khurshid, S., Sen, K. (eds.) RV 2011. LNCS, vol. 7186, pp. 131-146. Springer, Heidelberg (2012)
-
(2012)
RV 2011
, vol.7186
, pp. 131-146
-
-
Maggi, F.M.1
Westergaard, M.2
Montali, M.3
Van Der Aalst, W.M.P.4
-
14
-
-
77955723244
-
Specification and verification of declarative open interaction models
-
Springer, Heidelberg
-
Montali, M.: Specification and Verification of Declarative Open Interaction Models. LNBIP, vol. 56. Springer, Heidelberg (2010)
-
(2010)
LNBIP
, vol.56
-
-
Montali, M.1
-
15
-
-
84891781134
-
-
ACM TIST
-
Montali,M.,Maggi, F.M., Chesani, F.,Mello, P., van der Aalst,W.M.P.:Monitoring business constraints with the event calculus. ACM TIST (2013)
-
(2013)
Monitoring Business Constraints with the Event Calculus
-
-
Montali, M.1
Maggi, F.M.2
Chesani, F.3
Mello, P.4
Van Der Aalst, W.M.P.5
-
16
-
-
76249104125
-
Declarative specification and verification of service choreographies
-
Montali, M., Pesic, M., van der Aalst,W.M.P., Chesani, F., Mello, P., Storari, S.: Declarative specification and verification of service choreographies. ACM Trans. on the Web (2010)
-
(2010)
ACM Trans. on the Web
-
-
Montali, M.1
Pesic, M.2
Van Der Aalst, W.M.P.3
Chesani, F.4
Mello, P.5
Storari, S.6
-
18
-
-
33749635457
-
A declarative approach for flexible business processes management
-
Eder, J., Dustdar, S. (eds.) LNCS Springer, Heidelberg
-
Pesic, M., van der Aalst, W.M.P.: A declarative approach for flexible business processes management. In: Eder, J., Dustdar, S. (eds.) BPM 2006 Workshops. LNCS, vol. 4103, pp. 169-180. Springer, Heidelberg (2006)
-
(2006)
BPM 2006 Workshops
, vol.4103
, pp. 169-180
-
-
Pesic, M.1
Van Der Aalst, W.M.P.2
-
22
-
-
84949823064
-
The rise and fall of linear time logic
-
Automata, Logics and Formal Verification
-
Vardi, M.: The rise and fall of linear time logic. In: 2nd Int. Symp. on Games, Automata, Logics and Formal Verification (2011)
-
(2011)
2nd Int. Symp. on Games
-
-
Vardi, M.1
-
23
-
-
79960083382
-
Modeling and verification of a protocol for operational support using coloured petri nets
-
Kristensen, L.M., Petrucci, L. (eds.) LNCS Springer, Heidelberg
-
Westergaard, M., Maggi, F.M.: Modeling and verification of a protocol for operational support using coloured petri nets. In: Kristensen, L.M., Petrucci, L. (eds.) PETRI NETS 2011. LNCS, vol. 6709, pp. 169-188. Springer, Heidelberg (2011)
-
(2011)
PETRI NETS 2011
, vol.6709
, pp. 169-188
-
-
Westergaard, M.1
Maggi, F.M.2
|