default search action
ISoLA 2012/2014 Revised Selected Papers
- Anna-Lena Lamprecht:
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. Communications in Computer and Information Science 683, Springer 2016, ISBN 978-3-319-51640-0
ISoLA 2012 Track: Processes and Data Integration in the Networked Healthcare
- Markus Doedt, Thomas Göke, Jan Pardo, Maik Merten:
Rehasport: The Challenge of Small Margin Healthcare Accounting. 3-18
ISoLA 2012 Track: Process-Oriented Geoinformation Systems and Applications
- Erik Borg, Bernd Fichtelmann, Christian Fischer, Hartmut Asche:
Design and Implementation of Data Usability Processor into an Automated Processing Chain for Optical Remote Sensing Data. 21-37 - Marion Simon, Hartmut Asche:
Automated Spatial Data Processing and Refining. 38-49
ISoLA 2014 Tutorial: Automata Learning in Practice
- Johannes Neubauer, Bernhard Steffen:
Learning-Based Cross-Platform Conformance Testing. 53-79
ISoLA 2014 Doctoral Symposium
- Axel Hessenkämper, Barbara Steffen, Steve Boßelmann:
Global Communication Infrastructure: Towards Standardization of Customized Projects via Profile Matching. 83-96 - Frederik Gossen:
Head Pose Normalization for Recognition of Human Identities Using Color and Depth Data. 97-112 - Dennis Kühn, Johannes Neubauer:
Guided Domain-Specific Tailoring of jABC4. 113-127 - Oliver Bauer, Johannes Neubauer, Malte Isberner:
Model-Driven Active Automata Learning with LearnLib Studio. 128-142 - Marc Jasper:
Counterexample-Guided Prefix Refinement Analysis for Program Verification. 143-155
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.