Sylvain Hallé

beepbeep complex event processing runtime monitoring event streams runtime verification temporal logic event stream processing web services provenance cornipickle log analysis equivalence class partitioning cep data mining experiments reproducibility labpal xml test case generation bugs java trace validation compliance formal methods stub business processes hyperltl hyperproperties hypercompliance instance-spanning constraints intrusion detection devops information security blockchain hypergraphs boolean condition coverage input generator data generator model-based testing test sequence generation cayley graph bit vectors function circuits explainability responsive design data lineage codeocean benchmark domain-specific languages dsl testing web development web design web applications gui bugs user interface bugs traceability repeatability parallel processing combinatorics equations on words sat solver first-order logic bpm lifecycles business artifact document edoc artifact-centric business process enforcement tarot 2016 monitoring lif nialm activity recognition combinatorial testing pairwise testing filters css web testing dom user interface gui qr code smartphone ltl mapreduce computer science debugging interface contract compensation simulation web service realizability conversation protocol asynchronous communication distributed systems tutorial distributed computing satisfiability ws-fm