Science of Computer Programming, Volume 78

Volume 78, Number 1, November 2012

Special Section: Formal Aspects of Component Software (FACS09)

• 
  Sun Meng, Bernhard Schätz:
  Formal Aspects of Component Software (FACS'09). 1-2
• 
  Narges Khakpour, Saeed Jalili, Carolyn L. Talcott, Marjan Sirjani, Mohammad Reza Mousavi:
  Formal modeling of evolving self-adaptive systems. 3-26
• 
  Markus Lumpe:
  Partition refinement of Component Interaction Automata. 27-45
• 
  Carlos Canal, Javier Cámara, Gwen Salaün:
  Structural reconfiguration of systems under behavioral adaptation. 46-64

Regular Articles

• 
  Arturo Zambrano, Johan Fabry, Silvia E. Gordillo:
  Expressing aspectual interactions in requirements engineering: Experiences, problems and solutions. 65-92
• 
  Alireza Khalilian, Mohammad Abdollahi Azgomi, Yalda Fazlalizadeh:
  An improved method for test case prioritization by incorporating historical test case data. 93-116
• 
  Eduardo Kessler Piveta, Ana Moreira, Marcelo Soares Pimenta, João Araújo, Pedro Guerreiro, Roberto Tom Price:
  An empirical study of aspect-oriented metrics. 117-144

Volume 78, Number 2, February 2013

• 
  Dave Clarke, Gul Agha:
  Preface to the special issue on Coordination Models and Languages (Coordination 2010). 145-146
• 
  K. C. Sivaramakrishnan, Mohammad Qudeisat, Lukasz Ziarek, Karthik Nagaraj, Patrick Eugster:
  Efficient sessions. 147-167
• 
  Eline Philips, Ragnhild Van Der Straeten, Viviane Jonckers:
  NOW: Orchestrating services in a nomadic network using a dedicated workflow language. 168-194
• 
  Chien-Liang Fok, Gruia-Catalin Roman, Chenyang Lu:
  Adaptive service provisioning for enhanced energy efficiency and flexibility in wireless sensor networks. 195-217
• 
  Lorenzo Bettini, Ferruccio Damiani, Kathrin Geilmann, Jan Schäfer:
  Combining traits with boxes and ownership types in a Java-like setting. 218-247
• 
  Lucia Acciai, Michele Boreale, Gianluigi Zavattaro:
  Behavioural contracts with request-response operations. 248-267

Volume 78, Number 3, March 2013

Obituary

• 
  Jason Crampton:
  A personal tribute to Steve Barker. 269

Editorial

• 
  Marc Frappier, Uwe Glässer, Sarfraz Khurshid, Régine Laleau, Steve Reeves:
  Abstract State Machines, Alloy, B and Z Selected papers from ABZ 2010. 270-271

Special Issue Papers

• 
  Stefan Hallerstede, Michael Leuschel, Daniel Plagge:
  Validation of formal models by refinement animation. 272-292
• 
  Andrew Ireland, Gudmund Grov, Maria Teresa Llano, Michael J. Butler:
  Reasoned modelling critics: Turning failed proofs into modelling guidance. 293-309
• 
  David Déharbe:
  Integration of SMT-solvers in B and Event-B development environments. 310-326
• 
  Mark C. Reynolds:
  Modeling the Java Bytecode Verifier. 327-342

Volume 78, Number 4, April 2013

Special section on Mutation Testing and Analysis (Mutation 2010)

• 
  Lydie du Bousquet, Jeremy S. Bradbury, Gordon Fraser:
  Special section on Mutation testing (Mutation 2010). 343-344
• 
  John A. Clark, Haitao Dan, Robert M. Hierons:
  Semantic mutation testing. 345-363
• 
  Pedro Reales Mateo, Macario Polo Usaola, Jeff Offutt:
  Mutation at the multi-class and system levels. 364-387

Special section on the Programming Languages track at the 25th ACM Symposium on Applied Computing (SAC 2010)

• 
  Marjan Mernik, Barrett R. Bryant:
  Special issue on the Programming Languages track at the 25th ACM Symposium on Applied Computing. 388-389
• 
  Corneliu Popeea, Wei-Ngan Chin:
  Dual analysis for proving safety and finding bugs. 390-411
• 
  Eduardo Rocha Rodrigues, Philippe Olivier Alexandre Navaux, Jairo Panetta, Celso L. Mendes:
  Preserving the original MPI semantics in a virtualized processor environment. 412-421

Volume 78, Number 5, May 2013

Special section: Principles and Practice of Programming in Java 2009/2010

• 
  Markus Aleksy, Ralf Gitzel, Andreas Krall, Hanspeter Mössenböck, Christian W. Probst, Ben Stephenson:
  Foreword. 423-424
• 
  Guillermo L. Taboada, Sabela Ramos, Roberto R. Expósito, Juan Touriño, Ramon Doallo:
  Java in the High Performance Computing arena: Research, practice and experience. 425-444
• 
  Liangliang Tong, Francis C. M. Lau:
  Skew-space garbage collection. 445-457
• 
  Alan Leung, Ondrej Lhoták, Ghulam Lashari:
  Parallel execution of Java loops on Graphics Processing Units. 458-480
• 
  Thomas Würthinger, Christian Wimmer, Lukas Stadler:
  Unrestricted and safe dynamic code evolution for Java. 481-498
• 
  Matthias Hauswirth, Andrea Adamoli:
  Teaching Java programming with the Informa clicker system. 499-520
• 
  Lorenzo Bettini, Ferruccio Damiani, Ina Schaefer, Fabio Strocco:
  TraitRecordJ: A programming language with traits and records. 521-541

Special section: Self-Organizing Coordination

• 
  Matteo Casadei, Marco Mamei, Ronaldo Menezes:
  Preface to the Special section on Self-Organizing Coordination. 542-543
• 
  Shlomi Dolev, Nir Tzachar:
  Spanders: Distributed spanning expanders. 544-555
• 
  Mirko Viroli:
  On competitive self-composition in pervasive services. 556-568
• 
  Elena Nardini, Andrea Omicini, Mirko Viroli:
  Semantic tuple centres. 569-582
• 
  Conor Muldoon, Gregory M. P. O'Hare, Michael J. O'Grady, Richard Tynan, Niki Trigoni:
  Distributed constraint optimisation for resource limited sensor networks. 583-593
• 
  Linge Bai, Manolya Eyiyurekli, Peter I. Lelkes, David E. Breen:
  Self-organized sorting of heterotypic agents via a chemotaxis paradigm. 594-611

Volume 78, Number 6, June 2013

Special section: The Programming Languages track at the 26th ACM Symposium on Applied Computing (SAC 2011)

• 
  Marjan Mernik, Barrett R. Bryant:
  Special section on the Programming Languages track at the 26th ACM Symposium on Applied Computing. 613-614
• 
  Tom Dinkelaker, Michael Eichberg, Mira Mezini:
  Incremental concrete syntax for embedded languages with support for separate compilation. 615-632
• 
  Mirko Viroli, Jacob Beal, Kyle Usbeck:
  Operational semantics of proto. 633-656
• 
  Mathieu Acher, Philippe Collet, Philippe Lahire, Robert B. France:
  FAMILIAR: A domain-specific language for large scale management of feature models. 657-681

Special section on Agent-oriented Design Methods and Programming Techniques for Distributed Computing in Dynamic and Complex Environments

• 
  Giacomo Cabri, Maria Ganzha:
  Preface to the special section on agent-oriented design methods and programming techniques for distributed computing in dynamic and complex environments. 682-683
• 
  Hoa Khanh Dam, Michael Winikoff:
  Towards a next-generation AOSE methodology. 684-694
• 
  Emilia Garcia, Adriana Giret, Vicente J. Botti:
  A Model-Driven CASE tool for developing and verifying regulated open MAS. 695-704
• 
  Ambra Molesini, Matteo Casadei, Andrea Omicini, Mirko Viroli:
  Simulation in Agent-Oriented Software Engineering: The SODA case study. 705-714
• 
  Guillermo Vigueras, Juan M. Orduña, Miguel Lozano, Yvon Jégou:
  A scalable multiagent system architecture for interactive applications. 715-724
• 
  Giancarlo Fortino, Francesco Rango:
  An application-level technique based on recursive hierarchical state machines for agent execution state capture. 725-746
• 
  Olivier Boissier, Rafael H. Bordini, Jomi Fred Hübner, Alessandro Ricci, Andrea Santi:
  Multi-agent oriented programming with JaCaMo. 747-761
• 
  Sorin Ilie, Costin Badica:
  Multi-agent approach to distributed ant colony optimization. 762-774

Volume 78, Number 7, July 2013

Special section on Formal Methods for Industrial Critical Systems (FMICS 2009 + FMICS 2010)

• 
  María Alpuente, Christophe Joubert, Stefan Kowalewski, Marco Roveri:
  Preface to the special section on Formal Methods for Industrial Critical Systems (FMICS 2009 + FMICS 2010). 775-777
• 
  Sami Evangelista, Lars Michael Kristensen:
  Dynamic state space partitioning for external memory state space exploration. 778-795
• 
  José Bacelar Almeida, Manuel Barbosa, Jorge Sousa Pinto, Bárbara Vieira:
  Formal verification of side-channel countermeasures using self-composition. 796-812
• 
  Alwyn Goodloe, César A. Muñoz:
  Compositional verification of a communication protocol for a remotely operated aircraft. 813-827
• 
  Alessio Ferrari, Alessandro Fantechi, Gianluca Magnani, Daniele Grasso, Matteo Tempestini:
  The Metrô Rio case study. 828-842
• 
  Radu Mateescu, Wendelin Serwe:
  Model checking and performance evaluation with CADP illustrated on shared-memory mutual exclusion protocols. 843-861
• 
  Jörg Brauer, Andy King, Stefan Kowalewski:
  Abstract interpretation of microcontroller code: Intervals meet congruences. 862-883
• 
  Alexei Iliasov, Elena Troubitsyna, Linas Laibinis, Alexander B. Romanovsky, Kimmo Varpaaniemi, Dubravka Ilic, Timo Latvala:
  Developing mode-rich satellite software by refinement in Event-B. 884-905

Special section on Object-Oriented Programming and Systems (OOPS 2009), a special track at the 24th ACM Symposium on Applied Computing

• 
  Davide Ancona:
  Preface to the special section on Object-Oriented Programming and Systems (OOPS 2009), a special track at the 24th ACM Symposium on Applied Computing. 906
• 
  Lorenzo Bettini, Sara Capecchi, Ferruccio Damiani:
  On flexible dynamic trait replacement for Java-like languages. 907-932
• 
  Chieri Saito, Atsushi Igarashi:
  Matching MyType to subtyping. 933-952
• 
  David Lievens, William Harrison:
  Abstraction over implementation structure with symmetrically encapsulated multimethods. 953-968

Volume 78, Number 8, August 2013

Special section on software evolution, adaptability, and maintenance

• 
  Lionel Seinturier, Mark van den Brand:
  Preface to the special section on software evolution, adaptability, and maintenance. 969-970
• 
  Mathieu Goeminne, Tom Mens:
  A comparison of identity merge algorithms for software repositories. 971-986
• 
  Marco Autili, Paolo Di Benedetto, Paola Inverardi:
  A hybrid approach for resource-based comparison of adaptable Java applications. 987-1009
• 
  Miguel A. Laguna, Yania Crespo:
  A systematic mapping study on software product line evolution: From legacy system reengineering to product line refactoring. 1010-1034
• 
  Sébastien Mosser, Mireille Blay-Fornarino:
  "Adore", a logical meta-model supporting business process evolution. 1035-1054
• 
  Jannik Laval, Nicolas Anquetil, Usman Bhatti, Stéphane Ducasse:
  oZone: Layer identification in the presence of cyclic dependencies. 1055-1072
• 
  Juan F. Navas, Jean-Philippe Babau, Jacques Pulou:
  Reconciling run-time evolution and resource-constrained embedded systems through a component-based development framework. 1073-1098
• 
  Heidar Pirzadeh, Sara Shanian, Abdelwahab Hamou-Lhadj, Luay Alawneh, Arya Shafiee:
  Stratified sampling of execution traces: Execution phases serving as strata. 1099-1118

Special section on the Brazilian Symposium on Programming Languages

• 
  André L. M. Santos, João Saraiva:
  Special section on the Brazilian Symposium on Programming Languages. 1119-1120
• 
  Mónica Martínez, Alberto Pardo:
  A shortcut fusion approach to accumulations. 1121-1136
• 
  Henrique Rebêlo, Ricardo Massa Ferreira Lima, Gary T. Leavens, Márcio Cornélio, Alexandre Mota, César A. L. de Oliveira:
  Optimizing generated aspect-oriented assertion checking code for JML using program transformations: An empirical study. 1137-1156
• 
  Fernando Barden Rubbo, Eduardo Kessler Piveta, Daltro José Nunes:
  Inference rules for generic code migration of aspect-oriented programs. 1157-1175
• 
  Rui Shi, Hongwei Xi:
  A linear type system for multicore programming in ATS. 1176-1192
• 
  Leonardo Luiz Padovani da Mata, Fernando Magno Quintão Pereira, Renato Ferreira:
  Automatic parallelization of canonical loops. 1193-1206

Volume 78, Number 9, September 2013

• 
  Jan A. Bergstra:
  Editorial. 1207
• 
  Daniel M. Berry:
  The essential similarity and differences between mathematical modeling and programming. 1208-1211
• 
  Olfa Mraihi, Asma Louhichi, Lamia Labed Jilani, Jules Desharnais, Ali Mili:
  Invariant assertions, invariant relations, and invariant functions. 1212-1239
• 
  Raju Halder, Agostino Cortesi:
  Abstract program slicing on dependence condition graphs. 1240-1263
• 
  Fan Yang, Chris Hankin, Flemming Nielson, Hanne Riis Nielson:
  Predictive access control for distributed computation. 1264-1277
• 
  Lacramioara Astefanoaei, Frank S. de Boer, Mehdi Dastani, John-Jules Ch. Meyer:
  A weakest precondition calculus for BUnity. 1278-1293
• 
  Che-Sheng Lin, Gwan-Hwan Hwang:
  State-cover testing for nondeterministic terminating concurrent programs with an infinite number of synchronization sequences. 1294-1323
• 
  Marcello M. Bonsangue, Georgiana Caltais, Eugen-Ioan Goriac, Dorel Lucanu, Jan J. M. M. Rutten, Alexandra Silva:
  Automatic equivalence proofs for non-deterministic coalgebras. 1324-1345
• 
  Antonella Santone, Gigliola Vaglini, Maria Luisa Villani:
  Incremental construction of systems: An efficient characterization of the lacking sub-system. 1346-1367
• 
  Lukasz Kwiatkowski, Chris Verhoef:
  Recovering management information from source code. 1368-1406
• 
  Irit Hadar:
  When intuition and logic clash: The case of the object-oriented paradigm. 1407-1426
• 
  Elvira Albert, Samir Genaim, Miguel Gómez-Zamalloa:
  Heap space analysis for garbage collected languages. 1427-1448
• 
  Andrew M. Sutton, Jonathan I. Maletic:
  Emulating C++0x concepts. 1449-1469
• 
  Jayaraj Poroor, Bharat Jayaraman:
  Modeling mobile stateful channels in ππZ. 1470-1489
• 
  Patrick Eugster:
  Safe uniform proxies for Java. 1490-1520
• 
  Wim H. Hesselink:
  Complete assertional proof rules for progress under weak and strong fairness. 1521-1537
• 
  Paul Leger, Éric Tanter, Rémi Douence:
  Modular and flexible causality control on the Web. 1538-1558
• 
  Ehsan Atoofian, Amirali Baniasadi, Yvonne Coady:
  ARV-ALA: Improving performance of software transactional memory through adaptive read and write policies. 1559-1571
• 
  Kedian Mu, Zhi Jin, Weiru Liu, Didar Zowghi, Bo Wei:
  Measuring the significance of inconsistency in the Viewpoints framework. 1572-1599
• 
  Ábel Sinkovics, Zoltán Porkoláb:
  Implementing monads for C++ template metaprograms. 1600-1621
• 
  Wim H. Hesselink:
  Mechanical verification of Lamport's Bakery algorithm. 1622-1638
• 
  Fabiano Cutigi Ferrari, Awais Rashid, José Carlos Maldonado:
  Towards the practical mutation testing of AspectJ programs. 1639-1662
• 
  Scott Grant, James R. Cordy, David B. Skillicorn:
  Using heuristics to estimate an appropriate number of latent topics in source code analysis. 1663-1678
• 
  Mingsheng Ying, Nengkun Yu, Yuan Feng, Runyao Duan:
  Verification of quantum programs. 1679-1700
• 
  Hakjoo Oh, Kwangkeun Yi:
  Access-based abstract memory localization in static analysis. 1701-1727
• 
  Hoa Khanh Dam, Aditya Ghose:
  Supporting change impact analysis for intelligent agent systems. 1728-1750

Volume 78, Number 10, October 2013

Special section on Language Descriptions Tools and Applications (LDTA'08 & '09)

• 
  Jurgen J. Vinju:
  Preface to the special section on Language Descriptions Tools and Applications (LDTA'08 & '09). 1751
• 
  Anthony M. Sloane, Lennart C. L. Kats, Eelco Visser:
  A pure embedding of attribute grammars. 1752-1769
• 
  Ralf Lämmel, Simon J. Thompson, Markus Kaiser:
  Programming errors in traversal programs over structured data. 1770-1808
• 
  Emma Söderberg, Torbjörn Ekman, Görel Hedin, Eva Magnusson:
  Extensible intraprocedural flow analysis at the abstract syntax tree level. 1809-1827
• 
  Elizabeth Scott, Adrian Johnstone:
  GLL parse-tree generation. 1828-1844
• 
  Jacob Andersen, Claus Brabrand, David Raymond Christiansen:
  Banana Algebra: Compositional syntactic language extension. 1845-1870
• 
  Michel Chilowicz, Étienne Duris, Gilles Roussel:
  Viewing functions as token sequences to highlight similarities in source code. 1871-1891

Special section on Software Engineering Aspects of Ubiquitous Computing and Ambient Intelligence (UCAmI 2011)

• 
  Diego López-de-Ipiña, Sergio F. Ochoa, José Bravo:
  Preface to the special section on Software Engineering Aspects of Ubiquitous Computing and Ambient Intelligence (UCAmI 2011). 1892-1894
• 
  Tomás Ruiz-López, Manuel Noguera, María José Rodríguez-Fórtiz, José Luis Garrido, Lawrence Chung:
  REUBI: A Requirements Engineering method for ubiquitous systems. 1895-1911
• 
  Sophie Chabridon, Denis Conan, Zied Abid, Chantal Taconet:
  Building ubiquitous QoC-aware applications through model-driven software engineering. 1912-1929
• 
  Alejandro Catalá, Patricia Pons, Javier Jaén Martínez, José A. Mocholí, Elena Navarro:
  A meta-model for dataflow-based rules in smart environments: Evaluating user comprehension and performance. 1930-1950
• 
  Coen De Roover, Christophe Scholliers, Wouter Amerijckx, Theo D'Hondt, Wolfgang De Meuter:
  CrimeSPOT: A language and runtime for developing active wireless sensor network applications. 1951-1970
• 
  Alejandro Paz-Lopez, Gervasio Varela, José Antonio Becerra, Santiago Vazquez-Rodriguez, Richard J. Duro:
  Towards ubiquity in ambient intelligence: User-guided component mobility in the HI³ architecture. 1971-1986
• 
  Miriam Gil, Estefanía Serral, Pedro Valderas, Vicente Pelechano:
  Designing for user attention: A method for supporting unobtrusive routine tasks. 1987-2008
• 
  Juan Rodríguez-Covili, Sergio F. Ochoa:
  A lightweight and distributed middleware to provide presence awareness in mobile ubiquitous systems. 2009-2025

Volume 78, Number 11, November 2013

Special section on Mathematics of Program Construction (MPC 2010)

• 
  Jules Desharnais:
  Mathematics of Program Construction (selected papers from MPC 2010). 2027-2028
• 
  Roland Carl Backhouse, Wei Chen, João F. Ferreira:
  The algorithmics of solitaire-like games. 2029-2046
• 
  Brijesh Dongol, Ian J. Hayes:
  Deriving real-time action systems in a sampling logic. 2047-2063
• 
  Walter Guttmann:
  Extended designs algebraically. 2064-2085
• 
  Ian J. Hayes, Steve Dunne, Larissa Meinicke:
  Linking Unifying Theories of Program refinement. 2086-2107
• 
  Ralf Hinze:
  Adjoint folds and unfolds - An extended study. 2108-2159
• 
  Hugo Daniel Macedo, José Nuno Oliveira:
  Typing linear algebra: A biproduct-oriented approach. 2160-2191
• 
  Milad Niqui, Jan J. M. M. Rutten:
  Stream processing coalgebraically. 2192-2215
• 
  Meng Wang, Jeremy Gibbons, Kazutaka Matsuda, Zhenjiang Hu:
  Refactoring pattern matching. 2216-2242

Special section on methodological development of interactive systems from Interaccion 2011

• 
  Julio Abascal, Nestor Garay-Vitoria:
  Special section on methodological development of interactive systems from Interacción 2011. 2243-2244
• 
  Nelly Condori-Fernández, José Ignacio Panach, Arthur Iwan Baars, Tanja E. J. Vos, Oscar Pastor:
  An empirical approach for evaluating the usability of model-driven tools. 2245-2258
• 
  Jose Figueroa Martinez, Víctor López-Jaquero, Francisco Luis Gutiérrez Vela, Pascual González:
  Enriching UsiXML language to support awareness requirements. 2259-2267
• 
  Begoña Losada, Maite Urretavizcaya, Isabel Fernández-Castro:
  A guide to agile development of interactive software with a "User Objectives"-driven methodology. 2268-2281
• 
  Luis A. Rojas, José A. Macías:
  Bridging the gap between information architecture analysis and software engineering in interactive web application development. 2282-2291

Volume 78, Number 12, December 2013

Special Section on International Software Product Line Conference 2010

• 
  Jan Bosch, Jaejoon Lee:
  Software product lines (SPLC 2010). 2293-2294
• 
  Ahmet Serkan Karatas, Halit Oguztüzün, Ali H. Dogru:
  From extended feature models to constraint logic programming. 2295-2312
• 
  Herman Hartmann, Mila Keren, Aart A. J. Matsinger, Julia Rubin, Tim Trew, Tali Yatzkar-Haham:
  Using MDA for integration of heterogeneous components in software supply chains. 2313-2330
• 
  Naoyasu Ubayashi, Shin Nakajima, Masayuki Hirayama:
  Context-dependent product line engineering with lightweight formal approaches. 2331-2346
• 
  Ulrik Eklund, Håkan Gustavsson:
  Architecting automotive product lines: Industrial practice. 2347-2359
• 
  Dharmalingam Ganesan, Mikael Lindvall, David McComas, Maureen Bartholomew, Steve Slegel, Barbara Medina, René L. Krikhaar, Chris Verhoef, Lisa P. Montgomery:
  An analysis of unit tests of a flight software product line. 2360-2380
• 
  Fabiana Gomes Marinho, Rossana M. C. Andrade, Cláudia M. L. Werner, Windson Viana, Marcio E. F. Maia, Lincoln S. Rocha, Eldânae Teixeira, João Bosco Ferreira Filho, Valéria Lelli Leitão Dantas, Fabrício Lima, Saulo B. de Aguiar:
  MobiLine: A Nested Software Product Line for the domain of mobile and context-aware applications. 2381-2398
• 
  Carlos Cetina, Pau Giner, Joan Fons, Vicente Pelechano:
  Prototyping Dynamic Software Product Lines to evaluate run-time reconfigurations. 2399-2413
• 
  André Heuer, Vanessa Stricker, Christof J. Budnik, Sascha Konrad, Kim Lauenroth, Klaus Pohl:
  Defining variability in activity diagrams and Petri nets. 2414-2432

Special section - Fundamentals of Software Engineering (selected papers of FSEN 2011)

• 
  Farhad Arbab, Marjan Sirjani:
  Fundamentals of Software Engineering (selected papers of FSEN 2011). 2433-2434
• 
  Yi-Ling Hwong, Jeroen J. A. Keiren, Vincent J. J. Kusters, Sander J. J. Leemans, Tim A. C. Willemse:
  Formalising and analysing the control software of the Compact Muon Solenoid Experiment at the Large Hadron Collider. 2435-2452
• 
  Minyoung Kim, Mark-Oliver Stehr, Carolyn L. Talcott:
  A distributed logic for Networked Cyber-Physical Systems. 2453-2467
• 
  Luca Aceto, Ignacio Fábregas, David de Frutos-Escrig, Anna Ingólfsdóttir, Miguel Palomino:
  On the specification of modal systems: A comparison of three frameworks. 2468-2487
• 
  Christian Lambertz, Mila E. Majster-Cederbaum:
  Efficient deadlock analysis of component-based software architectures. 2488-2510
• 
  Hallstein Asheim Hansen, Gerardo Schneider, Martin Steffen:
  Reachability analysis of complex planar hybrid systems. 2511-2536
• 
  Yuxin Deng, Matthew Hennessy:
  Compositional reasoning for weighted Markov decision processes. 2537-2579