Abstract is missing.
- Evolving Critical Systems - Track IntroductionMike Hinchey, Tiziana Margaria. 1-3 [doi]
- Statistical Abstraction Boosts Design and Test Efficiency of Evolving Critical SystemsAxel Legay, Sean Sedwards. 4-25 [doi]
- Combinatory Logic SynthesizerJan Bessai, Andrej Dudenhefner, Boris Düdder, Moritz Martens, Jakob Rehof. 26-40 [doi]
- Incremental Syntactic-Semantic Reliability Analysis of Evolving Structured WorkflowsDomenico Bianculli, Antonio Filieri, Carlo Ghezzi, Dino Mandrioli. 41-55 [doi]
- Prototype-Driven Development of Web Applications with DyWAJohannes Neubauer, Markus Frohme, Bernhard Steffen, Tiziana Margaria. 56-72 [doi]
- Domain-Specific Languages for Enterprise SystemsJesper Andersen, Patrick Bahr, Fritz Henglein, Tom Hvitved. 73-95 [doi]
- Introduction to "Rigorous Engineering of Autonomic Ensembles"- Track IntroductionMartin Wirsing, Rocco De Nicola, Matthias M. Hölzl. 96-98 [doi]
- Helena@Work: Modeling the Science Cloud PlatformAnnabelle Klarl, Philip Mayer, Rolf Hennicker. 99-116 [doi]
- Formalizing Self-adaptive Clouds with KnowLangEmil Vassev, Mike Hinchey, Philip Mayer. 117-130 [doi]
- Towards Performance-Aware Engineering of Autonomic Component EnsemblesTomás Bures, Vojtech Horky, Michal Kit, Lukás Marek, Petr Tuma. 131-146 [doi]
- Self-expression and Dynamic Attribute-Based Ensembles in SCELGiacomo Cabri, Nicola Capodieci, Luca Cesari, Rocco De Nicola, Rosario Pugliese, Francesco Tiezzi, Franco Zambonelli. 147-163 [doi]
- On Programming and Policing Autonomic Computing SystemsMichele Loreti, Andrea Margheri, Rosario Pugliese, Francesco Tiezzi. 164-183 [doi]
- Rigorous System Design Flow for Autonomous SystemsSaddek Bensalem, Marius Bozga, Jacques Combaz, Ahlem Triki. 184-198 [doi]
- Learning Models for Verification and Testing - Special Track at ISoLA 2014 Track IntroductionFalk Howar, Bernhard Steffen. 199-201 [doi]
- Algorithms for Inferring Register Automata - A Comparison of Existing ApproachesFides Aarts, Falk Howar, Harco Kuppens, Frits W. Vaandrager. 202-219 [doi]
- Active Learning of Nondeterministic Systems from an ioco PerspectiveMichele Volpato, Jan Tretmans. 220-235 [doi]
- Verification of GUI Applications: A Black-Box ApproachStephan Arlt, Evren Ermis, Sergio Feo Arenis, Andreas Podelski. 236-252 [doi]
- Fomal Methods and Analyses in Software Product Line Engineering - (Track Summary)Ina Schaefer, Maurice H. ter Beek. 253-256 [doi]
- A Core Language for Separate Variability ModelingAlexandru F. Iosif-Lazar, Ina Schaefer, Andrzej Wasowski. 257-272 [doi]
- Domain Specific Languages for Managing Feature Models: Advances and ChallengesPhilippe Collet. 273-288 [doi]
- Delta-Trait Programming of Software Product LinesFerruccio Damiani, Ina Schaefer, Sven Schuster, Tim Winkelmann. 289-303 [doi]
- Deployment Variability in Delta-Oriented ModelsEinar Broch Johnsen, Rudolf Schlatte, Silvia Lizeth Tapia Tarifa. 304-319 [doi]
- DeltaCCS: A Core Calculus for Behavioral ChangeMalte Lochau, Stephan Mennicke, Hauke Baller, Lars Ribbeck. 320-335 [doi]
- Coverage Criteria for Behavioural Testing of Software Product LinesXavier Devroey, Gilles Perrouin, Axel Legay, Maxime Cordy, Pierre-Yves Schobbens, Patrick Heymans. 336-350 [doi]
- Challenges in Modelling and Analyzing Quantitative Aspects of Bike-Sharing SystemsMaurice H. ter Beek, Alessandro Fantechi, Stefania Gnesi. 351-367 [doi]
- Towards Modular Verification of Software Product Lines with mCRL2Maurice H. ter Beek, Erik P. de Vink. 368-385 [doi]
- Model-Based Code-Generators and Compilers - Track IntroductionUwe Aßmann, Jens Knoop, Wolf Zimmermann. 386-390 [doi]
- DSL Implementation for Model-Based Development of PumpsChristian Berg, Wolf Zimmermann. 391-406 [doi]
- Building Code Generators for DSLs Using a Partial Evaluator for the Xtend LanguageKlaus Birken. 407-424 [doi]
- Back-To-Back Testing of Model-Based Code GeneratorsSven Jörges, Bernhard Steffen. 425-444 [doi]
- Rewriting Object Models With Cycles and Nested Collections - A Model-Based Metaprogramming ProblemMarkus Lepper, Baltasar Trancón-y-Widemann. 445-460 [doi]
- Compiling SCCharts - A Case-Study on Interactive Model-Based CompilationChristian Motika, Steven Smyth, Reinhard von Hanxleden. 461-480 [doi]
- Domain-Specific Code Generator Modeling: A Case Study for Multi-faceted Concurrent SystemsStefan Naujokat, Louis-Marie Traonouez, Malte Isberner, Bernhard Steffen, Axel Legay. 481-498 [doi]
- Tutorial: Automata Learning in PracticeFalk Howar, Malte Isberner, Bernhard Steffen. 499-513 [doi]