Searching for authors named "Eric Bodden" – sorted by Relevance.
-
Graphically transforming Timeline specifications into automata for runtime monitoring
- Graphically transforming Timeline specifications into automata for runtime monitoring Eric Bodden
- Add To MetaCart
-
The abc Group
- abc Technical Report No. abc-2006-4 Eric Bodden 1 , Laurie Hendren 1 , Ondˇrej Lhoták 2 1 Mc
- Add To MetaCart
-
Temporal Assertions using AspectJ
- RV 2005 Preliminary Version Temporal Assertions using AspectJ Volker Stolz and Eric Bodden Dept
- Cited by 27 (3 self) – Add To MetaCart
-
A staged static program analysis to improve the performance of runtime monitoring
- A staged static program analysis to improve the performance of runtime monitoring Eric Bodden 1
- Cited by 10 (3 self) – Add To MetaCart
-
Arithmetic Coding revealed - A guided tour from theory to praxis
- Compression WS 2001/2002 Arithmetic Coding revealed A guided tour from theory to praxis. Eric Bodden Malte
- Cited by 1 (0 self) – Add To MetaCart
-
Avoiding infinite recursion with stratified aspects
- Avoiding Infinite Recursion with Stratified Aspects Eric Bodden Sable Research Group Mc
- Cited by 8 (1 self) – Add To MetaCart
-
Collaborative runtime verification with
- Collaborative runtime verification with tracematches Eric Bodden 1 , Laurie Hendren 1 , Patrick
- Add To MetaCart
-
Programming Languages Group
- Efficient Trace Monitoring Pavel Avgustinov1 , Julian Tibble1 , Eric Bodden2 , Laurie Hendren2
- Add To MetaCart
-
angefertigt am
- Eigenschaften zur Laufzeit von Eric Bodden Diplomarbeit in Informatik vorgelegt der Fakultät für Mathematik
- Add To MetaCart
-
Efficient trace monitoring
- Aspects for Trace Monitoring Pavel Avgustinov 1 , Eric Bodden 2 , Elnar Hajiyev 1 , Laurie Hendren
- Cited by 5 (1 self) – Add To MetaCart

