ISoLA (Revised Selected Papers)

Keyphrases

Publications

volume 683, 2016

Leveraging Applications of Formal Methods, Verification, and Validation - 6th International Symposium, ISoLA 2014, Corfu, Greece, October 8-11, 2014, and 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Revised Selected Papers ISoLA (Revised Selected Papers) 683 (2016)

2014

Johannes Neubauer, Bernhard Steffen
Learning-Based Cross-Platform Conformance Testing. ISoLA (Revised Selected Papers) (2014)
Frederik Gossen
Head Pose Normalization for Recognition of Human Identities Using Color and Depth Data. ISoLA (Revised Selected Papers) (2014)
Marc Jasper
Counterexample-Guided Prefix Refinement Analysis for Program Verification. ISoLA (Revised Selected Papers) (2014)
Axel Hessenkämper, Barbara Steffen, Steve Boßelmann
Global Communication Infrastructure: Towards Standardization of Customized Projects via Profile Matching. ISoLA (Revised Selected Papers) (2014)
Dennis Kühn, Johannes Neubauer
Guided Domain-Specific Tailoring of jABC4. ISoLA (Revised Selected Papers) (2014)
Oliver Bauer, Johannes Neubauer, Malte Isberner
Model-Driven Active Automata Learning with LearnLib Studio. ISoLA (Revised Selected Papers) (2014)

2012