-
1
-
-
20344387626
-
On the automatic evolution of an OS kernel using temporal logic and AOP
-
IEEE
-
R. A. Åberg, J. L. Lawall, M. Südholt, G. Muller, and A.-F. L. Meur. On the automatic evolution of an OS kernel using temporal logic and AOP. In Proc. of Automated Software Engineering (ASE'03). IEEE, 2003.
-
(2003)
Proc. of Automated Software Engineering (ASE'03)
-
-
Åberg, R.A.1
Lawall, J.L.2
Südholt, M.3
Muller, G.4
Meur, A.-F.L.5
-
2
-
-
31744445215
-
Adding trace matching with free variables to AspectJ
-
October
-
C. Allan, P. Avgustinov, A. Simon, L. Hendren, S. Kuzins, O. Lhoták, O. de Moor, D. Sereni, G. Sittamplan, and J. Tibble. Adding Trace Matching with Free Variables to AspectJ. In OOPSLA '05, San Diego, California, USA, October 2005.
-
(2005)
OOPSLA '05, San Diego, California, USA
-
-
Allan, C.1
Avgustinov, P.2
Simon, A.3
Hendren, L.4
Kuzins, S.5
Lhoták, O.6
De Moor, O.7
Sereni, D.8
Sittamplan, G.9
Tibble, J.10
-
3
-
-
84888210118
-
The forSpec temporal Logic: A new temporal property-specification language
-
P. S. Joost-Pieter Katoen, editor, Tools and Algorithms for the Construction and Analysis of Systems (TACAS'02). Springer
-
R. Armoni, L. Fix, A. Flaisher, R. Gerth, B. Ginsburg, T. Kanza, A. Landver, S. Mador-Haim, E. Singerman, A. Tiemeyer, M. Y. Vardi, and Y. Zbar. The ForSpec Temporal Logic: A new Temporal Property-Specification Language. In P. S. Joost-Pieter Katoen, editor, Tools and Algorithms for the Construction and Analysis of Systems (TACAS'02), volume 2280 of LNCS. Springer, 2002.
-
(2002)
LNCS
, vol.2280
-
-
Armoni, R.1
Fix, L.2
Flaisher, A.3
Gerth, R.4
Ginsburg, B.5
Kanza, T.6
Landver, A.7
Mador-Haim, S.8
Singerman, E.9
Tiemeyer, A.10
Vardi, M.Y.11
Zbar, Y.12
-
4
-
-
84958756507
-
The temporal logic sugar
-
Computer Aided Verification (CAV'01). Springer
-
I. Beer, S. Ben-David, C. Eisner, D. Fisman, A. Gringauze, and Y. Rodeh. The temporal logic sugar. In Computer Aided Verification (CAV'01), volume 2102 of LNCS. Springer, 2001.
-
(2001)
LNCS
, vol.2102
-
-
Beer, I.1
Ben-David, S.2
Eisner, C.3
Fisman, D.4
Gringauze, A.5
Rodeh, Y.6
-
6
-
-
33749385542
-
Asymptotic Runtime Verification through Lightweight Continous Program Analysis (invited talk)
-
To be published in ENTCS, Elsevier
-
T. M. Chilimbi. Asymptotic Runtime Verification through Lightweight Continous Program Analysis (invited talk). In Fifth Workshop on Runtime Verification (RV'05). To be published in ENTCS, Elsevier, 2005.
-
(2005)
Fifth Workshop on Runtime Verification (RV'05)
-
-
Chilimbi, T.M.1
-
7
-
-
0003962322
-
-
MIT Press, Cambridge, MA, USA
-
E. Clarke Jr, O. Grumberg, and D. Peled. Model Checking. MIT Press, Cambridge, MA, USA, 1999.
-
(1999)
Model Checking
-
-
Clarke Jr., E.1
Grumberg, O.2
Peled, D.3
-
8
-
-
4544292230
-
Composition, reuse and interaction analysis of stateful aspects
-
G. C. Murphy and K. J. Lieberherr, editors, ACM
-
R. Douence, P. Fradet, and M. Südholt. Composition, reuse and interaction analysis of stateful aspects. In G. C. Murphy and K. J. Lieberherr, editors, Proc. of the 3rd intl. conf. on Aspect-oriented software development (AOSD'04)- ACM, 2004.
-
(2004)
Proc. of the 3rd Intl. Conf. on Aspect-oriented Software Development (AOSD'04)
-
-
Douence, R.1
Fradet, P.2
Südholt, M.3
-
9
-
-
31744434551
-
An expressive aspect language for system applications with arachne
-
ACM Press
-
R. Douence, T. Fritz, N. Loriant, J.-M. Menaud, M. Ségura-Devillechaise, and M. Südholt. An expressive aspect language for system applications with arachne. In Proc. of the 4th intl. conf. on Aspect-oriented software development (AOSD'05). ACM Press, 2005.
-
(2005)
Proc. of the 4th Intl. Conf. on Aspect-oriented Software Development (AOSD'05)
-
-
Douence, R.1
Fritz, T.2
Loriant, N.3
Menaud, J.-M.4
Ségura-Devillechaise, M.5
Südholt, M.6
-
10
-
-
84947249797
-
A formal definition of crosscuts
-
Proc. of the 3rd. intl. conf. on Metalevel Architectures and Separation of Crosscutting Concerns. Springer
-
R. Douence, O. Motelet, and M. Südholt. A formal definition of crosscuts. In Proc. of the 3rd. intl. conf. on Metalevel Architectures and Separation of Crosscutting Concerns, volume 2192 of LNCS. Springer, 2001.
-
(2001)
LNCS
, vol.2192
-
-
Douence, R.1
Motelet, O.2
Südholt, M.3
-
13
-
-
1842789901
-
Checking finite traces using alternating automata
-
B. Finkbeiner and H. Sipma. Checking Finite Traces using Alternating Automata. Formal Methods in System Design, 24(2):101-127, 2004.
-
(2004)
Formal Methods in System Design
, vol.24
, Issue.2
, pp. 101-127
-
-
Finkbeiner, B.1
Sipma, H.2
-
14
-
-
37149024045
-
Design patterns: Abstraction and reuse of object-oriented design
-
O. M. Nierstrasz, editor, ECOOP'93-Object-Oriented Programming. Springer
-
E. Gamma, R. Helm, R. Johnson, and J. Vlissides. Design patterns: Abstraction and reuse of object-oriented design. In O. M. Nierstrasz, editor, ECOOP'93-Object-Oriented Programming, volume 707 of LNCS. Springer, 1993.
-
(1993)
LNCS
, vol.707
-
-
Gamma, E.1
Helm, R.2
Johnson, R.3
Vlissides, J.4
-
19
-
-
33646162171
-
Stateful Aspects in JAsCo
-
T. Gschwind and U. Aßmann, editorsWorkshop on Software Composition 2005. Springer
-
W. Vanderperren, D. Suvée, M. A. Cibrán, and B. De Fraine. Stateful Aspects in JAsCo. In T. Gschwind and U. Aßmann, editors, Workshop on Software Composition 2005, volume 3628 of LNCS. Springer, 2005.
-
(2005)
LNCS
, vol.3628
-
-
Vanderperren, W.1
Suvée, D.2
Cibrán, M.A.3
De Fraine, B.4
|