Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

ISoLA 2012/2014 Revised Selected Papers

> Home > Conferences and Workshops > ISoLA

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - conf/isola/2014-rev
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isola/2014-rev
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

- view
  authority control:
- export record
  dblp key:
  - conf/isola/DoedtGPM12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isola/DoedtGPM12
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

- view
  authority control:
- export record
  dblp key:
  - conf/isola/BorgFFA12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isola/BorgFFA12
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
- view
  authority control:
- export record
  dblp key:
  - conf/isola/SimonA12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isola/SimonA12
Marion Simon, Hartmut Asche:
Automated Spatial Data Processing and Refining. 38-49

ISoLA 2014 Tutorial: Automata Learning in Practice

- view
  authority control:
- export record
  dblp key:
  - conf/isola/NeubauerS14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isola/NeubauerS14
Johannes Neubauer, Bernhard Steffen:
Learning-Based Cross-Platform Conformance Testing. 53-79

ISoLA 2014 Doctoral Symposium

- view
  authority control:
- export record
  dblp key:
  - conf/isola/HessenkamperSB14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isola/HessenkamperSB14
Axel Hessenkämper, Barbara Steffen, Steve Boßelmann:
Global Communication Infrastructure: Towards Standardization of Customized Projects via Profile Matching. 83-96
- view
  authority control:
- export record
  dblp key:
  - conf/isola/Gossen14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isola/Gossen14
Frederik Gossen:
Head Pose Normalization for Recognition of Human Identities Using Color and Depth Data. 97-112
- view
  authority control:
- export record
  dblp key:
  - conf/isola/KuhnN14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isola/KuhnN14
Dennis Kühn, Johannes Neubauer:
Guided Domain-Specific Tailoring of jABC4. 113-127
- view
  authority control:
- export record
  dblp key:
  - conf/isola/BauerNI14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isola/BauerNI14
Oliver Bauer, Johannes Neubauer, Malte Isberner:
Model-Driven Active Automata Learning with LearnLib Studio. 128-142
- view
  authority control:
- export record
  dblp key:
  - conf/isola/Jasper14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isola/Jasper14
Marc Jasper:
Counterexample-Guided Prefix Refinement Analysis for Program Verification. 143-155

a service of

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.