Search - IFIP - Lecture Notes in Computer Science Access content directly

Filter your results

4 results
Image document

Term Charters

Alexander Knapp , María Victoria Cengarle
24th International Workshop on Algebraic Development Techniques (WADT), Jul 2018, Egham, United Kingdom. pp.119-138, ⟨10.1007/978-3-030-23220-7_7⟩
Conference papers hal-02364571v1
Image document

Risk-Based Interoperability Testing Using Reinforcement Learning

André Reichstaller , Benedikt Eberhardinger , Alexander Knapp , Wolfgang Reif , Marcel Gehlen
28th IFIP International Conference on Testing Software and Systems (ICTSS), Oct 2016, Graz, Austria. pp.52-69, ⟨10.1007/978-3-319-47443-4_4⟩
Conference papers hal-01643732v1
Image document

Towards Testing Self-organizing, Adaptive Systems

Benedikt Eberhardinger , Hella Seebach , Alexander Knapp , Wolfgang Reif
26th IFIP International Conference on Testing Software and Systems (ICTSS), Sep 2014, Madrid, Spain. pp.180-185, ⟨10.1007/978-3-662-44857-1_13⟩
Conference papers hal-01405285v1
Image document

Designing Domain Specific Languages – A Craftsman’s Approach for the Railway Domain Using Casl

Phillip James , Alexander Knapp , Till Mossakowski , Markus Roggenbach
21th InternationalWorkshop on Algebraic Development Techniques (WADT), Jun 2012, Salamanca, Spain. pp.178-194, ⟨10.1007/978-3-642-37635-1_11⟩
Conference papers hal-01485969v1