Lecture Notes in Computer Science 8454
|
|
- Susan Griffith
- 5 years ago
- Views:
Transcription
1 Lecture Notes in Computer Science 8454 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University, UK Takeo Kanade Carnegie Mellon University, Pittsburgh, PA, USA Josef Kittler University of Surrey, Guildford, UK Jon M. Kleinberg Cornell University, Ithaca, NY, USA Alfred Kobsa University of California, Irvine, CA, USA Friedemann Mattern ETH Zurich, Switzerland John C. Mitchell Stanford University, CA, USA Moni Naor Weizmann Institute of Science, Rehovot, Israel Oscar Nierstrasz University of Bern, Switzerland C. Pandu Rangan Indian Institute of Technology, Madras, India Bernhard Steffen TU Dortmund University, Germany Demetri Terzopoulos University of California, Los Angeles, CA, USA Doug Tygar University of California, Berkeley, CA, USA Gerhard Weikum Max Planck Institute for Informatics, Saarbruecken, Germany
2 Laurent George Tullio Vardanega (Eds.) Reliable Software Technologies Ada-Europe th Ada-Europe International Conference on Reliable Software Technologies Paris, France, June 23-27, 2014 Proceedings 13
3 Volume Editors Laurent George University of Paris-Est Champs sur Marne, France Tullio Vardanega University of Padua, Italy ISSN e-issn ISBN e-isbn DOI / Springer Cham Heidelberg New York Dordrecht London Library of Congress Control Number: LNCS Sublibrary: SL 2 Programming and Software Engineering Springer International Publishing Switzerland 2014 This work is subject to copyright. All rights are reserved by the Publisher, whether the whole or part of the material is concerned, specifically the rights of translation, reprinting, reuse of illustrations, recitation, broadcasting, reproduction on microfilms or in any other physical way, and transmission or information storage and retrieval, electronic adaptation, computer software, or by similar or dissimilar methodology now known or hereafter developed. Exempted from this legal reservation are brief excerpts in connection with reviews or scholarly analysis or material supplied specifically for the purpose of being entered and executed on a computer system, for exclusive use by the purchaser of the work. Duplication of this publication or parts thereof is permitted only under the provisions of the Copyright Law of the Publisher s location, in ist current version, and permission for use must always be obtained from Springer. Permissions for use may be obtained through RightsLink at the Copyright Clearance Center. Violations are liable to prosecution under the respective Copyright Law. The use of general descriptive names, registered names, trademarks, service marks, etc. in this publication does not imply, even in the absence of a specific statement, that such names are exempt from the relevant protective laws and regulations and therefore free for general use. While the advice and information in this book are believed to be true and accurate at the date of publication, neither the authors nor the editors nor the publisher can accept any legal responsibility for any errors or omissions that may be made. The publisher makes no warranty, express or implied, with respect to the material contained herein. Typesetting: Camera-ready by author, data conversion by Scientific Publishing Services, Chennai, India Printed on acid-free paper Springer is part of Springer Science+Business Media (
4 Preface The 19 th edition of the International Conference on Reliable Software Technologies (Ada-Europe 2014) took place in the fascinating venue of Paris, graciously hosted by the École d Ingénieurs, ECE, on their spectacular campus very close to the Eiffel Tower. With this edition, the conference returned to France for the third time after Toulouse in 2003 and Brest in Two other countries have hosted the conference three times since its inception: Spain (Santander, 1999, Palma de Mallorca, 2004, and Valencia, 2010), and the UK (London, 1997, York, 2005, and Edinburgh, 2011). Three countries hosted it twice: Switzerland (Montreux, for the inauguration in 1996, and Geneva, 2007), Sweden (Uppsala, 1998, and Stockholm, 2012), and Germany (Potsdam, 2000, and Berlin, 2013). Four countries have their hosting counter still at one: Belgium (Leuven, 2001), Austria (Vienna, 2002), Portugal (Porto, 2006) and Italy (Venice, 2008). The conference series is run and sponsored by Ada-Europe, in collaboration with local organizers, whenever possible (and luckily, often enough) representing the local Ada communities. This was the case this year, with Ada-France leading the organizing team, with precious reinforcement from members of the host institution, ECE. There were two main reasons for the conference to come to Paris. One was to facilitate an encounter between the vast industrial pole based around Paris and the 2012 revision of the Ada language standard, which makes it especially attractive where reliability is a factor. The other was to start the celebrations of the 20 th anniversary of the first validation of GNAT, which actually happened in 1995, before building a home in Paris after its birth in New York. These celebrations will peak in 2015, in nice sync with the 20 th anniversary of the conference series. The conference took place during June 23-27, 2014, featuring a rich and attractive program on both technical and social grounds. In building the program, the organizers had to choose from 68 submissions, 37 of which were for peer-reviewed papers, 12 for industrial papers, 16 for tutorials, and three for workshops. Out of this healthy batch of material, ten tutorials for the equivalent of 12 half-day sessions were scheduled on Monday and Friday, together with two full-day workshops on themes of high relevance to industrial research, one on the engineering of Dependable Cyber-Physical Systems (Monday), and the other on Mixed-Criticality Systems. The core program, run from Tuesday to Thursday, included three keynote talks, 12 presentations from peer-reviewed papers, six industrial presentations, three experience reports positioned between industry and research, one vendor session with an accompanying industrial exhibition, and a retrospective session on the first 20 years of GNAT and its ecosystem. On the Wednesday of the conference week, Ada-France also organized a special event dedicated to presenting Ada 2012 to high-ranking members of French industry.
5 VI Preface The proceedings contained in this volume cover two of the three keynote talks that opened each day of the core conference program, and the full set of peerreviewed papers. The remainder of the conference proceedings were published, in successive instalments, in the Ada User Journal, the quarterly magazine of Ada-Europe. Lessons Learned and Easily Forgotten, Robert Lainé, SPACINOV, France, delivered insights drawn from over 40 years of experience in leading large space projects. From ARTEMIS to ECSEL: Growing a Large Eco-System for High- Dependability Systems, Alun Foster, ARTEMIS, Belgium, gave testimony of the power of larger-scale collaborative research, and the importance of the public private partnership model for R&D investments. Future Challenges in Design Tools and Frameworks for Embedded Systems; Application to Intelligent Transportation Systems, Mohamed Shawky, Université de Technologie Compiègne, France, presented a synopsis of the new challenges that future designers and tool developers for intelligent transportation systems will face in the near future. Submissions to the peer-reviewed track of the conference program came from 18 countries and 87 distinct authors, from Europe, Asia, Australia, North America, and Africa. The selection was very competitive and resulted in the making of four technical sessions, all covered in this volume, on topics ranging from formal verification to real-time scheduling via Ada technology and critical applications. The tutorial program covered a rich spectrum of topics in close match with the central themes of the conference, as follows: Proving Safety of Parallel/Multi-Threaded Programs, Tucker Taft, AdaCore, USA Multicore Programming Using Divide-and-Conquer and Work Stealing,Tucker Taft, AdaCore, USA Debugging Real-Time Systems, Ian Broster and Andrew Coombes, Rapita Systems, UK Developing Mixed-Criticality Systems with GNAT/ORK and Xtratum, Alfons Crespo, Alejandro Alonso, and Jon Perez, Universidad Politècnica de València, Universidad Politécnica de Madrid, IKERLAN, Spain High-Integrity Object-Oriented Programming with Ada 2012, Ben Brosgol, AdaCore, USA Ada 2012 (Sub)type and Subprogram Contracts in Practice, Jacob Sparre- Andersen, JSA R&I, Denmark Technical Basis of Model-Driven Engineering, William Bail, MITRE, USA An Overview of Software Testing with an Emphasis on Statistical Testing, William Bail, MITRE, USA Robotic Programming, Lars Asplund, Asplund Data AB, Sweden Introduction to Verification with SPARK 2014, Rod Chapman and Yannick Moy, Altran, UK, and AdaCore, France.
6 Preface VII The industrial session featured six presentations centered on various aspects of reliable software development: From Ada 83 to Ada 2012, Philippe Gast and David Lesens, Astrium EADS, France Test Means at Airbus Defence and Space, Military Aircraft Business Line: Making Ada the Heart of an All Encompassing Aircraft Test Life Cycle, Javier Arroyo and Bartolome Lozano, Airbus Defence and Space, Spain PolarSys: Open Source Tools for Embedded Systems, and Use Cases, Gael Blondelle, Pierre Gaufillet and Silvia Mazzini, Eclipse Foundation, France, Airbus, France, Intecs, Italy Agile Software Development Compliant to Safety Standards?, Christian Scholz, Thales Transportation Systems GmbH, Germany Critical Software for the First European Rail Traffic Management System, Ana Rodriguez, Silver Atena, Spain AdDoc (Beyond a Document Generator), Robert Cholay, Systerel, France. The program also included an experience report session, which contained the following presentations: Modified Condition/Decision Coverage (MC/DC) of Ada Case Statements, Antoine Colin, Roger Braff and Andrew Coombes, Rapita Systems, UK Privacy Leaks in Java Classes, Jacob Sparre Andersen, JSA R&I, Denmark Experience in Spacecraft On Board Software Development, Juan Antonio de La Puente, Alejandro Alonso, Juan Zamorano, Jorge Garrido, Emilio Salazar and Miguel A. De Miguel, Universidad Politécnica de Madrid, Spain. Before closing this preface, we must acknowledge those who, serving in various roles some in the foreground, others in the background were central to the making of the conference program. The first to deserve gratitude are the authors of all presentations: They had a large take in the success of the event. Next come the members of the Program Committee their reviewing and advising were essential to achieving a high standard of quality in the conference proceedings, in its various guises Springer s LNCS for the peer-reviewed papers, and the Ada User Journal for the industrial presentations and the workshops. A smaller group of people ran, for a full year, the preparation, construction and execution of the conference program: Local Chair Magali Munoz; Conference Chair Jean-Pierre Rosen; Industrial Chair Jørgen Bundgaard; Publicity Chair Dirk Craeynest; Exhibition Co-chairs Jamie Ayre and Guillaume Foliard; Tutorial Co-chairs Liliana Cucu and Albert Llemosì; Finance Chair Paul Duquennoy. They all deserve a big thank you. We hope that the attendees enjoyed the conference, in both its technical and social program, as much as we did in organizing it. June 2014 Laurent George Tullio Vardanega
7 Organization Conference Chair Jean-Pierre Rosen, Ada-France Finance Chair Paul Duquennoy, Ada-France Program Co-chairs Laurent George Tullio Vardanega University of Paris-Est, Marne La Vallée, France University of Padua, Italy Industrial Chair Jørgen Bundgaard Ramboll, Denmark Tutorial Co-chairs Liliana Cucu Albert Llemosì Inria, France Universitat des Illes Balears, Spain Exhibition Co-chairs Jamie Ayre Guillaume Foliard AdaCore, France Thales, France Publicity Chair Dirk Craeynest Aubay Belgium & K.U. Leuven, Belgium Local Chair Magali Munoz ECE, France
8 X Organization Sponsoring Institutions AdaCore Altran Rapita Systems Ltd Squoring TNI Ellidiss Software Program Committee Mario Aldea Ted Baker Johann Blieberger Bernd Burgstaller Maryline Chetto Liliana Cucu Christian Fraboul Laurent George Xavier Grave Emmanuel Grolleau Jérôme Hugues Albert Llemosí Kristina Lundqvist Franco Mazzanti John McCormick Stephen Michell Laurent Pautet Luís Miguel Pinho Erhard Plödereder Juan A. de la Puente Jorge Real José Ruiz Sergio Sáez Amund Skavhaug Yves Sorel Tucker Taft Theodor Tempelmeier Elena Troubitsyna Tullio Vardanega Juan Zamorano Universidad de Cantabria, Spain US National Science Foundation, USA Technische Universität Wien, Austria Yonsei University, Korea University of Nantes, France Inria, France ENSEEIHT, France LIGM/UPEMLV ECE Paris, France Centre National de la Recherche, France ENSMA, France ISAE Toulouse, France Universitat de les Illes Balears, Spain Mälardalen University, Sweden ISTI-CNR Pisa, Italy University of Northern Iowa, USA Maurya Software, Canada Telecom ParisTech, France CISTER Research Centre/ISEP, Portugal Universität Stuttgart, Germany Universidad Politécnica de Madrid, Spain Universitat Politécnica de València, Spain AdaCore, France Universidad Politécnica de Valencia, Spain NTNU, Norway Inria, France AdaCore, USA University of Applied Sciences Rosenheim, Germany Âbo Akademi University, Finland University of Padova, Italy Universidad Politécnica de Madrid, Spain
9 Organization XI Industrial Committee Jacob Sparre Andersen Roger Brandt Ian Broster Jørgen Bundgaard Dirk Craeynest Peter Dencker Ismael Lafoz Maria del Carmen Lomba Sorrondegui Ahlan Marriott Robin Messer Quentin Ochem Steen Palm Paolo Panaroni Paul Parkinson Ana Rodriguez Jean-Pierre Rosen Alok Srivastava Jean-Loup Terraillon Rod White JSA Consulting, Denmark Roger Brandt IT Konsult AB, Sweden Rapita Systems, UK Rambøll Denmark A/S, Denmark Ada-Belgium & KU Leuven, Belgium ETAS GmbH, Germany Airbus Military, Spain GMV, Spain White Elephant, Switzerland Altran-Praxis, UK AdaCore, France Terma, Denmark Intecs, Italy Wind River, UK Silver-Atena, Spain Adalog, France TASC, USA Claus Stellwag, Elektrobit AG, Germany European Space Agency, The Netherlands MBDA, UK
10 Table of Contents Keynotes Lessons Learned and Easily Forgotten... 1 Robert Lainé Future Challenges in Design Frameworks for Embedded Systems: Application to Intelligent Transportation Systems... 7 Mohamed Shawky Formal Methods Rigorous Development of Fault-Tolerant Systems through Co-refinement Ilya Lopatkin and Alexander Romanovsky Kronecker Algebra for Static Analysis of Ada Programs with Protected Objects Bernd Burgstaller and Johann Blieberger A TASM-Based Requirements Validation Approach for Safety-Critical Embedded Systems Jiale Zhou, Yue Lu, and Kristina Lundqvist Uses of Ada Towards a Runtime Verification Framework for the Ada Programming Language André de Matos Pedro, David Pereira, Luís Miguel Pinho, and Jorge Sousa Pinto Reliable Handling of Real-Time Scheduling Attributes on Multiprocessor Platforms in Ada Sergio Sáez, Jorge Real, and Alfons Crespo Parallelism in Ada: Status and Prospects Luís Miguel Pinho, Brad Moore, and Stephen Michell Real-Time Scheduling Deadline-Aware Programming and Scheduling Alan Burns and Andy Wellings
11 XIV Table of Contents Schedulability Analysis for Directed Acyclic Graphs on Multiprocessor Systems at a Subtask Level Manar Qamhieh and Serge Midonnet Integrated Schedulers for a Predictable Interrupt Management on Real-Time Kernels Sergio Sáez and Alfons Crespo Applications PDP 4PS : Periodic-Delayed Protocol for Partitioned Systems Antoine Jaouën, Etienne Borde, Laurent Pautet, and Thomas Robert OBUs Development and Maintenance of a Train Control System for Low Density Traffic Lines Gerhard Hanis and Burkhard Stadlmann Practical Formal Methods in Railways - The SafeCap Approach Alexei Iliasov, Ilya Lopatkin, and Alexander Romanovsky Author Index
Lecture Notes in Computer Science 7007
Lecture Notes in Computer Science 7007 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University,
More informationLecture Notes in Computer Science 7896
Lecture Notes in Computer Science 7896 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University,
More informationLecture Notes in Computer Science 4006
Lecture Notes in Computer Science 4006 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University,
More informationLecture Notes in Computer Science 4409
Lecture Notes in Computer Science 4409 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University,
More informationLecture Notes in Computer Science 3511
Lecture Notes in Computer Science 3511 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University,
More informationLecture Notes in Computer Science 4498
Lecture Notes in Computer Science 4498 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University,
More informationLecture Notes in Computer Science 7480
Lecture Notes in Computer Science 7480 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University,
More informationLecture Notes in Computer Science 4454
Lecture Notes in Computer Science 4454 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University,
More informationOutstanding Ada Community Contribution Award
SIGAda Awards 2014 Outstanding Ada Community Contribution Award Peter Amey Christine Anderson Ted Baker John Barnes Mordechai Ben Ari Grady Booch Kenneth L. Bowles Ben Brosgol Randy Brukardt Alan Burns
More informationLecture Notes in Computer Science 4728
Lecture Notes in Computer Science 4728 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University,
More informationEmotional Engineering Volume 5
Emotional Engineering Volume 5 Editor Emotional Engineering Volume 5 123 Editor Keio University Minato, Tokyo Japan ISBN 978-3-319-53194-6 ISBN 978-3-319-53195-3 (ebook) DOI 10.1007/978-3-319-53195-3 Library
More informationLecture Notes in Computer Science 6663
Lecture Notes in Computer Science 6663 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University,
More informationThe Archaeology of Anxiety
The Archaeology of Anxiety Jeffrey Fleisher Neil Norman Editors The Archaeology of Anxiety The Materiality of Anxiousness, Worry, and Fear Editors Jeffrey Fleisher Department of Anthropology Rice University
More informationLecture Notes in Computer Science 5004
Lecture Notes in Computer Science 5004 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University,
More informationLecture Notes in Artificial Intelligence 2155
Lecture Notes in Artificial Intelligence 2155 Subseries of Lecture Notes in Computer Science Edited by J. G. Carbonell and J. Siekmann Lecture Notes in Computer Science Edited by G. Goos, J. Hartmanis,
More informationLecture Notes in Computer Science 4401
Lecture Notes in Computer Science 4401 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University,
More information> > Monday June 16 th
> > Monday June 16 th 9:00 Tutorial 1 Tutorial 2 Tutorial 3 10:30 Coffee break 12:30 Lunch Implementing Design Patterns in Ada95 Implementing Design Patterns in Ada95 14:00 Tutorial 1 (cont.) Tutorial
More informationLecture Notes in Computer Science 3819
Lecture Notes in Computer Science 3819 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University,
More informationLecture Notes in Computer Science 4214
Lecture Notes in Computer Science 4214 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University,
More informationLecture Notes in Computer Science 7342
Lecture Notes in Computer Science 7342 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University,
More informationLecture Notes in Artificial Intelligence 3176
Lecture Notes in Artificial Intelligence 3176 Edited by J. G. Carbonell and J. Siekmann Subseries of Lecture Notes in Computer Science Olivier Bousquet Ulrike von Luxburg Gunnar Rätsch (Eds.) Advanced
More informationLecture Notes in Computer Science 10644
Lecture Notes in Computer Science 10644 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University,
More informationEarly Modern Philosophers and the Renaissance Legacy
Early Modern Philosophers and the Renaissance Legacy INTERNATIONAL ARCHIVES OF THE HISTORY OF IDEAS ARCHIVES INTERNATIONALES D HISTOIRE DES IDÉES 220 EARLY MODERN PHILOSOPHERS AND THE RENAISSANCE LEGACY
More informationLecture Notes in Computer Science 4797
Lecture Notes in Computer Science 4797 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University,
More informationLecture Notes in Computer Science 6037
Lecture Notes in Computer Science 6037 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University,
More informationLecture Notes in Computer Science 5474
Lecture Notes in Computer Science 5474 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University,
More informationLecture Notes in Computer Science 2497 Edited by G. Goos, J. Hartmanis, and J. van Leeuwen
Lecture Notes in Computer Science 2497 Edited by G. Goos, J. Hartmanis, and J. van Leeuwen 3 Berlin Heidelberg New York Barcelona Hong Kong London Milan Paris Tokyo Enrico Gregori Giuseppe Anastasi Stefano
More informationLecture Notes in Computer Science 8341
Lecture Notes in Computer Science 8341 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University,
More informationSTUDIES IN ORGANIZED CRIME
Women and the Mafia STUDIES IN ORGANIZED CRIME Volume 5 Series Editor: Frank Bovenkerk, University of Utrecht, Willem Pompe Institute, The Netherlands Editorial Board: Maria Los, University of Ottowa,
More informationHigher Densities No Sprawl: Master Plan for the City of Ramat-Gan, Israel
Higher Densities No Sprawl: Master Plan for the City of Ramat-Gan, Israel Israel is a small and densed country. Israel is a small country with a total area of 21,000 sq.km. and population of 7.2 million
More informationLecture Notes in Computer Science 8036
Lecture Notes in Computer Science 8036 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison, UK Josef Kittler,
More informationCoPDA Barbara Rita Barricelli Ali Gheitasy Anders Mørch Antonio Piccinno Stefano Valtolina (Eds.)
Barbara Rita Barricelli Stefano Valtolina (Eds.) CoPDA 2014 2nd International Workshop on Cultures of Participation in the Digital Age: Social computing for Working, Learning, and Living CoPDA 2014 Como,
More informationLecture Notes in Computer Science 5671
Lecture Notes in Computer Science 5671 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University,
More informationHousing markets, wealth and the business cycle
Housing markets, wealth and the business cycle Nathalie Girouard copyright with the author OECD Economics Department DG ECFIN workshop: Housing and mortgage markets and the EU economy Brussels, 21 November
More informationResearch Reports ESPRIT
Research Reports ESPRIT Project 393. ACORD. Vol. 1 Edited in cooperation with the Commission of the European Communities G. G. Bes T. Guillotin (Eds.) A Natural Language and Graphics Interface Resu Its
More informationAtlas of Craniocervical Junction and Cervical Spine Surgery
Atlas of Craniocervical Junction and Cervical Spine Surgery Stefano Boriani Livio Presutti Alessandro Gasbarrini Francesco Mattioli Editors Atlas of Craniocervical Junction and Cervical Spine Surgery Editors
More informationIntelligent Primary School Project in Italy
Please cite this paper as: Ponti, G. (2007), Intelligent Primary School Project in Italy, PEB Exchange, Programme on Educational Building, 2007/02, OECD Publishing, Paris. http://dx.doi.org/10.1787/255378247044
More informationNon-functional Properties in Modeling: Analysis, Languages and Processes
Simona Bernardi Marko Bošković José Merseguer Non-functional Properties in Modeling: Analysis, Languages and Processes 5th International Workshop NiM-ALP 2013 Miami, FL, USA, 29 September 2013 Proceedings
More informationCoPDA Barbara Rita Barricelli Gerhard Fischer Anders Mørch Antonio Piccinno Stefano Valtolina (Eds.)
Barbara Rita Barricelli Stefano Valtolina (Eds.) CoPDA 2015 3rd International Workshop on Cultures of Participation in the Digital Age: Coping with Information, Participation, and Collaboration Overload
More informationLecture Notes in Computer Science 3527
Lecture Notes in Computer Science 3527 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University,
More informationLecture Notes in Computer Science 5438
Lecture Notes in Computer Science 5438 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University,
More informationLecture Notes in Computer Science 10852
Lecture Notes in Computer Science 10852 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University,
More informationArild Stubhaug. Gösta Mittag-Leffler. AManofConviction. Translated by Tiina Nunnally
Gösta Mittag-Leffler Arild Stubhaug Gösta Mittag-Leffler AManofConviction Translated by Tiina Nunnally Arild Stubhaug Department of Mathematics University of Oslo Blindern Oslo Norway arilds@math.uio.no
More informationFractals and Chaos. A.J. Crilly R.A. Earnshaw H. Jones Editors. With 146 Figures in 173 Parts, 57 in Color
Fractals and Chaos A.J. Crilly R.A. Earnshaw H. Jones Editors Fractals and Chaos With 146 Figures in 173 Parts, 57 in Color Springer-Verlag New York Berlin Heidelberg London Paris Tokyo Hong Kong Barcelona
More informationWelcome to the history of IMPA and its National Associations
Welcome to the history of IMPA and its National Associations To Prof Dr. Adesh JAIN, New Dehli Official Title for the World Congress Agenda and for the Proceeding list of papers/contributions in New Delhi:
More informationLecture Notes in Computer Science 9804
Lecture Notes in Computer Science 9804 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison, UK Josef Kittler,
More informationStudies in Epistemology, Logic, Methodology, and Philosophy of Science
Synthese Library Studies in Epistemology, Logic, Methodology, and Philosophy of Science Volume 373 Editor-in-Chief Otávio Bueno, University of Miami, Department of Philosophy, USA Editors Dirk van Dalen,
More informationLecture Notes in Computer Science 3507
Lecture Notes in Computer Science 3507 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University,
More informationDue Diligence and the Business Transaction
Due Diligence and the Business Transaction Getting a Deal Done Jeffrey W. Berkman Due Diligence and the Business Transaction: Getting a Deal Done Copyright 2013 by Jeffrey W. Berkman This work is subject
More informationDetection of Intrusions and Malware, and Vulnerability Assessment
Ulrich Flegel Evangelos Markatos William Robertson (Eds.) LNCS 7591 Detection of Intrusions and Malware, and Vulnerability Assessment 9th International Conference, DIMVA 2012 Heraklion, Crete, Greece,
More informationIndustrial and Logistics Rents map EUROPE, MIDDLE EAST AND AFRICA. Accelerating success.
Industrial and Logistics Rents map EUROPE, MIDDLE EAST AND AFRICA Accelerating success. FINLAND EMEA Industrial and Logistics Rents H2 2012 NORWAY Oslo 13.6 11.6 6.50% SWEDEN Stockholm 8.4 10.0 7.5 Helsinki
More informationWelcome to Workshop Designing Collaborative Interactive Spaces for e Creativity, e Science and e Learning AVI 2012, Capri, Italy, May 25 th.
Welcome to Workshop Designing Collaborative Interactive Spaces for e Creativity, e Science and e Learning AVI 2012, Capri, Italy, May 25 th. 1 Raimund Dachselt TU Dresden, Germany Organizers Gerhard Fischer
More informationThe URBAN DEFENCE Web Site is comprised of various Web pages operated by URBAN DEFENCE.
Condizioni AGREEMENT BETWEEN USER AND URBAN DEFENCE The URBAN DEFENCE Web Site is comprised of various Web pages operated by URBAN DEFENCE. The URBAN DEFENCE Web Site is offered to you condituioned on
More informationLecture Notes in Computer Science 5083
Lecture Notes in Computer Science 5083 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University,
More informationSPONSORSHIP OPPORTUNITIES
CONFERENCES SPONSORSHIP OPPORTUNITIES 6 th International Conference on Smart and Emerging Materials March 25-26, 2019 Bucharest, Romania our DELEGATE is your CLIENT Our Programme 5+ Keynote Sessions Our
More informationLecture Notes in Computer Science 4883
Lecture Notes in Computer Science 4883 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University,
More informationLecture Notes in Computer Science 6035
Lecture Notes in Computer Science 6035 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University,
More informationIS IRELAND 25 YEARS INTO A 100-YEAR HOUSING CRISIS?
IS IRELAND 25 YEARS INTO A 100-YEAR HOUSING CRISIS? Ronan Lyons, Department of Economics, Trinity College Dublin Dublin Economics Workshop Annual Conference Wexford, September 2017 DEW Annual Conference,
More informationLecture Notes in Computer Science 5581
Lecture Notes in Computer Science 5581 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University,
More informationLecture Notes in Computer Science 4449
Lecture Notes in Computer Science 4449 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University,
More informationOUR TRACK RECORD EUROPEAN VALUATIONS
OUR TRACK RECORD EUROPEAN VALUATIONS WELCOME Our brochure provides an overview of Knight Frank European Valuations coverage, services, track record and key personnel. We have invested in the expansion
More informationLecture Notes in Computer Science 7149
Lecture Notes in Computer Science 7149 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University,
More informationOffice Rents map EUROPE, MIDDLE EAST AND AFRICA. Accelerating success.
Office Rents map EUROPE, MIDDLE EAST AND AFRICA Accelerating success. FINLAND NORWAY EMEA Office Rents H1 2012 Oslo 35.9 5.50% 7.6% 311,000 SWEDEN Stockholm 43.7 4.75% 4.0% 80,000 Tallinn 13.4 65,000 ESTONIA
More information*Senior Editor Masayusa Ohtsu Kumamoto University, Graduate School of Science and Technology, Kumamoto, Japan
An international forum for the dissemination of research and development in the field of construction and building materials and their application in new works and repair practice. *Senior Editor Masayusa
More informationEuropean Labour Court Judges & the International Labour Office: 20 meetings from 1984 to 2012
XXth Meeting of the Network of European Labour Courts Judges 10-11 September 2012, Copenhagen, Denmark European Labour Court Judges & the International Labour Office: 20 meetings from 1984 to 2012 Angelika
More informationIndustrial and Logistics Rents map EUROPE, MIDDLE EAST AND AFRICA. Accelerating success.
Industrial and Logistics Rents map EUROPE, MIDDLE EAST AND AFRICA Accelerating success. FINLAND EMEA Industrial and Logistics Rents H1 2013 NORWAY Oslo 12.7 10.8 6.50% SWEDEN Stockholm 8.3 10.0 7.5 Helsinki
More informationLecture Notes in Computer Science 2386 Edited by G. Goos, J. Hartmanis, and J. van Leeuwen
Lecture Notes in Computer Science 2386 Edited by G. Goos, J. Hartmanis, and J. van Leeuwen 3 Berlin Heidelberg New York Barcelona Hong Kong London Milan Paris Tokyo Eerke A. Boiten Bernhard M ller (Eds.)
More informationThe World Cup, between Europe and the Americas
International symposium The World Cup, between Europe and the Americas Actors, implications and temporality of a sporting global event (20 th - 21 st centuries) Aerial view of the Centenario Stadium, July
More informationThe Truth about Fania Fénelon and the Women s Orchestra of Auschwitz-Birkenau
The Truth about Fania Fénelon and the Women s Orchestra of Auschwitz-Birkenau Susan Eischeid The Truth about Fania Fénelon and the Women s Orchestra of Auschwitz-Birkenau Susan Eischeid Department of
More informationLeasing to Finance Innovation Jurgita Bucyte Senior Adviser in Statistics & Economic Affairs, Leaseurope
Leasing to Finance Innovation Jurgita Bucyte Senior Adviser in Statistics & Economic Affairs, Leaseurope AGORADA 2016 Brussels 27 May 2016 About Leaseurope Leaseurope represents the European leasing &
More informationEncountering Development in the Age of Global Capitalism
Encountering Development in the Age of Global Capitalism Kin-Ling Tang Encountering Development in the Age of Global Capitalism A Case Study Kin-Ling Tang The Education University of Hong Kong Hong Kong,
More informationThis page intentionally left blank
CHINUA ACHEBE This page intentionally left blank Chinua Achebe Novelist, Poet, Critic David Carroll Professor of English University of Lancaster David Carroll 1980, 1990 Softcover reprint of the hardcover
More informationISNI. International Society of Neuroimmunology PROFILE 2013
INTERNATIONAL SOCIETY ISNI PROFILE 2013 ABOUT US The was established in 1982, and since this date has contributed greatly to the growing recognition of the different roles of the immune system in causing
More informationLecture Notes in Artificial Intelligence 4327
Lecture Notes in Artificial Intelligence 4327 Edited by J. G. Carbonell and J. Siekmann Subseries of Lecture Notes in Computer Science (Eds.) Declarative Agent Languages and Technologies IV 4th International
More informationPast General Conferences
Past General Conferences 2016 Milan, Italy 3-9 July 2016 Twenty-fourth General Conference Theme: Museums and Cultural Landscapes Videos Photos Final report 2013 Rio de Janeiro, Brazil 10-17 August 2013
More informationLecture Notes in Computer Science 7744
Lecture Notes in Computer Science 7744 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University,
More informationThe Disorder of Mathematics Education
The Disorder of Mathematics Education Hauke Straehler-Pohl Nina Bohlmann Alexandre Pais Editors The Disorder of Mathematics Education Challenging the Sociopolitical Dimensions of Research Editors Hauke
More informationEuropean Component Oriented Architecture (ECOA ) Collaboration Programme: ECOA White Paper
European Component Oriented Architecture (ECOA ) Collaboration Programme: ECOA White Paper Prepared by BAE Systems (Operations) Ltd and Dassault Aviation Page 1 1 Table of Contents 1 Table of Contents...
More informationNonprofit and Civil Society Studies
Nonprofit and Civil Society Studies An International Multidisciplinary Series Series Editors Paul Dekker Institute for Social Research, The Hague, The Netherlands Annette Zimmer University of Münster,
More informationIBM TRIRIGA Version 10 Release 5.2. Real Estate Transaction Management User Guide IBM
IBM TRIRIGA Version 10 Release 5.2 Real Estate Transaction Management User Guide IBM Note Before using this information and the product it supports, read the information in Notices on page 11. This edition
More informationSpringer Berlin Heidelberg NewYork Barcelona Budapest HongKong London Milan Paris Santa Clara Singapore Tokyo
The Mathematical World ofwalter Noll Springer Berlin Heidelberg NewYork Barcelona Budapest HongKong London Milan Paris Santa Clara Singapore Tokyo Yurie A.Ignatieff The Mathematical World of Walter Noll
More informationSGK / SSCr NEWSLETTER
Schweizerische Gesellschaft für Kristallographie Société Suisse de Cristallographie Società Svizzera di Cristallografia Swiss Society for Crystallography Sektion für Kristallwachstum und Kristalltechnologie
More informationStandard Letters for Building Contractors
Standard for Building Contractors Other books by The JCT Intermediate Building Contracts 2005 Third Edition 978-1-4051-4049-2 The JCT Minor Works Building Contracts 2005 Fourth Edition 978-1-4051-5271-6
More informationMy Life with Eggs: Forty Years On
My Life with Eggs: Forty Years On A personal history of the IFRG 1975 2015 Nick French and at least gives someone else a chance to be the last to leave the bar Glenn Baggott 2012 Thanks to the organisers.
More informationProcess Maturity Profile
Carnegie Mellon Process Maturity Profile CMMI SCAMPI SM Class A Appraisal Results 2007 Mid-Year Update September 2007 We could not produce this report without the support of the organizations and lead
More informationSUSTAINABLE URBAN HOUSING IN VIENNA
SUSTAINABLE URBAN HOUSING IN VIENNA Autonomy - legal acts - budgets Active Housing Policy - council housing - subsidies - allowances - land development - developers competitions Soft Urban Renewal VIENNA
More informationIABSE Conference Copenhagen 2018 Engineering the Past, to meet the needs of the Future, 25 th 27 th June, 2018, Denmark
ALL STRUCTURES ALL MATERIALS w w w. i a b s e. o r g WORLDWIDE Final Invitation IABSE Conference Copenhagen 2018 Engineering the Past, to meet the needs of the Future, 25 th 27 th June, 2018, Denmark Organised
More informationLecture Notes in Computer Science 8031
Lecture Notes in Computer Science 8031 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University,
More informationLecture Notes in Computer Science 9249
Lecture Notes in Computer Science 9249 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University,
More informationDeloitte Property Index Overview of European residential markets Residential property prices increase
Deloitte Property Index 2015 - Overview of European residential markets Residential property prices increase Michal Melc Senior Manager Audit Deloitte 30 Deloitte s Property Index, an overview of European
More informationCurriculum Vitae. September 2005 present : Full time researcher at CNRS affiliated with Paris School of Economics
Curriculum Vitae Olivier Tercieux Born : December the 9th 1977, Sèvres (92), France Citizenship : French Gender : Male Languages : French, mother tongue, fluent English, read and spoken Spanish Marital
More informationLecture Notes in Computer Science 7137
Lecture Notes in Computer Science 7137 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University,
More informationThe World Cup, between Europe and the Americas
International symposium The World Cup, between Europe and the Americas Actors, implications and temporality of a sporting global event (20 th - 21 st centuries) Aerial view of the Centenario Stadium, July
More informationKEEGAN & COPPIN COMPANY, INC.
Commercial Real Estate Services PROMINENT DOWNTOWN LOCATION 757± - 954± sf of office space available with 4th Street frontage 757± sf: Open floor plan with 3 cubicles 954± sf: Open floor plan, private
More informationAlgebraic and geometric combinatorics, polytope theory, Hopf algebras, and diagonal harmonics.
Cesar Ceballos Fakultät für Mathematik Universität Wien cesar.ceballos@univie.ac.at http://www.mat.univie.ac.at/~cesar/ Personal information Born in Colombia on October 9, 1987. Married, two children (2
More informationHigh-Rise Living in Asian Cities
High-Rise Living in Asian Cities Anthony G.O. Yeh Editors High-Rise Living in Asian Cities 123 Editors Singapore belyuen8@gmail.com Anthony G.O. Yeh Centre of Urban Studies and Urban Planning The University
More informationLecture Notes in Computer Science 9596
Lecture Notes in Computer Science 9596 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University,
More information9.0 SCOR-RELATED MEETINGS
9.0 SCOR-RELATED MEETINGS 9.1 SCOR Annual Meetings 9.1.1 2007 Executive Committee Meeting Bergen, Norway, p. 9-1 Sundby 9.1.2 2008 General Meeting SCOR 50 th Anniversary Woods Hole, USA, p. 9-1 Labeyrie
More informationLecture Notes in Computer Science 7140
Lecture Notes in Computer Science 7140 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University,
More informationHuman Rights and Intellectual Property: From Concepts to Practice
14th EIPIN Congress Human Rights and Intellectual Property: From Concepts to Practice Strasbourg, 5-7 April 2013 Hosted and organised by CEIPI European Court of Human Rights Maison Interuniversitaire des
More information