Search results for: Sylvain Halle
Journal of Logical and Algebraic Methods in Programming > 2016 > 85 > 5(P1) > 737-758
Journal of Network and Systems Management > 2017 > 25 > 1 > 180-209
Lecture Notes in Computer Science > Runtime Verification > Tutorials > 106-121
Lecture Notes in Computer Science > MICAI 2005: Advances in Artificial Intelligence > Machine Learning and Data Mining > 425-434
Lecture Notes in Computer Science > Service-Oriented Computing > Validation and Verification > 516-530
Lecture Notes in Computer Science > On the Move to Meaningful Internet Systems: OTM 2008 > Business Process Tracing > 337-353
Lecture Notes in Computer Science > Management of Multimedia Networks and Services > Distributed Systems Management > 176-188
IEEE Access > 2016 > 4 > 284 - 298
Journal of Cloud Computing > 2015 > 4 > 1 > 1-16