-
1
-
-
77954089503
-
Preserving correctness during business process model configuration
-
van der Aalst, W.M.P., Dumas, M., Gottschalk, F., ter Hofstede, A.H.M., La Rosa, M., Mendling, J.: Preserving correctness during business process model configuration. Formal Asp. Comput. 22(3-4), 459-482 (2010)
-
(2010)
Formal Asp. Comput.
, vol.22
, Issue.3-4
, pp. 459-482
-
-
Van Der Aalst, W.M.P.1
Dumas, M.2
Gottschalk, F.3
Ter Hofstede, A.H.M.4
La Rosa, M.5
Mendling, J.6
-
2
-
-
33750957827
-
Deontic Logic
-
Gabbay, D., Guenthner, F. (eds.) 2nd edn., Kluwer, Dordrecht
-
Åqvist, L.: Deontic Logic. In: Gabbay, D., Guenthner, F. (eds.) Handbook of Philosophical Logic, 2nd edn., vol. 8, pp. 147-264. Kluwer, Dordrecht (2002)
-
(2002)
Handbook of Philosophical Logic
, vol.8
, pp. 147-264
-
-
Åqvist, L.1
-
3
-
-
78349262673
-
A Logical Framework to Deal with Variability
-
Méry, D., Merz, S. (eds.) IFM 2010. Springer, Heidelberg
-
Asirelli, P., ter Beek, M.H., Fantechi, A., Gnesi, S.: A Logical Framework to Deal with Variability. In: Méry, D., Merz, S. (eds.) IFM 2010. LNCS, vol. 6396, pp. 43-58. Springer, Heidelberg (2010)
-
(2010)
LNCS
, vol.6396
, pp. 43-58
-
-
Asirelli, P.1
Ter Beek, M.H.2
Fantechi, A.3
Gnesi, S.4
-
4
-
-
33744582432
-
-
[16]
-
Bertolino, A., Fantechi, A., Gnesi, S., Lami, G., Maccari, A.: Use Case Description of Requirements for Product Lines. In: [16], pp. 12-18 (2002)
-
(2002)
Use Case Description of Requirements for Product Lines.
, pp. 12-18
-
-
Bertolino, A.1
Fantechi, A.2
Gnesi, S.3
Lami, G.4
Maccari, A.5
-
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 Trans. Program. Lang. Syst. 8(2), 244-263 (1986)
-
(1986)
ACM Trans. Program. Lang. Syst.
, vol.8
, Issue.2
, pp. 244-263
-
-
Clarke, E.M.1
Emerson, E.A.2
Sistla, A.P.3
-
6
-
-
0003962322
-
-
MIT, Cambridge
-
Clarke, E.M., Grumberg, O., Peled, D.A.: Model Checking. MIT, Cambridge (1999)
-
(1999)
Model Checking
-
-
Clarke, E.M.1
Grumberg, O.2
Peled, D.A.3
-
7
-
-
77954715140
-
Model Checking Lots of Systems: Efficient Verification of Temporal Properties in Software Product Lines
-
ACM Press, New York
-
Classen, A., Heymans, P., Schobbens, P.-Y., Legay, A., Raskin, J.-F.: Model Checking Lots of Systems: Efficient Verification of Temporal Properties in Software Product Lines. In: Proceedings 32nd International Conference on Software Engineering (ICSE 2010), pp. 335-344. ACM Press, New York (2010)
-
(2010)
Proceedings 32nd International Conference on Software Engineering (ICSE 2010)
, pp. 335-344
-
-
Classen, A.1
Heymans, P.2
Schobbens, P.-Y.3
Legay, A.4
Raskin, J.-F.5
-
8
-
-
79959896647
-
SymbolicModel Checking of Software Product Lines
-
To appear ACM Press, New York
-
Classen, A., Heymans, P., Schobbens, P.-Y., Legay, A.: SymbolicModel Checking of Software Product Lines. To appear in: Proceedings 33rd International Conference on Software Engineering (ICSE 2011). ACM Press, New York (2011)
-
(2011)
Proceedings 33rd International Conference on Software Engineering (ICSE 2011)
-
-
Classen, A.1
Heymans, P.2
Schobbens, P.-Y.3
Legay, A.4
-
11
-
-
0029272304
-
Three Logics for Branching Bisimulation
-
De Nicola, R., Vaandrager, F.W.: Three Logics for Branching Bisimulation. J. ACM 42(2), 458-487 (1995)
-
(1995)
J. ACM
, vol.42
, Issue.2
, pp. 458-487
-
-
De Nicola, R.1
Vaandrager, F.W.2
-
13
-
-
84863934994
-
A Logical Verification Methodology for Service-Oriented Computing
-
To appear in
-
Fantechi, A., Lapadula, A., Pugliese, R., Tiezzi, F., Gnesi, S., Mazzanti, F.: A Logical Verification Methodology for Service-Oriented Computing. To appear in ACM Trans. Softw. Eng. Methodol. (2011)
-
(2011)
ACM Trans. Softw. Eng. Methodol.
-
-
Fantechi, A.1
Lapadula, A.2
Pugliese, R.3
Tiezzi, F.4
Gnesi, S.5
Mazzanti, F.6
-
14
-
-
34247370256
-
A Foundation for Behavioural Conformance in Software Product Line Architectures
-
Hierons, R.M., Muccini, H. (eds.) ACM Press, New York
-
Fischbein, D., Uchitel, S., Braberman, V.A.: A Foundation for Behavioural Conformance in Software Product Line Architectures. In: Hierons, R.M., Muccini, H. (eds.) Proceedings ISSTA 2006 Workshop on Role of Software Architecture for Testing and Analysis (ROSATEA 2006), pp. 39-48. ACM Press, New York (2006)
-
(2006)
Proceedings ISSTA 2006 Workshop on Role of Software Architecture for Testing and Analysis (ROSATEA 2006)
, pp. 39-48
-
-
Fischbein, D.1
Uchitel, S.2
Braberman, V.A.3
-
17
-
-
0007395592
-
On the Fly Verification of Networks of Automata
-
Arabnia, H.R., et al. (eds.) CSREA Press, Athens
-
Gnesi, S., Mazzanti, F.: On the Fly Verification of Networks of Automata. In: Arabnia, H.R., et al. (eds.) Proceedings International Conference on Parallel and Distributed Processing Techniques and Applications (PDPTA 1999), pp. 1040-1046. CSREA Press, Athens (2009)
-
(2009)
Proceedings International Conference on Parallel and Distributed Processing Techniques and Applications (PDPTA 1999)
, pp. 1040-1046
-
-
Gnesi, S.1
Mazzanti, F.2
-
18
-
-
84944065857
-
Abstraction-based model checking using modal transition systems
-
Larsen, K.G., Nielsen, M. (eds.) CONCUR 2001. Springer, Heidelberg
-
Godefroid, P., Huth, M., Jagadeesan, R.: Abstraction-based model checking using modal transition systems. In: Larsen, K.G., Nielsen, M. (eds.) CONCUR 2001. LNCS, vol. 2154, pp. 426-440. Springer, Heidelberg (2001)
-
(2001)
LNCS
, vol.2154
, pp. 426-440
-
-
Godefroid, P.1
Huth, M.2
Jagadeesan, R.3
-
19
-
-
46049110753
-
Modeling and Model Checking Software Product Lines
-
Barthe, G., de Boer, F.S. (eds.) FMOODS 2008. Springer, Heidelberg
-
Gruler, A., Leucker, M., Scheidemann, K.: Modeling and Model Checking Software Product Lines. In: Barthe, G., de Boer, F.S. (eds.) FMOODS 2008. LNCS, vol. 5051, pp. 113-131. Springer, Heidelberg (2008)
-
(2008)
LNCS
, vol.5051
, pp. 113-131
-
-
Gruler, A.1
Leucker, M.2
Scheidemann, K.3
-
20
-
-
55049111112
-
-
[15]
-
Gruler, A., Leucker, M., Scheidemann, K.D.: Calculating and Modelling Common Parts of Software Product Lines. In: [15], pp. 203-212 (2008)
-
(2008)
Calculating and Modelling Common Parts of Software Product Lines
, pp. 203-212
-
-
Gruler, A.1
Leucker, M.2
Scheidemann, K.D.3
-
21
-
-
1542295467
-
Communicating the Variability of a Software-Product Family to Customers
-
Halmans, G., Pohl, K.: Communicating the Variability of a Software-Product Family to Customers. Software and System Modeling 2(1), 15-36 (2003)
-
(2003)
Software and System Modeling
, vol.2
, Issue.1
, pp. 15-36
-
-
Halmans, G.1
Pohl, K.2
-
23
-
-
79960879729
-
Proceedings 2nd Workshop on Service-Oriented Architectures and Software Product Lines: Putting Both Together (SOAPL 2008)
-
(eds.): Thiel, S., Pohl, K. (eds.) Lero Centre, University of Limerick
-
Krut, R.W., Cohen, S.G. (eds.): Proceedings 2nd Workshop on Service-Oriented Architectures and Software Product Lines: Putting Both Together (SOAPL 2008). In: Thiel, S., Pohl, K. (eds.) Workshop Proceedings 12th Software Product Lines Conference (SPLC 2008), Lero Centre, University of Limerick, pp. 115-147 (2008)
-
(2008)
Workshop Proceedings 12th Software Product Lines Conference (SPLC 2008)
, pp. 115-147
-
-
Krut, R.W.1
Cohen, S.G.2
-
24
-
-
79960851671
-
Proceedings 3rd Workshop on Service-Oriented Architectures and Software Product Lines: Enhancing Variation (SOAPL 2009)
-
(eds.): Muthig, D., McGregor, J.D. (eds.) ACM Press, New York
-
Krut, R.W., Cohen, S.G. (eds.): Proceedings 3rd Workshop on Service-Oriented Architectures and Software Product Lines: Enhancing Variation (SOAPL 2009). In: Muthig, D., McGregor, J.D. (eds.) Proceedings 13th Software Product Lines Conference (SPLC 2009), pp. 301-302. ACM Press, New York (2009)
-
(2009)
Proceedings 13th Software Product Lines Conference (SPLC 2009)
, pp. 301-302
-
-
Krut, R.W.1
Cohen, S.G.2
-
25
-
-
85008979790
-
Modal Specifications
-
Sifakis, J. (ed.) CAV 1989. Springer, Heidelberg
-
Larsen, K.G.: Modal Specifications. In: Sifakis, J. (ed.) CAV 1989. LNCS, vol. 407, pp. 232-246. Springer, Heidelberg (1990)
-
(1990)
LNCS
, vol.407
, pp. 232-246
-
-
Larsen, K.G.1
-
26
-
-
0025430468
-
Proof Systems for Satisfiability in Hennessy-Milner Logic with Recursion
-
Larsen, K.G.: Proof Systems for Satisfiability in Hennessy-Milner Logic with Recursion. Theor. Comput. Sci. 72(2-3), 265-288 (1990)
-
(1990)
Theor. Comput. Sci.
, vol.72
, Issue.2-3
, pp. 265-288
-
-
Larsen, K.G.1
-
27
-
-
37149013404
-
Modal I/O Automata for Interface and Product Line Theories
-
De Nicola, R. (ed.) ESOP 2007. Springer, Heidelberg
-
Larsen, K.G., Nyman, U., Wa̧sowski, A.: Modal I/O Automata for Interface and Product Line Theories. In: De Nicola, R. (ed.) ESOP 2007. LNCS, vol. 4421, pp. 64-79. Springer, Heidelberg (2007)
-
(2007)
LNCS
, vol.4421
, pp. 64-79
-
-
Larsen, K.G.1
Nyman, U.2
Wa̧sowski, A.3
-
29
-
-
77952187768
-
Model Checking of Domain Artifacts in Product Line Engineering
-
IEEE Press, Los Alamitos
-
Lauenroth, K., Pohl, K., Töhning, S.: Model Checking of Domain Artifacts in Product Line Engineering. In: Proceedings 24th International Conference on Automated Software Engineering (ASE 2009), pp. 269-280. IEEE Press, Los Alamitos (2009)
-
(2009)
Proceedings 24th International Conference on Automated Software Engineering (ASE 2009)
, pp. 269-280
-
-
Lauenroth, K.1
Pohl, K.2
Töhning, S.3
-
32
-
-
81055135950
-
Feature Petri Nets
-
Schaefer, I., Carbon, R. (eds.) University of Lancaster
-
Muschevici, R., Clarke, D., Proenca, J.: Feature Petri Nets. In: Schaefer, I., Carbon, R. (eds.) Proceedings 1st International Workshop on Formal Methods in Software Product Line Engineering (FMSPLE 2010). University of Lancaster (2010)
-
(2010)
Proceedings 1st International Workshop on Formal Methods in Software Product Line Engineering (FMSPLE 2010)
-
-
Muschevici, R.1
Clarke, D.2
Proenca, J.3
-
34
-
-
84957706882
-
Model-Checking: A Tutorial Introduction
-
Cortesi, A., Filé, G. (eds.) SAS 1999. Springer, Heidelberg
-
Müller-Olm, M., Schmidt, D.A., Steffen, B.: Model-Checking: A Tutorial Introduction. In: Cortesi, A., Filé, G. (eds.) SAS 1999. LNCS, vol. 1694, pp. 330-354. Springer, Heidelberg (1999)
-
(1999)
LNCS
, vol.1694
, pp. 330-354
-
-
Müller-Olm, M.1
Schmidt, D.A.2
Steffen, B.3
-
35
-
-
36749060136
-
Service-oriented computing: State of the art and research challenges
-
Papazoglou, M., Traverso, P., Dustdar, S., Leymann, F.: Service-oriented computing: State of the art and research challenges. IEEE Comput. 40(11), 38-45 (2007)
-
(2007)
IEEE Comput.
, vol.40
, Issue.11
, pp. 38-45
-
-
Papazoglou, M.1
Traverso, P.2
Dustdar, S.3
Leymann, F.4
-
36
-
-
84892351987
-
-
Springer, Berlin
-
Pohl, K., Böckle, G., van der Linden, F.: Software Product Line Engineering: Foundations, Principles, and Techniques. Springer, Berlin (2005)
-
(2005)
Software Product Line Engineering: Foundations, Principles, and Techniques
-
-
Pohl, K.1
Böckle, G.2
Van Der Linden, F.3
-
38
-
-
33749552243
-
A configurable reference modelling language
-
Rosemann, M., van der Aalst, W.M.P.: A configurable reference modelling language. Inf. Syst. 32(1), 1-23 (2007)
-
(2007)
Inf. Syst.
, vol.32
, Issue.1
, pp. 1-23
-
-
Rosemann, M.1
Van Der Aalst, W.M.P.2
|