-
2
-
-
84958961191
-
A logic for real-time systems specification
-
Baum, G., Frias, M.F., Maibaum, T.S.E.: A Logic for Real-Time Systems Specification. In: Algebraic Semantics, and Equational Calculus, AMAST, pp. 91-105 (1998).
-
(1998)
Algebraic Semantics, and Equational Calculus, AMAST
, pp. 91-105
-
-
Baum, G.1
Frias, M.F.2
Maibaum, T.S.E.3
-
3
-
-
84958037228
-
UPPAAL- A tool suite for the automatic verification of real-time systems
-
Alur, R. Sontag, E.D. Henzinger, T.A. (eds.), LNCS, vol. 1066, Springer, Heidelberg
-
Bengtsson, J., et al.: UPPAAL- A Tool Suite for the Automatic Verification of Real-time Systems. In: Alur, R., Sontag, E.D., Henzinger, T.A. (eds.) HS 1995. LNCS, vol. 1066, pp. 232-243. Springer, Heidelberg (1996).
-
(1996)
HS 1995
, pp. 232-243
-
-
Bengtsson, J.1
-
4
-
-
18944386714
-
A formal approach to real-time object oriented software
-
Lyon, France
-
Carvalho, S., Fiadeiro, J., Haeusler, E.: A Formal Approach to Real-Time Object Oriented Software. In: Proceedings of the Workshop on Real-Time Programming IFAP/IFIP, Lyon, France, pp. 91-96 (1997).
-
(1997)
Proceedings of the Workshop on Real-time Programming IFAP/IFIP
, pp. 91-96
-
-
Carvalho, S.1
Fiadeiro, J.2
Haeusler, E.3
-
5
-
-
0022706656
-
Automatic verification of finite-state concurrent systems using temporal logic specifications
-
Clarke, E.M., Emerson, E.A., Sistla, A.P.: Automatic verification of finite-state concurrent systems using temporal logic specifications. ACM Transactions on Programming Languages and Systems 8, 244-263 (1986).
-
(1986)
ACM Transactions on Programming Languages and Systems
, vol.8
, pp. 244-263
-
-
Clarke, E.M.1
Emerson, E.A.2
Sistla, A.P.3
-
6
-
-
0003962322
-
-
MIT Press, Cambridge
-
Clarke, E., Grumberg, O., Peled, D.: Model Checking. MIT Press, Cambridge (2000).
-
(2000)
Model Checking
-
-
Clarke, E.1
Grumberg, O.2
Peled, D.3
-
7
-
-
84957067996
-
Experience with predicate abstraction
-
Springer, Heidelberg
-
Das, S., Dill, D., Park, S.: Experience with Predicate Abstraction. In: 11th International Conference on Computer-Aided Verification, pp. 160-172. Springer, Heidelberg (1999).
-
(1999)
11th International Conference on Computer-aided Verification
, pp. 160-172
-
-
Das, S.1
Dill, D.2
Park, S.3
-
8
-
-
40149092144
-
The tool KRONOS
-
Alur, R. Sontag, E.D. Henzinger, T.A. (eds.), LNCS, vol. 1066, Springer, Heidelberg
-
Daws, C., et al.: The Tool KRONOS. In: Alur, R., Sontag, E.D., Henzinger, T.A. (eds.) HS 1995. LNCS, vol. 1066, pp. 208-219. Springer, Heidelberg (1996).
-
(1996)
HS 1995
, pp. 208-219
-
-
Daws, C.1
-
10
-
-
0000925086
-
Temporal theories as modularisation units for concurrent system specification
-
Fiadeiro, J., Maibaum, T.: Temporal Theories as Modularisation Units for Concurrent System Specification. In: Formal Aspects of Computing, pp. 239-272 (1992).
-
(1992)
Formal Aspects of Computing
, pp. 239-272
-
-
Fiadeiro, J.1
Maibaum, T.2
-
11
-
-
33750544462
-
LTSA-WS: A tool for model-based verification of web service compositions and choreography
-
Foster, H., et al.: LTSA-WS: A Tool for Model-based Verification of Web Service Compositions and Choreography. In: 28th International Conference on Software Engineering (ICSE 2006), pp. 771-774 (2006).
-
(2006)
28th International Conference on Software Engineering (ICSE 2006)
, pp. 771-774
-
-
Foster, H.1
-
12
-
-
71749095793
-
WS-engineer: A model-based approach to engineering web service compositions and choreography
-
Foster, H., et al.: WS-Engineer: A Model-Based Approach to Engineering Web Service Compositions and Choreography. In: Test and Analysis of W.S., pp. 87-119 (2007).
-
(2007)
Test and Analysis of W.S.
, pp. 87-119
-
-
Foster, H.1
-
13
-
-
33847255927
-
A formal semantics of timed activity diagrams and its PROMELA translation
-
Guelfi, N., Mammar, A.: A Formal Semantics of Timed Activity Diagrams and its PROMELA Translation. In: APSEC, pp. 283-290 (2005).
-
(2005)
APSEC
, pp. 283-290
-
-
Guelfi, N.1
Mammar, A.2
-
15
-
-
84936881073
-
From business process model to consistent implementation: A case for formal verification methods
-
IEEE Computer Society, Los Alamitos
-
Koehler, J., Tirenni, G., Kumaran, S.: From Business Process Model to Consistent Implementation: A Case for Formal Verification Methods. In: 6th International Enterprise Distributed Object Computing Conference (EDOC 2002), pp. 96-106. IEEE Computer Society, Los Alamitos (2002).
-
(2002)
6th International Enterprise Distributed Object Computing Conference (EDOC 2002)
, pp. 96-106
-
-
Koehler, J.1
Tirenni, G.2
Kumaran, S.3
-
16
-
-
70349566552
-
A rigorous methodology for specification and verification of business processes
-
Springer, London
-
Masalagiu, C., et al.: A Rigorous Methodology for Specification and Verification of Business Processes. In: Formal Aspects of Computing. Springer, London (2009).
-
(2009)
Formal Aspects of Computing
-
-
Masalagiu, C.1
-
19
-
-
38149005544
-
An overview of the mensurae language: Specifying business processes
-
BCS
-
Maibaum, T.S.E.: An Overview of The Mensurae Language: Specifying Business Processes. In: Rigorous Object-Oriented Methods, BCS (2000).
-
(2000)
Rigorous Object-oriented Methods
-
-
Maibaum, T.S.E.1
-
22
-
-
47749101800
-
A survey of formal verification for business process modeling
-
Morimoto, S.: A Survey of Formal Verification for Business Process Modeling. In: ICCS 2008, pp. 514-522 (2008).
-
(2008)
ICCS 2008
, pp. 514-522
-
-
Morimoto, S.1
-
23
-
-
34548126438
-
Tool support for BPEL verification in ActiveBPEL engine
-
IEEE Computer Society, Los Alamitos
-
Qian, Y., et al.: Tool Support for BPEL Verification in ActiveBPEL Engine. In: Australian Software Engineering Conference, pp. 90-100. IEEE Computer Society, Los Alamitos (2007).
-
(2007)
Australian Software Engineering Conference
, pp. 90-100
-
-
Qian, Y.1
-
24
-
-
26444507906
-
Semantics of {BPEL4WS}-Like fault and compensation handling
-
Springer, Heidelberg
-
Qiu, Z., et al.: Semantics of {BPEL4WS}-Like Fault and Compensation Handling. In: Proceedings of the International Symposium on Formal Methods 2005, pp. 350-365. Springer, Heidelberg (2005).
-
(2005)
Proceedings of the International Symposium on Formal Methods 2005
, pp. 350-365
-
-
Qiu, Z.1
-
27
-
-
57049184767
-
A process semantics for BPMN
-
Liu, S. Maibaum, T. Araki, K. (eds.), LNCS, vol. 5256, Springer, Heidelberg
-
Wong, P.Y.H., Gibbons, J.: A Process Semantics for BPMN. In: Liu, S., Maibaum, T., Araki, K. (eds.) ICFEM 2008. LNCS, vol. 5256, pp. 355-374. Springer, Heidelberg (2008).
-
(2008)
ICFEM 2008
, pp. 355-374
-
-
Wong, P.Y.H.1
Gibbons, J.2
-
29
-
-
67650491062
-
Property specifications for workflow modelling
-
Leuschel, M. Wehrheim, H. (eds.), LNCS, vol. 5423, Springer, Heidelberg
-
Wong, P.Y.H., Gibbons, J.: Property Specifications for Workflow Modelling. In: Leuschel, M., Wehrheim, H. (eds.) IFM 2009. LNCS, vol. 5423, pp. 56-71. Springer, Heidelberg (2009).
-
(2009)
IFM 2009
, pp. 56-71
-
-
Wong, P.Y.H.1
Gibbons, J.2
|