Theoretical Aspects of Computing – ICTAC 2014

11th International Colloquium, Bucharest, Romania, September 17-19, 2014. Proceedings

  • Gabriel Ciobanu
  • Dominique Méry

Part of the Lecture Notes in Computer Science book series (LNCS, volume 8687)

Table of contents

  1. Front Matter
  2. Jin Song Dong, Jun Sun, Yang Liu, Yuan-Fang Li
    Pages 17-24
  3. Stefano Aguzzoli, Denisa Diaconescu, Tommaso Flaminio
    Pages 25-42
  4. Peter Bezděk, Nikola Beneš, Vojtěch Havel, Jiří Barnat, Ivana Černá
    Pages 43-60
  5. Chiara Bodei, Pierpaolo Degano, Letterio Galletta, Francesco Salvatori
    Pages 61-79
  6. Adilson Luiz Bonifacio, Arnaldo Vieira Moura
    Pages 80-96
  7. Benoît Delahaye, José Luiz Fiadeiro, Axel Legay, Antónia Lopes
    Pages 115-132
  8. Denisa Diaconescu, Luigia Petre, Kaisa Sere, Gheorghe Stefanescu
    Pages 133-150
  9. Brijesh Dongol, John Derrick, Graeme Smith
    Pages 151-168
  10. Uli Fahrenberg, Axel Legay, Louis-Marie Traonouez
    Pages 169-187
  11. Manuel Geffken, Hannes Saffrich, Peter Thiemann
    Pages 188-205
  12. Thomas Given-Wilson
    Pages 206-223
  13. Niels Bjørn Bugge Grathwohl, Fritz Henglein, Ulrik Terp Rasmussen
    Pages 224-240
  14. Mircea Marin, Gabriel Istrate
    Pages 241-258
  15. Didier Caucal, Marion Le Gonidec
    Pages 259-276
  16. Jinjiang Lei, Zongyan Qiu
    Pages 277-294
  17. Liyi Li, Elsa Gunter, William Mansky
    Pages 295-313
  18. Carlos Gustavo Lopez Pombo, Pablo F. Castro, Nazareno Aguirre, Tomas S. E. Maibaum
    Pages 314-332

About these proceedings

Introduction

This book constitutes the refereed proceedings of the 11th International Colloquium on Theoretical Aspects of Computing, ICTAC 2014 held in Bucharest, Romania, in September 2014. The 25 revised full papers presented together with three invited talks were carefully reviewed and selected from 74 submissions. The papers cover various topics such as automata theory and formal languages; principles and semantics of programming languages; theories of concurrency, mobility and reconfiguration; logics and their applications; software architectures and their models, refinement and verification; relationship between software requirements, models and code; static and dynamic program analysis and verification; software specification, refinement, verification and testing; model checking and theorem proving; models of object and component systems; coordination and feature interaction; integration of theories, formal methods and tools for engineering computing systems; service-oriented architectures: models and development methods; models of concurrency, security, and mobility; theories of distributed, grid and cloud computing; real-time, embedded, hybrid and cyber-physical systems; type and category theory in computer science; models for e-learning and education; case studies, theories, tools and experiments of verified systems; domain-specific modeling and technology: examples, frameworks and practical experience; challenges and foundations in environmental modeling and monitoring, healthcare, and disaster management.

Keywords

computational complexity and cryptography concurrency design and analysis of algorithms discrete mathematics formal languages and automata theory logic mathematics of computing models of computation randomness, geometry and discrete structures semantics and reasoning theory and algorithms for applications domains

Editors and affiliations

  • Gabriel Ciobanu
    • 1
  • Dominique Méry
    • 2
  1. 1.Institute of Computer ScienceRomanian AcademyIaşiRomania
  2. 2.LORIAUniversité de LorraineVandœvre-lès-NancyFrance

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-319-10882-7
  • Copyright Information Springer International Publishing Switzerland 2014
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science
  • Print ISBN 978-3-319-10881-0
  • Online ISBN 978-3-319-10882-7
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book