(2012): Volumes 7200–7249 - Index of files in - University of Utah

REFERENCES 66
Bae:2012:ST
[244] Kyungmin Bae, Peter Csaba Ölveczky, José Meseguer, and Abdullah Al-
Nayeem. The SynchAADL2Maude tool. Lecture Notes in Computer Science,
7212:59–62, 2012. CODEN LNCSD9. ISSN 0302-9743 (print), 1611-
3349 (electronic). URL http://link.springer.com/chapter/10.1007/
978-3-642-28872-2_4/.
Fiadeiro:2012:CSC
[245] José Luiz Fiadeiro and Antónia Lopes. Consistency of service composition.
Lecture Notes in Computer Science, 7212:63–77, 2012. CODEN
LNCSD9. ISSN 0302-9743 (print), 1611-3349 (electronic). URL http://
link.springer.com/chapter/10.1007/978-3-642-28872-2_5/.
Eckhardt:2012:SAU
[246] Jonas Eckhardt, Tobias Mühlbauer, Musab AlTurki, José Meseguer,
and Martin Wirsing. Stable availability under denial of service attacks
through formal patterns. Lecture Notes in Computer Science, 7212:
78–93, 2012. CODEN LNCSD9. ISSN 0302-9743 (print), 1611-3349
(electronic). URL http://link.springer.com/chapter/10.1007/978-
3-642-28872-2_6/.
Naujokat:2012:LPP
[247] Stefan Naujokat, Anna-Lena Lamprecht, and Bernhard Steffen. Loose
programming with PROPHETS. Lecture Notes in Computer Science,
7212:94–98, 2012. CODEN LNCSD9. ISSN 0302-9743 (print), 1611-3349
(electronic). URL http://link.springer.com/chapter/10.1007/978-
3-642-28872-2_7/.
Kahlon:2012:SIR
[248] Vineet Kahlon. Schedule insensitivity reduction. Lecture Notes in
Computer Science, 7212:99–114, 2012. CODEN LNCSD9. ISSN 0302-
9743 (print), 1611-3349 (electronic). URL http://link.springer.com/
chapter/10.1007/978-3-642-28872-2_8/.
Hatvani:2012:ATA
[249] Leo Hatvani, Paul Pettersson, and Cristina Seceleanu. Adaptive task
automata: a framework for verifying adaptive embedded systems. Lecture
Notes in Computer Science, 7212:115–129, 2012. CODEN LNCSD9. ISSN
0302-9743 (print), 1611-3349 (electronic). URL http://link.springer.
com/chapter/10.1007/978-3-642-28872-2_9/.