![](https://dblp.org/img/logo.ua.320x120.png)
![](https://dblp.org/img/dropdown.dark.16x16.png)
![](https://dblp.org/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.org/img/search.dark.16x16.png)
![search dblp](https://dblp.org/img/search.dark.16x16.png)
default search action
ISoLA 2014: Corfu, Greece
- Tiziana Margaria
, Bernhard Steffen:
Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change - 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part I. Lecture Notes in Computer Science 8802, Springer 2014, ISBN 978-3-662-45233-2
Evolving Critical Systems
- Mike Hinchey, Tiziana Margaria:
Evolving Critical Systems - Track Introduction. 1-3 - Axel Legay, Sean Sedwards:
Statistical Abstraction Boosts Design and Test Efficiency of Evolving Critical Systems. 4-25 - Jan Bessai, Andrej Dudenhefner
, Boris Düdder
, Moritz Martens, Jakob Rehof:
Combinatory Logic Synthesizer. 26-40 - Domenico Bianculli, Antonio Filieri
, Carlo Ghezzi, Dino Mandrioli:
Incremental Syntactic-Semantic Reliability Analysis of Evolving Structured Workflows. 41-55 - Johannes Neubauer, Markus Frohme, Bernhard Steffen, Tiziana Margaria:
Prototype-Driven Development of Web Applications with DyWA. 56-72 - Jesper Andersen, Patrick Bahr
, Fritz Henglein, Tom Hvitved:
Domain-Specific Languages for Enterprise Systems. 73-95
Rigorous Engineering of Autonomic Ensembles
- Martin Wirsing, Rocco De Nicola
, Matthias M. Hölzl:
Introduction to "Rigorous Engineering of Autonomic Ensembles"- Track Introduction. 96-98 - Annabelle Klarl, Philip Mayer, Rolf Hennicker:
Helena@Work: Modeling the Science Cloud Platform. 99-116 - Emil Vassev, Mike Hinchey, Philip Mayer:
Formalizing Self-adaptive Clouds with KnowLang. 117-130 - Tomás Bures, Vojtech Horký, Michal Kit, Lukás Marek, Petr Tuma
:
Towards Performance-Aware Engineering of Autonomic Component Ensembles. 131-146 - Giacomo Cabri, Nicola Capodieci, Luca Cesari, Rocco De Nicola
, Rosario Pugliese, Francesco Tiezzi, Franco Zambonelli:
Self-expression and Dynamic Attribute-Based Ensembles in SCEL. 147-163 - Michele Loreti, Andrea Margheri, Rosario Pugliese, Francesco Tiezzi:
On Programming and Policing Autonomic Computing Systems. 164-183 - Saddek Bensalem, Marius Bozga, Jacques Combaz, Ahlem Triki:
Rigorous System Design Flow for Autonomous Systems. 184-198
Automata Learning
- Falk Howar, Bernhard Steffen:
Learning Models for Verification and Testing - Special Track at ISoLA 2014 Track Introduction. 199-201 - Fides Aarts, Falk Howar
, Harco Kuppens, Frits W. Vaandrager:
Algorithms for Inferring Register Automata - A Comparison of Existing Approaches. 202-219 - Michele Volpato, Jan Tretmans:
Active Learning of Nondeterministic Systems from an ioco Perspective. 220-235 - Stephan Arlt, Evren Ermis, Sergio Feo-Arenis, Andreas Podelski:
Verification of GUI Applications: A Black-Box Approach. 236-252
Formal Methods and Analysis in Software Product Line Engineering
- Ina Schaefer, Maurice H. ter Beek:
Fomal Methods and Analyses in Software Product Line Engineering - (Track Summary). 253-256 - Alexandru F. Iosif-Lazar, Ina Schaefer, Andrzej Wasowski
:
A Core Language for Separate Variability Modeling. 257-272 - Philippe Collet:
Domain Specific Languages for Managing Feature Models: Advances and Challenges. 273-288 - Ferruccio Damiani, Ina Schaefer, Sven Schuster, Tim Winkelmann:
Delta-Trait Programming of Software Product Lines. 289-303 - Einar Broch Johnsen, Rudolf Schlatte
, Silvia Lizeth Tapia Tarifa:
Deployment Variability in Delta-Oriented Models. 304-319 - Malte Lochau, Stephan Mennicke
, Hauke Baller, Lars Ribbeck:
DeltaCCS: A Core Calculus for Behavioral Change. 320-335 - Xavier Devroey, Gilles Perrouin, Axel Legay, Maxime Cordy, Pierre-Yves Schobbens
, Patrick Heymans:
Coverage Criteria for Behavioural Testing of Software Product Lines. 336-350 - Maurice H. ter Beek, Alessandro Fantechi, Stefania Gnesi:
Challenges in Modelling and Analyzing Quantitative Aspects of Bike-Sharing Systems. 351-367 - Maurice H. ter Beek, Erik P. de Vink:
Towards Modular Verification of Software Product Lines with mCRL2. 368-385
Model-Based Code Generators and Compilers
- Uwe Aßmann
, Jens Knoop, Wolf Zimmermann:
Model-Based Code-Generators and Compilers - Track Introduction. 386-390 - Christian Berg, Wolf Zimmermann:
DSL Implementation for Model-Based Development of Pumps. 391-406 - Klaus Birken:
Building Code Generators for DSLs Using a Partial Evaluator for the Xtend Language. 407-424 - Sven Jörges, Bernhard Steffen:
Back-To-Back Testing of Model-Based Code Generators. 425-444 - Markus Lepper, Baltasar Trancón y Widemann:
Rewriting Object Models With Cycles and Nested Collections - A Model-Based Metaprogramming Problem. 445-460 - Christian Motika, Steven Smyth, Reinhard von Hanxleden:
Compiling SCCharts - A Case-Study on Interactive Model-Based Compilation. 461-480 - Stefan Naujokat
, Louis-Marie Traonouez, Malte Isberner
, Bernhard Steffen, Axel Legay:
Domain-Specific Code Generator Modeling: A Case Study for Multi-faceted Concurrent Systems. 481-498
Tutorial: Automata Learning in Practice
- Falk Howar
, Malte Isberner
, Bernhard Steffen:
Tutorial: Automata Learning in Practice. 499-513
![](https://dblp.org/img/cog.dark.24x24.png)
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.