| |
In EuroSys '09: Proceedings of the fourth ACM european conference on Computer systems (2009), pp. 261-274.
|
| |
Field Programmable Logic and Applications, 2007. FPL 2007. International Conference on (29 August 2007), pp. 679-683.
|
| |
Computers and Digital Techniques, IEE Proceedings -, Vol. 153, No. 3. (2 May 2006), pp. 157-164.
|
| |
In DAC '02: Proceedings of the 39th annual Design Automation Conference (2002), pp. 343-348.
|
| |
|
| |
|
| |
Ambient Intelligence in Everyday Life (2006), pp. 239-255.
|
| |
Journal of Systems and Software, Vol. 82, No. 2. (February 2009), pp. 319-332.
|
| |
Software Engineering, IEEE Transactions on In Software Engineering, IEEE Transactions on, Vol. 34, No. 6. (2008), pp. 783-799.
|
| |
Job Scheduling Strategies for Parallel Processing (2005), pp. 1-35.
|
| |
In SEAMS '08: Proceedings of the 2008 international workshop on Software engineering for adaptive and self-managing systems (2008), pp. 97-104.
|
| |
Computer, Vol. 37, No. 7. (2004), pp. 56-64.
|
| |
In ESEC/FSE-11: Proceedings of the 9th European software engineering conference held jointly with 11th ACM SIGSOFT international symposium on Foundations of software engineering (2003), pp. 367-370.
|
| |
In ICST '08: Proceedings of the 2008 International Conference on Software Testing, Verification, and Validation (2008), pp. 509-512.
|
| |
In OOPSLA Companion '08: Companion to the 23rd ACM SIGPLAN conference on Object oriented programming systems languages and applications (2008), pp. 741-742.
|
| |
Data and Knowledge Engineering, Vol. 24 (1998), pp. 239-256.
|
| |
In Proc. ACM Symposium on Applied Computing (SAC) (2008), pp. 171-177.
|
| |
In GPCE '07: Proceedings of the 6th international conference on Generative programming and component engineering (2007), pp. 73-82.
|
| |
Consumer Communications and Networking Conference, 2005. CCNC. 2005 Second IEEE In Consumer Communications and Networking Conference, 2005. CCNC. 2005 Second IEEE (2005), pp. 251-256.
|
| |
Software Engineering, 1998. Proceedings of the 1998 (20th) International Conference on (1998), pp. 177-186.
|
| |
Transactions on Aspect-Oriented Software Development II (2006), pp. 147-181.
|
| |
In WORKS '07: Proceedings of the 2nd workshop on Workflows in support of large-scale science (2007), pp. 29-34.
|
| |
Computer Security — ESORICS 92 (1992), pp. 435-450.
|
| |
Theoretical Computer Science, Vol. 336, No. 2-3. (26 May 2005), pp. 209-234.
by Cyrille Artho, Howard Barringer, Allen Goldberg, et al.Klaus Havelund, Sarfraz Khurshid, Mike Lowry, Corina Pasareanu, Grigore Rosu, Koushik Sen, Willem Visser, Rich Washington
|
| |
Electronic Notes in Theoretical Computer Science In Proceedings of the Fourth Workshop on Runtime Verification (RV 2004), Vol. 113 (3 January 2005), pp. 181-200.
|
| |
In HPCA (1998), pp. 14-23.
|
| |
|
| |
No. UIUCDCS-R-95-1926. (1995)
|
| |
Formal Approaches to Software Testing and Runtime Verification (2006), pp. 20-39.
by Pavel Avgustinov, Eric Bodden, Elnar Hajiyev, et al.Laurie Hendren, Ondřej Lhoták, Oege de Moor, Neil Ongkingco, Damien Sereni, Ganesh Sittampalam, Julian Tibble, Mathieu Verbaere
|
| |
In OOPSLA '07: Proceedings of the 22nd annual ACM SIGPLAN conference on Object oriented programming systems and applications (2007), pp. 589-608.
|
| |
In SIGPLAN Conference on Programming Language Design and Implementation (1996), pp. 160-170.
|
| |
In ICCAD '05: Proceedings of the 2005 IEEE/ACM International conference on Computer-aided design (2005), pp. 1052-1059.
|
| |
SIGSOFT Softw. Eng. Notes, Vol. 31, No. 3. (May 2006), pp. 25-37.
|
| |
|
| |
In Symposium on Principles of Programming Languages (1996), pp. 145-156.
|
| |
In Partial Evaluation. International Seminar. (December-JanuaryJune 1996), pp. 54-72.
|
| |
In Proceedings of the 1994 ACM {SIGPLAN} Workshop on Partial Evaluation and Semantics-Based Program Manipulation (June 1994), pp. 97-106.
|
| |
|
| |
In OOPSLA '04: Companion to the 19th annual ACM SIGPLAN conference on Object-oriented programming systems, languages, and applications (2004), pp. 306-307.
|
| |
In AOSD '03: Proceedings of the 2nd international conference on Aspect-oriented software development (2003), pp. 100-109.
|
| |
In AOSD '02: Proceedings of the 1st international conference on Aspect-oriented software development (2002), pp. 86-95.
|
| |
|
| |
In SoftVis '05: Proceedings of the 2005 ACM symposium on Software visualization (2005), pp. 105-114.
|
| |
|
| |
Softw. Pract. Exper., Vol. 31, No. 4. (April 2001), pp. 371-394.
|
| |
In International Conference on Software Engineering (1997), pp. 360-370.
|
Search
