Search dblp for Publications

export results for "stream:streams/conf/ftscs:"

 download as .bib file

@proceedings{DBLP:conf/ftscs/2019,
  editor    = {Osman Hasan and
               Fr{\'{e}}d{\'{e}}ric Mallet},
  title     = {Formal Techniques for Safety-Critical Systems - 7th International
               Workshop, {FTSCS} 2019, Shenzhen, China, November 9, 2019, Revised
               Selected Papers},
  series    = {Communications in Computer and Information Science},
  volume    = {1165},
  publisher = {Springer},
  year      = {2020},
  url       = {https://doi.org/10.1007/978-3-030-46902-3},
  doi       = {10.1007/978-3-030-46902-3},
  isbn      = {978-3-030-46901-6},
  timestamp = {Tue, 05 May 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/ftscs/2019.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftscs/KhalifaMA19,
  author    = {Dorra {Ben Khalifa} and
               Matthieu Martel and
               Assal{\'{e}} Adj{\'{e}}},
  editor    = {Osman Hasan and
               Fr{\'{e}}d{\'{e}}ric Mallet},
  title     = {{POP:} {A} Tuning Assistant for Mixed-Precision Floating-Point Computations},
  booktitle = {Formal Techniques for Safety-Critical Systems - 7th International
               Workshop, {FTSCS} 2019, Shenzhen, China, November 9, 2019, Revised
               Selected Papers},
  series    = {Communications in Computer and Information Science},
  volume    = {1165},
  pages     = {77--94},
  publisher = {Springer},
  year      = {2019},
  url       = {https://doi.org/10.1007/978-3-030-46902-3\_5},
  doi       = {10.1007/978-3-030-46902-3\_5},
  timestamp = {Tue, 05 May 2020 17:50:59 +0200},
  biburl    = {https://dblp.org/rec/conf/ftscs/KhalifaMA19.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftscs/MariaLMR19,
  author    = {Elisabetta De Maria and
               Thibaud L'Yvonnet and
               Sabine Moisan and
               Jean{-}Paul Rigault},
  editor    = {Osman Hasan and
               Fr{\'{e}}d{\'{e}}ric Mallet},
  title     = {Probabilistic Activity Recognition for Serious Games with Applications
               in Medicine},
  booktitle = {Formal Techniques for Safety-Critical Systems - 7th International
               Workshop, {FTSCS} 2019, Shenzhen, China, November 9, 2019, Revised
               Selected Papers},
  series    = {Communications in Computer and Information Science},
  volume    = {1165},
  pages     = {106--124},
  publisher = {Springer},
  year      = {2019},
  url       = {https://doi.org/10.1007/978-3-030-46902-3\_7},
  doi       = {10.1007/978-3-030-46902-3\_7},
  timestamp = {Tue, 05 May 2020 17:50:59 +0200},
  biburl    = {https://dblp.org/rec/conf/ftscs/MariaLMR19.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftscs/MoraesN19,
  author    = {Rodrigo Saar de Moraes and
               Simin Nadjm{-}Tehrani},
  editor    = {Osman Hasan and
               Fr{\'{e}}d{\'{e}}ric Mallet},
  title     = {Verifying Resource Adequacy of Networked {IMA} Systems at Concept
               Level},
  booktitle = {Formal Techniques for Safety-Critical Systems - 7th International
               Workshop, {FTSCS} 2019, Shenzhen, China, November 9, 2019, Revised
               Selected Papers},
  series    = {Communications in Computer and Information Science},
  volume    = {1165},
  pages     = {40--56},
  publisher = {Springer},
  year      = {2019},
  url       = {https://doi.org/10.1007/978-3-030-46902-3\_3},
  doi       = {10.1007/978-3-030-46902-3\_3},
  timestamp = {Tue, 05 May 2020 17:50:59 +0200},
  biburl    = {https://dblp.org/rec/conf/ftscs/MoraesN19.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftscs/PantekisJOAM19,
  author    = {Filippos Pantekis and
               Phillip James and
               Liam O'Reilly and
               Daniel Archambault and
               Faron Moller},
  editor    = {Osman Hasan and
               Fr{\'{e}}d{\'{e}}ric Mallet},
  title     = {Visualising Railway Safety Verification},
  booktitle = {Formal Techniques for Safety-Critical Systems - 7th International
               Workshop, {FTSCS} 2019, Shenzhen, China, November 9, 2019, Revised
               Selected Papers},
  series    = {Communications in Computer and Information Science},
  volume    = {1165},
  pages     = {95--105},
  publisher = {Springer},
  year      = {2019},
  url       = {https://doi.org/10.1007/978-3-030-46902-3\_6},
  doi       = {10.1007/978-3-030-46902-3\_6},
  timestamp = {Fri, 22 May 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/ftscs/PantekisJOAM19.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftscs/RashidST19,
  author    = {Adnan Rashid and
               Umair Siddique and
               Sofi{\`{e}}ne Tahar},
  editor    = {Osman Hasan and
               Fr{\'{e}}d{\'{e}}ric Mallet},
  title     = {Formal Verification of Cyber-Physical Systems Using Theorem Proving},
  booktitle = {Formal Techniques for Safety-Critical Systems - 7th International
               Workshop, {FTSCS} 2019, Shenzhen, China, November 9, 2019, Revised
               Selected Papers},
  series    = {Communications in Computer and Information Science},
  volume    = {1165},
  pages     = {3--18},
  publisher = {Springer},
  year      = {2019},
  url       = {https://doi.org/10.1007/978-3-030-46902-3\_1},
  doi       = {10.1007/978-3-030-46902-3\_1},
  timestamp = {Tue, 05 May 2020 17:50:59 +0200},
  biburl    = {https://dblp.org/rec/conf/ftscs/RashidST19.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftscs/SinghAMNPP19,
  author    = {Neeraj Kumar Singh and
               Yamine A{\"{\i}}t Ameur and
               Dominique M{\'{e}}ry and
               David Navarre and
               Philippe A. Palanque and
               Marc Pantel},
  editor    = {Osman Hasan and
               Fr{\'{e}}d{\'{e}}ric Mallet},
  title     = {Formal Development of Multi-Purpose Interactive Application {(MPIA)}
               for {ARINC} 661},
  booktitle = {Formal Techniques for Safety-Critical Systems - 7th International
               Workshop, {FTSCS} 2019, Shenzhen, China, November 9, 2019, Revised
               Selected Papers},
  series    = {Communications in Computer and Information Science},
  volume    = {1165},
  pages     = {21--39},
  publisher = {Springer},
  year      = {2019},
  url       = {https://doi.org/10.1007/978-3-030-46902-3\_2},
  doi       = {10.1007/978-3-030-46902-3\_2},
  timestamp = {Tue, 05 May 2020 17:50:59 +0200},
  biburl    = {https://dblp.org/rec/conf/ftscs/SinghAMNPP19.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftscs/TracO19,
  author    = {Quang Thinh Trac and
               Mizuhito Ogawa},
  editor    = {Osman Hasan and
               Fr{\'{e}}d{\'{e}}ric Mallet},
  title     = {Formal Semantics Extraction from {MIPS} Instruction Manual},
  booktitle = {Formal Techniques for Safety-Critical Systems - 7th International
               Workshop, {FTSCS} 2019, Shenzhen, China, November 9, 2019, Revised
               Selected Papers},
  series    = {Communications in Computer and Information Science},
  volume    = {1165},
  pages     = {133--140},
  publisher = {Springer},
  year      = {2019},
  url       = {https://doi.org/10.1007/978-3-030-46902-3\_9},
  doi       = {10.1007/978-3-030-46902-3\_9},
  timestamp = {Tue, 05 May 2020 17:50:59 +0200},
  biburl    = {https://dblp.org/rec/conf/ftscs/TracO19.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftscs/YuSB19,
  author    = {Emily Yu and
               Martina Seidl and
               Armin Biere},
  editor    = {Osman Hasan and
               Fr{\'{e}}d{\'{e}}ric Mallet},
  title     = {A Framework for Model Checking Against {CTLK} Using Quantified Boolean
               Formulas},
  booktitle = {Formal Techniques for Safety-Critical Systems - 7th International
               Workshop, {FTSCS} 2019, Shenzhen, China, November 9, 2019, Revised
               Selected Papers},
  series    = {Communications in Computer and Information Science},
  volume    = {1165},
  pages     = {127--132},
  publisher = {Springer},
  year      = {2019},
  url       = {https://doi.org/10.1007/978-3-030-46902-3\_8},
  doi       = {10.1007/978-3-030-46902-3\_8},
  timestamp = {Tue, 05 May 2020 17:50:59 +0200},
  biburl    = {https://dblp.org/rec/conf/ftscs/YuSB19.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftscs/YuanYBFWZ19,
  author    = {Shenghao Yuan and
               Zhibin Yang and
               Jean{-}Paul Bodeveix and
               Mamoun Filali and
               Tiexin Wang and
               Yong Zhou},
  editor    = {Osman Hasan and
               Fr{\'{e}}d{\'{e}}ric Mallet},
  title     = {Automated Ada Code Generation from Synchronous Dataflow Programs on
               Multicore: Approach and Industrial Study},
  booktitle = {Formal Techniques for Safety-Critical Systems - 7th International
               Workshop, {FTSCS} 2019, Shenzhen, China, November 9, 2019, Revised
               Selected Papers},
  series    = {Communications in Computer and Information Science},
  volume    = {1165},
  pages     = {57--73},
  publisher = {Springer},
  year      = {2019},
  url       = {https://doi.org/10.1007/978-3-030-46902-3\_4},
  doi       = {10.1007/978-3-030-46902-3\_4},
  timestamp = {Tue, 05 May 2020 17:50:59 +0200},
  biburl    = {https://dblp.org/rec/conf/ftscs/YuanYBFWZ19.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ftscs/2018,
  editor    = {Cyrille Artho and
               Peter Csaba {\"{O}}lveczky},
  title     = {Formal Techniques for Safety-Critical Systems - 6th International
               Workshop, {FTSCS} 2018, Gold Coast, Australia, November 16, 2018,
               Revised Selected Papers},
  series    = {Communications in Computer and Information Science},
  volume    = {1008},
  publisher = {Springer},
  year      = {2019},
  url       = {https://doi.org/10.1007/978-3-030-12988-0},
  doi       = {10.1007/978-3-030-12988-0},
  isbn      = {978-3-030-12987-3},
  timestamp = {Wed, 06 Feb 2019 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/ftscs/2018.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftscs/AhmedHA18,
  author    = {Asad Ahmed and
               Osman Hasan and
               Falah Awwad},
  editor    = {Cyrille Artho and
               Peter Csaba {\"{O}}lveczky},
  title     = {Formal Stability Analysis of Control Systems},
  booktitle = {Formal Techniques for Safety-Critical Systems - 6th International
               Workshop, {FTSCS} 2018, Gold Coast, Australia, November 16, 2018,
               Revised Selected Papers},
  series    = {Communications in Computer and Information Science},
  volume    = {1008},
  pages     = {3--17},
  publisher = {Springer},
  year      = {2018},
  url       = {https://doi.org/10.1007/978-3-030-12988-0\_1},
  doi       = {10.1007/978-3-030-12988-0\_1},
  timestamp = {Wed, 06 Feb 2019 08:44:08 +0100},
  biburl    = {https://dblp.org/rec/conf/ftscs/AhmedHA18.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftscs/AinH18,
  author    = {Qurat Ul Ain and
               Osman Hasan},
  editor    = {Cyrille Artho and
               Peter Csaba {\"{O}}lveczky},
  title     = {Formal Timing Analysis of Digital Circuits},
  booktitle = {Formal Techniques for Safety-Critical Systems - 6th International
               Workshop, {FTSCS} 2018, Gold Coast, Australia, November 16, 2018,
               Revised Selected Papers},
  series    = {Communications in Computer and Information Science},
  volume    = {1008},
  pages     = {84--100},
  publisher = {Springer},
  year      = {2018},
  url       = {https://doi.org/10.1007/978-3-030-12988-0\_6},
  doi       = {10.1007/978-3-030-12988-0\_6},
  timestamp = {Wed, 06 Feb 2019 08:44:08 +0100},
  biburl    = {https://dblp.org/rec/conf/ftscs/AinH18.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftscs/Andre18,
  author    = {{\'{E}}tienne Andr{\'{e}}},
  editor    = {Cyrille Artho and
               Peter Csaba {\"{O}}lveczky},
  title     = {A Benchmark Library for Parametric Timed Model Checking},
  booktitle = {Formal Techniques for Safety-Critical Systems - 6th International
               Workshop, {FTSCS} 2018, Gold Coast, Australia, November 16, 2018,
               Revised Selected Papers},
  series    = {Communications in Computer and Information Science},
  volume    = {1008},
  pages     = {75--83},
  publisher = {Springer},
  year      = {2018},
  url       = {https://doi.org/10.1007/978-3-030-12988-0\_5},
  doi       = {10.1007/978-3-030-12988-0\_5},
  timestamp = {Wed, 13 Feb 2019 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/ftscs/Andre18.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftscs/KamaliL018,
  author    = {Maryam Kamali and
               Sven Linker and
               Michael Fisher},
  editor    = {Cyrille Artho and
               Peter Csaba {\"{O}}lveczky},
  title     = {Modular Verification of Vehicle Platooning with Respect to Decisions,
               Space and Time},
  booktitle = {Formal Techniques for Safety-Critical Systems - 6th International
               Workshop, {FTSCS} 2018, Gold Coast, Australia, November 16, 2018,
               Revised Selected Papers},
  series    = {Communications in Computer and Information Science},
  volume    = {1008},
  pages     = {18--36},
  publisher = {Springer},
  year      = {2018},
  url       = {https://doi.org/10.1007/978-3-030-12988-0\_2},
  doi       = {10.1007/978-3-030-12988-0\_2},
  timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/ftscs/KamaliL018.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftscs/MikaelyanMGN18,
  author    = {Liana Mikaelyan and
               Sascha M{\"{u}}ller and
               Andreas Gerndt and
               Thomas Noll},
  editor    = {Cyrille Artho and
               Peter Csaba {\"{O}}lveczky},
  title     = {Synthesizing and Optimizing {FDIR} Recovery Strategies from Fault
               Trees},
  booktitle = {Formal Techniques for Safety-Critical Systems - 6th International
               Workshop, {FTSCS} 2018, Gold Coast, Australia, November 16, 2018,
               Revised Selected Papers},
  series    = {Communications in Computer and Information Science},
  volume    = {1008},
  pages     = {37--54},
  publisher = {Springer},
  year      = {2018},
  url       = {https://doi.org/10.1007/978-3-030-12988-0\_3},
  doi       = {10.1007/978-3-030-12988-0\_3},
  timestamp = {Wed, 08 Jan 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/ftscs/MikaelyanMGN18.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftscs/MorrisSHAB18,
  author    = {Karla Morris and
               Colin F. Snook and
               Thai Son Hoang and
               Robert Armstrong and
               Michael J. Butler},
  editor    = {Cyrille Artho and
               Peter Csaba {\"{O}}lveczky},
  title     = {Refinement of Statecharts with Run-to-Completion Semantics},
  booktitle = {Formal Techniques for Safety-Critical Systems - 6th International
               Workshop, {FTSCS} 2018, Gold Coast, Australia, November 16, 2018,
               Revised Selected Papers},
  series    = {Communications in Computer and Information Science},
  volume    = {1008},
  pages     = {121--138},
  publisher = {Springer},
  year      = {2018},
  url       = {https://doi.org/10.1007/978-3-030-12988-0\_8},
  doi       = {10.1007/978-3-030-12988-0\_8},
  timestamp = {Wed, 06 Feb 2019 08:44:08 +0100},
  biburl    = {https://dblp.org/rec/conf/ftscs/MorrisSHAB18.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftscs/SilvaBSH18,
  author    = {William da Silva and
               Max Bureck and
               Ina Schieferdecker and
               Christian Hein},
  editor    = {Cyrille Artho and
               Peter Csaba {\"{O}}lveczky},
  title     = {Model Transformation with Triple Graph Grammars and Non-terminal Symbols},
  booktitle = {Formal Techniques for Safety-Critical Systems - 6th International
               Workshop, {FTSCS} 2018, Gold Coast, Australia, November 16, 2018,
               Revised Selected Papers},
  series    = {Communications in Computer and Information Science},
  volume    = {1008},
  pages     = {161--177},
  publisher = {Springer},
  year      = {2018},
  url       = {https://doi.org/10.1007/978-3-030-12988-0\_10},
  doi       = {10.1007/978-3-030-12988-0\_10},
  timestamp = {Wed, 06 Feb 2019 08:44:08 +0100},
  biburl    = {https://dblp.org/rec/conf/ftscs/SilvaBSH18.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftscs/TimmG18,
  author    = {Nils Timm and
               Stefan Gruner},
  editor    = {Cyrille Artho and
               Peter Csaba {\"{O}}lveczky},
  title     = {Abstraction Refinement with Path Constraints for 3-Valued Bounded
               Model Checking},
  booktitle = {Formal Techniques for Safety-Critical Systems - 6th International
               Workshop, {FTSCS} 2018, Gold Coast, Australia, November 16, 2018,
               Revised Selected Papers},
  series    = {Communications in Computer and Information Science},
  volume    = {1008},
  pages     = {139--157},
  publisher = {Springer},
  year      = {2018},
  url       = {https://doi.org/10.1007/978-3-030-12988-0\_9},
  doi       = {10.1007/978-3-030-12988-0\_9},
  timestamp = {Wed, 06 Feb 2019 08:44:08 +0100},
  biburl    = {https://dblp.org/rec/conf/ftscs/TimmG18.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftscs/TornblomN18,
  author    = {John T{\"{o}}rnblom and
               Simin Nadjm{-}Tehrani},
  editor    = {Cyrille Artho and
               Peter Csaba {\"{O}}lveczky},
  title     = {Formal Verification of Random Forests in Safety-Critical Applications},
  booktitle = {Formal Techniques for Safety-Critical Systems - 6th International
               Workshop, {FTSCS} 2018, Gold Coast, Australia, November 16, 2018,
               Revised Selected Papers},
  series    = {Communications in Computer and Information Science},
  volume    = {1008},
  pages     = {55--71},
  publisher = {Springer},
  year      = {2018},
  url       = {https://doi.org/10.1007/978-3-030-12988-0\_4},
  doi       = {10.1007/978-3-030-12988-0\_4},
  timestamp = {Wed, 06 Feb 2019 08:44:08 +0100},
  biburl    = {https://dblp.org/rec/conf/ftscs/TornblomN18.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftscs/ZhangWCM18,
  author    = {Yuanrui Zhang and
               Hengyang Wu and
               Yixiang Chen and
               Fr{\'{e}}d{\'{e}}ric Mallet},
  editor    = {Cyrille Artho and
               Peter Csaba {\"{O}}lveczky},
  title     = {Embedding {CCSL} into Dynamic Logic: {A} Logical Approach for the
               Verification of {CCSL} Specifications},
  booktitle = {Formal Techniques for Safety-Critical Systems - 6th International
               Workshop, {FTSCS} 2018, Gold Coast, Australia, November 16, 2018,
               Revised Selected Papers},
  series    = {Communications in Computer and Information Science},
  volume    = {1008},
  pages     = {101--118},
  publisher = {Springer},
  year      = {2018},
  url       = {https://doi.org/10.1007/978-3-030-12988-0\_7},
  doi       = {10.1007/978-3-030-12988-0\_7},
  timestamp = {Wed, 06 Feb 2019 08:44:08 +0100},
  biburl    = {https://dblp.org/rec/conf/ftscs/ZhangWCM18.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ftscs/2016,
  editor    = {Cyrille Artho and
               Peter Csaba {\"{O}}lveczky},
  title     = {Formal Techniques for Safety-Critical Systems - 5th International
               Workshop, {FTSCS} 2016, Tokyo, Japan, November 14, 2016, Revised Selected
               Papers},
  series    = {Communications in Computer and Information Science},
  volume    = {694},
  year      = {2017},
  url       = {https://doi.org/10.1007/978-3-319-53946-1},
  doi       = {10.1007/978-3-319-53946-1},
  isbn      = {978-3-319-53945-4},
  timestamp = {Wed, 24 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/ftscs/2016.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftscs/AbbasiLKH16,
  author    = {Imran Hafeez Abbasi and
               Faiq Khalid Lodhi and
               Awais Mehmood Kamboh and
               Osman Hasan},
  editor    = {Cyrille Artho and
               Peter Csaba {\"{O}}lveczky},
  title     = {Formal Verification of Gate-Level Multiple Side Channel Parameters
               to Detect Hardware Trojans},
  booktitle = {Formal Techniques for Safety-Critical Systems - 5th International
               Workshop, {FTSCS} 2016, Tokyo, Japan, November 14, 2016, Revised Selected
               Papers},
  series    = {Communications in Computer and Information Science},
  volume    = {694},
  pages     = {75--92},
  year      = {2016},
  url       = {https://doi.org/10.1007/978-3-319-53946-1\_5},
  doi       = {10.1007/978-3-319-53946-1\_5},
  timestamp = {Sat, 16 Sep 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/ftscs/AbbasiLKH16.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftscs/BanachZ16,
  author    = {Richard Banach and
               Huibiao Zhu},
  editor    = {Cyrille Artho and
               Peter Csaba {\"{O}}lveczky},
  title     = {Shared-Variable Concurrency, Continuous Behaviour and Healthiness
               for Critical Cyberphysical Systems},
  booktitle = {Formal Techniques for Safety-Critical Systems - 5th International
               Workshop, {FTSCS} 2016, Tokyo, Japan, November 14, 2016, Revised Selected
               Papers},
  series    = {Communications in Computer and Information Science},
  volume    = {694},
  pages     = {109--125},
  year      = {2016},
  url       = {https://doi.org/10.1007/978-3-319-53946-1\_7},
  doi       = {10.1007/978-3-319-53946-1\_7},
  timestamp = {Wed, 24 May 2017 08:30:54 +0200},
  biburl    = {https://dblp.org/rec/conf/ftscs/BanachZ16.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftscs/Dongol16,
  author    = {Brijesh Dongol},
  editor    = {Cyrille Artho and
               Peter Csaba {\"{O}}lveczky},
  title     = {An Interval Logic for Stream-Processing Functions: {A} Convolution-Based
               Construction},
  booktitle = {Formal Techniques for Safety-Critical Systems - 5th International
               Workshop, {FTSCS} 2016, Tokyo, Japan, November 14, 2016, Revised Selected
               Papers},
  series    = {Communications in Computer and Information Science},
  volume    = {694},
  pages     = {20--35},
  year      = {2016},
  url       = {https://doi.org/10.1007/978-3-319-53946-1\_2},
  doi       = {10.1007/978-3-319-53946-1\_2},
  timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/ftscs/Dongol16.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftscs/ElleuchHTA16,
  author    = {Maissa Elleuch and
               Osman Hasan and
               Sofi{\`{e}}ne Tahar and
               Mohamed Abid},
  editor    = {Cyrille Artho and
               Peter Csaba {\"{O}}lveczky},
  title     = {Formal Probabilistic Analysis of a WSN-Based Monitoring Framework
               for IoT Applications},
  booktitle = {Formal Techniques for Safety-Critical Systems - 5th International
               Workshop, {FTSCS} 2016, Tokyo, Japan, November 14, 2016, Revised Selected
               Papers},
  series    = {Communications in Computer and Information Science},
  volume    = {694},
  pages     = {93--108},
  year      = {2016},
  url       = {https://doi.org/10.1007/978-3-319-53946-1\_6},
  doi       = {10.1007/978-3-319-53946-1\_6},
  timestamp = {Wed, 24 May 2017 08:30:54 +0200},
  biburl    = {https://dblp.org/rec/conf/ftscs/ElleuchHTA16.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftscs/GomesGH16,
  author    = {Pedro de Carvalho Gomes and
               Dilian Gurov and
               Marieke Huisman},
  editor    = {Cyrille Artho and
               Peter Csaba {\"{O}}lveczky},
  title     = {Specification and Verification of Synchronization with Condition Variables},
  booktitle = {Formal Techniques for Safety-Critical Systems - 5th International
               Workshop, {FTSCS} 2016, Tokyo, Japan, November 14, 2016, Revised Selected
               Papers},
  series    = {Communications in Computer and Information Science},
  volume    = {694},
  pages     = {3--19},
  year      = {2016},
  url       = {https://doi.org/10.1007/978-3-319-53946-1\_1},
  doi       = {10.1007/978-3-319-53946-1\_1},
  timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/ftscs/GomesGH16.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftscs/KamburjanH16,
  author    = {Eduard Kamburjan and
               Reiner H{\"{a}}hnle},
  editor    = {Cyrille Artho and
               Peter Csaba {\"{O}}lveczky},
  title     = {Uniform Modeling of Railway Operations},
  booktitle = {Formal Techniques for Safety-Critical Systems - 5th International
               Workshop, {FTSCS} 2016, Tokyo, Japan, November 14, 2016, Revised Selected
               Papers},
  series    = {Communications in Computer and Information Science},
  volume    = {694},
  pages     = {55--71},
  year      = {2016},
  url       = {https://doi.org/10.1007/978-3-319-53946-1\_4},
  doi       = {10.1007/978-3-319-53946-1\_4},
  timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/ftscs/KamburjanH16.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftscs/ParquierRHSRLA16,
  author    = {Baptiste Parquier and
               Laurent Rioux and
               Rafik Henia and
               Romain Soulat and
               Olivier H. Roux and
               Didier Lime and
               {\'{E}}tienne Andr{\'{e}}},
  editor    = {Cyrille Artho and
               Peter Csaba {\"{O}}lveczky},
  title     = {Applying Parametric Model-Checking Techniques for Reusing Real-Time
               Critical Systems},
  booktitle = {Formal Techniques for Safety-Critical Systems - 5th International
               Workshop, {FTSCS} 2016, Tokyo, Japan, November 14, 2016, Revised Selected
               Papers},
  series    = {Communications in Computer and Information Science},
  volume    = {694},
  pages     = {129--144},
  year      = {2016},
  url       = {https://doi.org/10.1007/978-3-319-53946-1\_8},
  doi       = {10.1007/978-3-319-53946-1\_8},
  timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/ftscs/ParquierRHSRLA16.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftscs/SatoHSIY16,
  author    = {Shuichi Sato and
               Shogo Hattori and
               Hiroyuki Seki and
               Yutaka Inamori and
               Shoji Yuen},
  editor    = {Cyrille Artho and
               Peter Csaba {\"{O}}lveczky},
  title     = {Automating Time Series Safety Analysis for Automotive Control Systems
               in {STPA} Using Weighted Partial Max-SMT},
  booktitle = {Formal Techniques for Safety-Critical Systems - 5th International
               Workshop, {FTSCS} 2016, Tokyo, Japan, November 14, 2016, Revised Selected
               Papers},
  series    = {Communications in Computer and Information Science},
  volume    = {694},
  pages     = {39--54},
  year      = {2016},
  url       = {https://doi.org/10.1007/978-3-319-53946-1\_3},
  doi       = {10.1007/978-3-319-53946-1\_3},
  timestamp = {Wed, 24 May 2017 08:30:54 +0200},
  biburl    = {https://dblp.org/rec/conf/ftscs/SatoHSIY16.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftscs/TimmG16,
  author    = {Nils Timm and
               Stefan Gruner},
  editor    = {Cyrille Artho and
               Peter Csaba {\"{O}}lveczky},
  title     = {Parameterised Verification of Stabilisation Properties via Conditional
               Spotlight Abstraction},
  booktitle = {Formal Techniques for Safety-Critical Systems - 5th International
               Workshop, {FTSCS} 2016, Tokyo, Japan, November 14, 2016, Revised Selected
               Papers},
  series    = {Communications in Computer and Information Science},
  volume    = {694},
  pages     = {145--160},
  year      = {2016},
  url       = {https://doi.org/10.1007/978-3-319-53946-1\_9},
  doi       = {10.1007/978-3-319-53946-1\_9},
  timestamp = {Wed, 24 May 2017 08:30:54 +0200},
  biburl    = {https://dblp.org/rec/conf/ftscs/TimmG16.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ftscs/2015,
  editor    = {Cyrille Artho and
               Peter Csaba {\"{O}}lveczky},
  title     = {Formal Techniques for Safety-Critical Systems - Fourth International
               Workshop, {FTSCS} 2015, Paris, France, November 6-7, 2015. Revised
               Selected Papers},
  series    = {Communications in Computer and Information Science},
  volume    = {596},
  publisher = {Springer},
  year      = {2016},
  url       = {https://doi.org/10.1007/978-3-319-29510-7},
  doi       = {10.1007/978-3-319-29510-7},
  isbn      = {978-3-319-29509-1},
  timestamp = {Wed, 24 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/ftscs/2015.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftscs/AledoSH15,
  author    = {Pablo Gonz{\'{a}}lez de Aledo and
               Pablo S{\'{a}}nchez Espeso and
               Ralf Huuck},
  editor    = {Cyrille Artho and
               Peter Csaba {\"{O}}lveczky},
  title     = {An Approach to Static-Dynamic Software Analysis},
  booktitle = {Formal Techniques for Safety-Critical Systems - Fourth International
               Workshop, {FTSCS} 2015, Paris, France, November 6-7, 2015. Revised
               Selected Papers},
  series    = {Communications in Computer and Information Science},
  volume    = {596},
  pages     = {225--240},
  publisher = {Springer},
  year      = {2015},
  url       = {https://doi.org/10.1007/978-3-319-29510-7\_13},
  doi       = {10.1007/978-3-319-29510-7\_13},
  timestamp = {Wed, 24 May 2017 08:30:54 +0200},
  biburl    = {https://dblp.org/rec/conf/ftscs/AledoSH15.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftscs/Andre15,
  author    = {{\'{E}}tienne Andr{\'{e}}},
  editor    = {Cyrille Artho and
               Peter Csaba {\"{O}}lveczky},
  title     = {What's Decidable About Parametric Timed Automata?},
  booktitle = {Formal Techniques for Safety-Critical Systems - Fourth International
               Workshop, {FTSCS} 2015, Paris, France, November 6-7, 2015. Revised
               Selected Papers},
  series    = {Communications in Computer and Information Science},
  volume    = {596},
  pages     = {52--68},
  publisher = {Springer},
  year      = {2015},
  url       = {https://doi.org/10.1007/978-3-319-29510-7\_3},
  doi       = {10.1007/978-3-319-29510-7\_3},
  timestamp = {Sat, 16 Sep 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/ftscs/Andre15.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftscs/AokiTCMNN15,
  author    = {Toshiaki Aoki and
               Kriangkrai Traichaiyaporn and
               Yuki Chiba and
               Masahiro Matsubara and
               Masataka Nishi and
               Fumio Narisawa},
  editor    = {Cyrille Artho and
               Peter Csaba {\"{O}}lveczky},
  title     = {Modeling Safety Requirements of {ISO26262} Using Goal Trees and Patterns},
  booktitle = {Formal Techniques for Safety-Critical Systems - Fourth International
               Workshop, {FTSCS} 2015, Paris, France, November 6-7, 2015. Revised
               Selected Papers},
  series    = {Communications in Computer and Information Science},
  volume    = {596},
  pages     = {206--221},
  publisher = {Springer},
  year      = {2015},
  url       = {https://doi.org/10.1007/978-3-319-29510-7\_12},
  doi       = {10.1007/978-3-319-29510-7\_12},
  timestamp = {Wed, 24 May 2017 08:30:54 +0200},
  biburl    = {https://dblp.org/rec/conf/ftscs/AokiTCMNN15.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftscs/ArshadMRH15,
  author    = {Fahd Arshad and
               Hassan Mehmood and
               Fauzan Raza and
               Osman Hasan},
  editor    = {Cyrille Artho and
               Peter Csaba {\"{O}}lveczky},
  title     = {g-HOL: {A} Graphical User Interface for the {HOL} Proof Assistant},
  booktitle = {Formal Techniques for Safety-Critical Systems - Fourth International
               Workshop, {FTSCS} 2015, Paris, France, November 6-7, 2015. Revised
               Selected Papers},
  series    = {Communications in Computer and Information Science},
  volume    = {596},
  pages     = {265--269},
  publisher = {Springer},
  year      = {2015},
  url       = {https://doi.org/10.1007/978-3-319-29510-7\_16},
  doi       = {10.1007/978-3-319-29510-7\_16},
  timestamp = {Wed, 24 May 2017 08:30:54 +0200},
  biburl    = {https://dblp.org/rec/conf/ftscs/ArshadMRH15.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftscs/BeckerV15,
  author    = {Klaus Becker and
               Sebastian Voss},
  editor    = {Cyrille Artho and
               Peter Csaba {\"{O}}lveczky},
  title     = {A Formal Model and Analysis of Feature Degradation in Fault-Tolerant
               Systems},
  booktitle = {Formal Techniques for Safety-Critical Systems - Fourth International
               Workshop, {FTSCS} 2015, Paris, France, November 6-7, 2015. Revised
               Selected Papers},
  series    = {Communications in Computer and Information Science},
  volume    = {596},
  pages     = {139--154},
  publisher = {Springer},
  year      = {2015},
  url       = {https://doi.org/10.1007/978-3-319-29510-7\_8},
  doi       = {10.1007/978-3-319-29510-7\_8},
  timestamp = {Sat, 10 Mar 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/ftscs/BeckerV15.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftscs/BoudjadarDMK15,
  author    = {Abdeldjalil Boudjadar and
               Juergen Dingel and
               Boris Madzar and
               Jin Hyun Kim},
  editor    = {Cyrille Artho and
               Peter Csaba {\"{O}}lveczky},
  title     = {Compositional Predictability Analysis of Mixed Critical Real Time
               Systems},
  booktitle = {Formal Techniques for Safety-Critical Systems - Fourth International
               Workshop, {FTSCS} 2015, Paris, France, November 6-7, 2015. Revised
               Selected Papers},
  series    = {Communications in Computer and Information Science},
  volume    = {596},
  pages     = {69--84},
  publisher = {Springer},
  year      = {2015},
  url       = {https://doi.org/10.1007/978-3-319-29510-7\_4},
  doi       = {10.1007/978-3-319-29510-7\_4},
  timestamp = {Wed, 24 May 2017 08:30:54 +0200},
  biburl    = {https://dblp.org/rec/conf/ftscs/BoudjadarDMK15.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftscs/GhadhabKKF15,
  author    = {Majdi Ghadhab and
               Matthias Kuntz and
               Dmitrii Kuvaiskii and
               Christof Fetzer},
  editor    = {Cyrille Artho and
               Peter Csaba {\"{O}}lveczky},
  title     = {A Controller Safety Concept Based on Software-Implemented Fault Tolerance
               for Fail-Operational Automotive Applications},
  booktitle = {Formal Techniques for Safety-Critical Systems - Fourth International
               Workshop, {FTSCS} 2015, Paris, France, November 6-7, 2015. Revised
               Selected Papers},
  series    = {Communications in Computer and Information Science},
  volume    = {596},
  pages     = {189--205},
  publisher = {Springer},
  year      = {2015},
  url       = {https://doi.org/10.1007/978-3-319-29510-7\_11},
  doi       = {10.1007/978-3-319-29510-7\_11},
  timestamp = {Wed, 24 May 2017 08:30:54 +0200},
  biburl    = {https://dblp.org/rec/conf/ftscs/GhadhabKKF15.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftscs/GrunerKM15,
  author    = {Stefan Gruner and
               Apurva Kumar and
               Tom Maibaum},
  editor    = {Cyrille Artho and
               Peter Csaba {\"{O}}lveczky},
  title     = {Towards a Body of Knowledge in Formal Methods for the Railway Domain:
               Identification of Settled Knowledge},
  booktitle = {Formal Techniques for Safety-Critical Systems - Fourth International
               Workshop, {FTSCS} 2015, Paris, France, November 6-7, 2015. Revised
               Selected Papers},
  series    = {Communications in Computer and Information Science},
  volume    = {596},
  pages     = {87--102},
  publisher = {Springer},
  year      = {2015},
  url       = {https://doi.org/10.1007/978-3-319-29510-7\_5},
  doi       = {10.1007/978-3-319-29510-7\_5},
  timestamp = {Wed, 24 May 2017 08:30:54 +0200},
  biburl    = {https://dblp.org/rec/conf/ftscs/GrunerKM15.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftscs/JamesLRS15,
  author    = {Phillip James and
               Andrew Lawrence and
               Markus Roggenbach and
               Monika Seisenberger},
  editor    = {Cyrille Artho and
               Peter Csaba {\"{O}}lveczky},
  title     = {Towards Safety Analysis of {ERTMS/ETCS} Level 2 in Real-Time Maude},
  booktitle = {Formal Techniques for Safety-Critical Systems - Fourth International
               Workshop, {FTSCS} 2015, Paris, France, November 6-7, 2015. Revised
               Selected Papers},
  series    = {Communications in Computer and Information Science},
  volume    = {596},
  pages     = {103--120},
  publisher = {Springer},
  year      = {2015},
  url       = {https://doi.org/10.1007/978-3-319-29510-7\_6},
  doi       = {10.1007/978-3-319-29510-7\_6},
  timestamp = {Wed, 24 May 2017 08:30:54 +0200},
  biburl    = {https://dblp.org/rec/conf/ftscs/JamesLRS15.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftscs/LegayT15,
  author    = {Axel Legay and
               Louis{-}Marie Traonouez},
  editor    = {Cyrille Artho and
               Peter Csaba {\"{O}}lveczky},
  title     = {Statistical Model Checking of Simulink Models with Plasma Lab},
  booktitle = {Formal Techniques for Safety-Critical Systems - Fourth International
               Workshop, {FTSCS} 2015, Paris, France, November 6-7, 2015. Revised
               Selected Papers},
  series    = {Communications in Computer and Information Science},
  volume    = {596},
  pages     = {259--264},
  publisher = {Springer},
  year      = {2015},
  url       = {https://doi.org/10.1007/978-3-319-29510-7\_15},
  doi       = {10.1007/978-3-319-29510-7\_15},
  timestamp = {Wed, 24 May 2017 08:30:54 +0200},
  biburl    = {https://dblp.org/rec/conf/ftscs/LegayT15.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftscs/LinOKA15,
  author    = {Hsin{-}Hung Lin and
               Yoichi Omori and
               Shigeru Kusakabe and
               Keijiro Araki},
  editor    = {Cyrille Artho and
               Peter Csaba {\"{O}}lveczky},
  title     = {Towards Verifying {VDM} Using {SPIN}},
  booktitle = {Formal Techniques for Safety-Critical Systems - Fourth International
               Workshop, {FTSCS} 2015, Paris, France, November 6-7, 2015. Revised
               Selected Papers},
  series    = {Communications in Computer and Information Science},
  volume    = {596},
  pages     = {241--256},
  publisher = {Springer},
  year      = {2015},
  url       = {https://doi.org/10.1007/978-3-319-29510-7\_14},
  doi       = {10.1007/978-3-319-29510-7\_14},
  timestamp = {Wed, 24 May 2017 08:30:54 +0200},
  biburl    = {https://dblp.org/rec/conf/ftscs/LinOKA15.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftscs/MayoAH15,
  author    = {Jackson R. Mayo and
               Robert C. Armstrong and
               Geoffrey C. Hulette},
  editor    = {Cyrille Artho and
               Peter Csaba {\"{O}}lveczky},
  title     = {Leveraging Abstraction to Establish Out-of-Nominal Safety Properties},
  booktitle = {Formal Techniques for Safety-Critical Systems - Fourth International
               Workshop, {FTSCS} 2015, Paris, France, November 6-7, 2015. Revised
               Selected Papers},
  series    = {Communications in Computer and Information Science},
  volume    = {596},
  pages     = {172--186},
  publisher = {Springer},
  year      = {2015},
  url       = {https://doi.org/10.1007/978-3-319-29510-7\_10},
  doi       = {10.1007/978-3-319-29510-7\_10},
  timestamp = {Wed, 24 May 2017 08:30:54 +0200},
  biburl    = {https://dblp.org/rec/conf/ftscs/MayoAH15.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftscs/Meseguer15,
  author    = {Jos{\'{e}} Meseguer},
  editor    = {Cyrille Artho and
               Peter Csaba {\"{O}}lveczky},
  title     = {Variant-Based Satisfiability in Initial Algebras},
  booktitle = {Formal Techniques for Safety-Critical Systems - Fourth International
               Workshop, {FTSCS} 2015, Paris, France, November 6-7, 2015. Revised
               Selected Papers},
  series    = {Communications in Computer and Information Science},
  volume    = {596},
  pages     = {3--34},
  publisher = {Springer},
  year      = {2015},
  url       = {https://doi.org/10.1007/978-3-319-29510-7\_1},
  doi       = {10.1007/978-3-319-29510-7\_1},
  timestamp = {Wed, 24 May 2017 08:30:54 +0200},
  biburl    = {https://dblp.org/rec/conf/ftscs/Meseguer15.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftscs/NardoneGBPVMM15,
  author    = {Roberto Nardone and
               Ugo Gentile and
               Massimo Benerecetti and
               Adriano Peron and
               Valeria Vittorini and
               Stefano Marrone and
               Nicola Mazzocca},
  editor    = {Cyrille Artho and
               Peter Csaba {\"{O}}lveczky},
  title     = {Modeling Railway Control Systems in Promela},
  booktitle = {Formal Techniques for Safety-Critical Systems - Fourth International
               Workshop, {FTSCS} 2015, Paris, France, November 6-7, 2015. Revised
               Selected Papers},
  series    = {Communications in Computer and Information Science},
  volume    = {596},
  pages     = {121--136},
  publisher = {Springer},
  year      = {2015},
  url       = {https://doi.org/10.1007/978-3-319-29510-7\_7},
  doi       = {10.1007/978-3-319-29510-7\_7},
  timestamp = {Thu, 07 Nov 2019 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/ftscs/NardoneGBPVMM15.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftscs/WuZ15,
  author    = {Xi Wu and
               Huibiao Zhu},
  editor    = {Cyrille Artho and
               Peter Csaba {\"{O}}lveczky},
  title     = {Probabilistic Analysis of a Calculus for Wireless Sensor Networks},
  booktitle = {Formal Techniques for Safety-Critical Systems - Fourth International
               Workshop, {FTSCS} 2015, Paris, France, November 6-7, 2015. Revised
               Selected Papers},
  series    = {Communications in Computer and Information Science},
  volume    = {596},
  pages     = {155--171},
  publisher = {Springer},
  year      = {2015},
  url       = {https://doi.org/10.1007/978-3-319-29510-7\_9},
  doi       = {10.1007/978-3-319-29510-7\_9},
  timestamp = {Mon, 11 Jun 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/ftscs/WuZ15.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftscs/ZhangM15,
  author    = {Min Zhang and
               Fr{\'{e}}d{\'{e}}ric Mallet},
  editor    = {Cyrille Artho and
               Peter Csaba {\"{O}}lveczky},
  title     = {An Executable Semantics of Clock Constraint Specification Language
               and Its Applications},
  booktitle = {Formal Techniques for Safety-Critical Systems - Fourth International
               Workshop, {FTSCS} 2015, Paris, France, November 6-7, 2015. Revised
               Selected Papers},
  series    = {Communications in Computer and Information Science},
  volume    = {596},
  pages     = {37--51},
  publisher = {Springer},
  year      = {2015},
  url       = {https://doi.org/10.1007/978-3-319-29510-7\_2},
  doi       = {10.1007/978-3-319-29510-7\_2},
  timestamp = {Sat, 16 Sep 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/ftscs/ZhangM15.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ftscs/2014,
  editor    = {Cyrille Artho and
               Peter Csaba {\"{O}}lveczky},
  title     = {Formal Techniques for Safety-Critical Systems - Third International
               Workshop, {FTSCS} 2014, Luxembourg, November 6-7, 2014. Revised Selected
               Papers},
  series    = {Communications in Computer and Information Science},
  volume    = {476},
  publisher = {Springer},
  year      = {2015},
  url       = {https://doi.org/10.1007/978-3-319-17581-2},
  doi       = {10.1007/978-3-319-17581-2},
  isbn      = {978-3-319-17580-5},
  timestamp = {Wed, 24 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/ftscs/2014.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftscs/BukhariLHSH14,
  author    = {Syed Ali Asadullah Bukhari and
               Faiq Khalid Lodhi and
               Osman Hasan and
               Muhammad Shafique and
               J{\"{o}}rg Henkel},
  editor    = {Cyrille Artho and
               Peter Csaba {\"{O}}lveczky},
  title     = {Formal Verification of Distributed Task Migration for Thermal Management
               in On-Chip Multi-core Systems Using nuXmv},
  booktitle = {Formal Techniques for Safety-Critical Systems - Third International
               Workshop, {FTSCS} 2014, Luxembourg, November 6-7, 2014. Revised Selected
               Papers},
  series    = {Communications in Computer and Information Science},
  volume    = {476},
  pages     = {32--46},
  publisher = {Springer},
  year      = {2014},
  url       = {https://doi.org/10.1007/978-3-319-17581-2\_3},
  doi       = {10.1007/978-3-319-17581-2\_3},
  timestamp = {Sat, 11 Nov 2017 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/ftscs/BukhariLHSH14.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftscs/Caltais14,
  author    = {Georgiana Caltais},
  editor    = {Cyrille Artho and
               Peter Csaba {\"{O}}lveczky},
  title     = {Expression-Based Aliasing for OO-languages},
  booktitle = {Formal Techniques for Safety-Critical Systems - Third International
               Workshop, {FTSCS} 2014, Luxembourg, November 6-7, 2014. Revised Selected
               Papers},
  series    = {Communications in Computer and Information Science},
  volume    = {476},
  pages     = {47--61},
  publisher = {Springer},
  year      = {2014},
  url       = {https://doi.org/10.1007/978-3-319-17581-2\_4},
  doi       = {10.1007/978-3-319-17581-2\_4},
  timestamp = {Wed, 24 May 2017 08:30:54 +0200},
  biburl    = {https://dblp.org/rec/conf/ftscs/Caltais14.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftscs/ChoeAH14,
  author    = {Changil Choe and
               Univan Ahn and
               Song Han},
  editor    = {Cyrille Artho and
               Peter Csaba {\"{O}}lveczky},
  title     = {Checking Integral Real-Time Automata for Extended Linear Duration
               Invariants},
  booktitle = {Formal Techniques for Safety-Critical Systems - Third International
               Workshop, {FTSCS} 2014, Luxembourg, November 6-7, 2014. Revised Selected
               Papers},
  series    = {Communications in Computer and Information Science},
  volume    = {476},
  pages     = {62--75},
  publisher = {Springer},
  year      = {2014},
  url       = {https://doi.org/10.1007/978-3-319-17581-2\_5},
  doi       = {10.1007/978-3-319-17581-2\_5},
  timestamp = {Wed, 24 May 2017 08:30:54 +0200},
  biburl    = {https://dblp.org/rec/conf/ftscs/ChoeAH14.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftscs/FilaliOR14,
  author    = {Mamoun Filali and
               Meriem Ouederni and
               Jean{-}Baptiste Raclet},
  editor    = {Cyrille Artho and
               Peter Csaba {\"{O}}lveczky},
  title     = {A Normalized Form for {FIFO} Protocols Traces, Application to the
               Replay of Mode-based Protocols},
  booktitle = {Formal Techniques for Safety-Critical Systems - Third International
               Workshop, {FTSCS} 2014, Luxembourg, November 6-7, 2014. Revised Selected
               Papers},
  series    = {Communications in Computer and Information Science},
  volume    = {476},
  pages     = {76--92},
  publisher = {Springer},
  year      = {2014},
  url       = {https://doi.org/10.1007/978-3-319-17581-2\_6},
  doi       = {10.1007/978-3-319-17581-2\_6},
  timestamp = {Wed, 24 May 2017 08:30:54 +0200},
  biburl    = {https://dblp.org/rec/conf/ftscs/FilaliOR14.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftscs/HavelundJ14,
  author    = {Klaus Havelund and
               Rajeev Joshi},
  editor    = {Cyrille Artho and
               Peter Csaba {\"{O}}lveczky},
  title     = {Experience with Rule-Based Analysis of Spacecraft Logs},
  booktitle = {Formal Techniques for Safety-Critical Systems - Third International
               Workshop, {FTSCS} 2014, Luxembourg, November 6-7, 2014. Revised Selected
               Papers},
  series    = {Communications in Computer and Information Science},
  volume    = {476},
  pages     = {1--16},
  publisher = {Springer},
  year      = {2014},
  url       = {https://doi.org/10.1007/978-3-319-17581-2\_1},
  doi       = {10.1007/978-3-319-17581-2\_1},
  timestamp = {Wed, 24 May 2017 08:30:54 +0200},
  biburl    = {https://dblp.org/rec/conf/ftscs/HavelundJ14.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftscs/HongHP14,
  author    = {Linh Vu Hong and
               Anne E. Haxthausen and
               Jan Peleska},
  editor    = {Cyrille Artho and
               Peter Csaba {\"{O}}lveczky},
  title     = {Formal Modeling and Verification of Interlocking Systems Featuring
               Sequential Release},
  booktitle = {Formal Techniques for Safety-Critical Systems - Third International
               Workshop, {FTSCS} 2014, Luxembourg, November 6-7, 2014. Revised Selected
               Papers},
  series    = {Communications in Computer and Information Science},
  volume    = {476},
  pages     = {223--238},
  publisher = {Springer},
  year      = {2014},
  url       = {https://doi.org/10.1007/978-3-319-17581-2\_15},
  doi       = {10.1007/978-3-319-17581-2\_15},
  timestamp = {Fri, 28 Feb 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/ftscs/HongHP14.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftscs/JacobsS14,
  author    = {Jaco Jacobs and
               Andrew C. Simpson},
  editor    = {Cyrille Artho and
               Peter Csaba {\"{O}}lveczky},
  title     = {A Formal Model of SysML Blocks Using {CSP} for Assured Systems Engineering},
  booktitle = {Formal Techniques for Safety-Critical Systems - Third International
               Workshop, {FTSCS} 2014, Luxembourg, November 6-7, 2014. Revised Selected
               Papers},
  series    = {Communications in Computer and Information Science},
  volume    = {476},
  pages     = {127--141},
  publisher = {Springer},
  year      = {2014},
  url       = {https://doi.org/10.1007/978-3-319-17581-2\_9},
  doi       = {10.1007/978-3-319-17581-2\_9},
  timestamp = {Wed, 24 May 2017 08:30:54 +0200},
  biburl    = {https://dblp.org/rec/conf/ftscs/JacobsS14.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftscs/KelterM14,
  author    = {Timon Kelter and
               Peter Marwedel},
  editor    = {Cyrille Artho and
               Peter Csaba {\"{O}}lveczky},
  title     = {Parallelism Analysis: Precise {WCET} Values for Complex Multi-Core
               Systems},
  booktitle = {Formal Techniques for Safety-Critical Systems - Third International
               Workshop, {FTSCS} 2014, Luxembourg, November 6-7, 2014. Revised Selected
               Papers},
  series    = {Communications in Computer and Information Science},
  volume    = {476},
  pages     = {142--158},
  publisher = {Springer},
  year      = {2014},
  url       = {https://doi.org/10.1007/978-3-319-17581-2\_10},
  doi       = {10.1007/978-3-319-17581-2\_10},
  timestamp = {Wed, 24 May 2017 08:30:54 +0200},
  biburl    = {https://dblp.org/rec/conf/ftscs/KelterM14.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftscs/Klein14,
  author    = {Dominik Klein},
  editor    = {Cyrille Artho and
               Peter Csaba {\"{O}}lveczky},
  title     = {Key-Secrecy of {PACE} with OTS/CafeOBJ},
  booktitle = {Formal Techniques for Safety-Critical Systems - Third International
               Workshop, {FTSCS} 2014, Luxembourg, November 6-7, 2014. Revised Selected
               Papers},
  series    = {Communications in Computer and Information Science},
  volume    = {476},
  pages     = {159--173},
  publisher = {Springer},
  year      = {2014},
  url       = {https://doi.org/10.1007/978-3-319-17581-2\_11},
  doi       = {10.1007/978-3-319-17581-2\_11},
  timestamp = {Wed, 24 May 2017 08:30:54 +0200},
  biburl    = {https://dblp.org/rec/conf/ftscs/Klein14.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftscs/MalletZ14,
  author    = {Fr{\'{e}}d{\'{e}}ric Mallet and
               Grygoriy Zholtkevych},
  editor    = {Cyrille Artho and
               Peter Csaba {\"{O}}lveczky},
  title     = {Coalgebraic Semantic Model for the Clock Constraint Specification
               Language},
  booktitle = {Formal Techniques for Safety-Critical Systems - Third International
               Workshop, {FTSCS} 2014, Luxembourg, November 6-7, 2014. Revised Selected
               Papers},
  series    = {Communications in Computer and Information Science},
  volume    = {476},
  pages     = {174--188},
  publisher = {Springer},
  year      = {2014},
  url       = {https://doi.org/10.1007/978-3-319-17581-2\_12},
  doi       = {10.1007/978-3-319-17581-2\_12},
  timestamp = {Fri, 02 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/ftscs/MalletZ14.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftscs/MarinescuKMSLD14,
  author    = {Raluca Marinescu and
               Henrik Kaijser and
               Marius Mikucionis and
               Cristina Seceleanu and
               Henrik L{\"{o}}nn and
               Alexandre David},
  editor    = {Cyrille Artho and
               Peter Csaba {\"{O}}lveczky},
  title     = {Analyzing Industrial Architectural Models by Simulation and Model-Checking},
  booktitle = {Formal Techniques for Safety-Critical Systems - Third International
               Workshop, {FTSCS} 2014, Luxembourg, November 6-7, 2014. Revised Selected
               Papers},
  series    = {Communications in Computer and Information Science},
  volume    = {476},
  pages     = {189--205},
  publisher = {Springer},
  year      = {2014},
  url       = {https://doi.org/10.1007/978-3-319-17581-2\_13},
  doi       = {10.1007/978-3-319-17581-2\_13},
  timestamp = {Wed, 24 May 2017 08:30:54 +0200},
  biburl    = {https://dblp.org/rec/conf/ftscs/MarinescuKMSLD14.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftscs/MethniLHHB14,
  author    = {Amira Methni and
               Matthieu Lemerre and
               Belgacem Ben Hedia and
               Serge Haddad and
               Kamel Barkaoui},
  editor    = {Cyrille Artho and
               Peter Csaba {\"{O}}lveczky},
  title     = {Specifying and Verifying Concurrent {C} Programs with {TLA+}},
  booktitle = {Formal Techniques for Safety-Critical Systems - Third International
               Workshop, {FTSCS} 2014, Luxembourg, November 6-7, 2014. Revised Selected
               Papers},
  series    = {Communications in Computer and Information Science},
  volume    = {476},
  pages     = {206--222},
  publisher = {Springer},
  year      = {2014},
  url       = {https://doi.org/10.1007/978-3-319-17581-2\_14},
  doi       = {10.1007/978-3-319-17581-2\_14},
  timestamp = {Wed, 24 May 2017 08:30:54 +0200},
  biburl    = {https://dblp.org/rec/conf/ftscs/MethniLHHB14.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftscs/NardoneGPBVMGMV14,
  author    = {Roberto Nardone and
               Ugo Gentile and
               Adriano Peron and
               Massimo Benerecetti and
               Valeria Vittorini and
               Stefano Marrone and
               Renato De Guglielmo and
               Nicola Mazzocca and
               Luigi Velardi},
  editor    = {Cyrille Artho and
               Peter Csaba {\"{O}}lveczky},
  title     = {Dynamic State Machines for Formalizing Railway Control System Specifications},
  booktitle = {Formal Techniques for Safety-Critical Systems - Third International
               Workshop, {FTSCS} 2014, Luxembourg, November 6-7, 2014. Revised Selected
               Papers},
  series    = {Communications in Computer and Information Science},
  volume    = {476},
  pages     = {93--109},
  publisher = {Springer},
  year      = {2014},
  url       = {https://doi.org/10.1007/978-3-319-17581-2\_7},
  doi       = {10.1007/978-3-319-17581-2\_7},
  timestamp = {Thu, 07 Nov 2019 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/ftscs/NardoneGPBVMGMV14.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftscs/Noll14,
  author    = {Thomas Noll},
  editor    = {Cyrille Artho and
               Peter Csaba {\"{O}}lveczky},
  title     = {Safety, Dependability and Performance Analysis of Aerospace Systems},
  booktitle = {Formal Techniques for Safety-Critical Systems - Third International
               Workshop, {FTSCS} 2014, Luxembourg, November 6-7, 2014. Revised Selected
               Papers},
  series    = {Communications in Computer and Information Science},
  volume    = {476},
  pages     = {17--31},
  publisher = {Springer},
  year      = {2014},
  url       = {https://doi.org/10.1007/978-3-319-17581-2\_2},
  doi       = {10.1007/978-3-319-17581-2\_2},
  timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/ftscs/Noll14.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftscs/VuCYA14,
  author    = {Dieu{-}Huong Vu and
               Yuki Chiba and
               Kenro Yatake and
               Toshiaki Aoki},
  editor    = {Cyrille Artho and
               Peter Csaba {\"{O}}lveczky},
  title     = {Checking the Conformance of a Promela Design to its Formal Specification
               in Event-B},
  booktitle = {Formal Techniques for Safety-Critical Systems - Third International
               Workshop, {FTSCS} 2014, Luxembourg, November 6-7, 2014. Revised Selected
               Papers},
  series    = {Communications in Computer and Information Science},
  volume    = {476},
  pages     = {110--126},
  publisher = {Springer},
  year      = {2014},
  url       = {https://doi.org/10.1007/978-3-319-17581-2\_8},
  doi       = {10.1007/978-3-319-17581-2\_8},
  timestamp = {Wed, 24 May 2017 08:30:54 +0200},
  biburl    = {https://dblp.org/rec/conf/ftscs/VuCYA14.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftscs/ZhangAC14,
  author    = {Haitao Zhang and
               Toshiaki Aoki and
               Yuki Chiba},
  editor    = {Cyrille Artho and
               Peter Csaba {\"{O}}lveczky},
  title     = {A Spin-Based Approach for Checking {OSEK/VDX} Applications},
  booktitle = {Formal Techniques for Safety-Critical Systems - Third International
               Workshop, {FTSCS} 2014, Luxembourg, November 6-7, 2014. Revised Selected
               Papers},
  series    = {Communications in Computer and Information Science},
  volume    = {476},
  pages     = {239--255},
  publisher = {Springer},
  year      = {2014},
  url       = {https://doi.org/10.1007/978-3-319-17581-2\_16},
  doi       = {10.1007/978-3-319-17581-2\_16},
  timestamp = {Wed, 24 May 2017 08:30:54 +0200},
  biburl    = {https://dblp.org/rec/conf/ftscs/ZhangAC14.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ftscs/2013,
  editor    = {Cyrille Artho and
               Peter Csaba {\"{O}}lveczky},
  title     = {Formal Techniques for Safety-Critical Systems - Second International
               Workshop, {FTSCS} 2013, Queenstown, New Zealand, October 29-30, 2013.
               Revised Selected Papers},
  series    = {Communications in Computer and Information Science},
  volume    = {419},
  publisher = {Springer},
  year      = {2014},
  url       = {https://doi.org/10.1007/978-3-319-05416-2},
  doi       = {10.1007/978-3-319-05416-2},
  isbn      = {978-3-319-05415-5},
  timestamp = {Wed, 24 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/ftscs/2013.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftscs/ArthoHRY13,
  author    = {Cyrille Artho and
               Koji Hayamizu and
               Rudolf Ramler and
               Yoriyuki Yamagata},
  editor    = {Cyrille Artho and
               Peter Csaba {\"{O}}lveczky},
  title     = {With an Open Mind: How to Write Good Models},
  booktitle = {Formal Techniques for Safety-Critical Systems - Second International
               Workshop, {FTSCS} 2013, Queenstown, New Zealand, October 29-30, 2013.
               Revised Selected Papers},
  series    = {Communications in Computer and Information Science},
  volume    = {419},
  pages     = {3--18},
  publisher = {Springer},
  year      = {2013},
  url       = {https://doi.org/10.1007/978-3-319-05416-2\_2},
  doi       = {10.1007/978-3-319-05416-2\_2},
  timestamp = {Wed, 24 May 2017 08:30:54 +0200},
  biburl    = {https://dblp.org/rec/conf/ftscs/ArthoHRY13.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftscs/CarvalhoBLSP13,
  author    = {Gustavo Carvalho and
               Fl{\'{a}}via de Almeida Barros and
               Florian Lapschies and
               Uwe Schulze and
               Jan Peleska},
  editor    = {Cyrille Artho and
               Peter Csaba {\"{O}}lveczky},
  title     = {Model-Based Testing from Controlled Natural Language Requirements},
  booktitle = {Formal Techniques for Safety-Critical Systems - Second International
               Workshop, {FTSCS} 2013, Queenstown, New Zealand, October 29-30, 2013.
               Revised Selected Papers},
  series    = {Communications in Computer and Information Science},
  volume    = {419},
  pages     = {19--35},
  publisher = {Springer},
  year      = {2013},
  url       = {https://doi.org/10.1007/978-3-319-05416-2\_3},
  doi       = {10.1007/978-3-319-05416-2\_3},
  timestamp = {Wed, 24 May 2017 08:30:54 +0200},
  biburl    = {https://dblp.org/rec/conf/ftscs/CarvalhoBLSP13.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftscs/GuoLYA13,
  author    = {Xiaoyun Guo and
               Hsin{-}Hung Lin and
               Kenro Yatake and
               Toshiaki Aoki},
  editor    = {Cyrille Artho and
               Peter Csaba {\"{O}}lveczky},
  title     = {An {UPPAAL} Framework for Model Checking Automotive Systems with FlexRay
               Protocol},
  booktitle = {Formal Techniques for Safety-Critical Systems - Second International
               Workshop, {FTSCS} 2013, Queenstown, New Zealand, October 29-30, 2013.
               Revised Selected Papers},
  series    = {Communications in Computer and Information Science},
  volume    = {419},
  pages     = {36--53},
  publisher = {Springer},
  year      = {2013},
  url       = {https://doi.org/10.1007/978-3-319-05416-2\_4},
  doi       = {10.1007/978-3-319-05416-2\_4},
  timestamp = {Wed, 24 May 2017 08:30:54 +0200},
  biburl    = {https://dblp.org/rec/conf/ftscs/GuoLYA13.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftscs/Hayes13,
  author    = {Ian J. Hayes},
  editor    = {Cyrille Artho and
               Peter Csaba {\"{O}}lveczky},
  title     = {Towards Structuring System Specifications with Time Bands Using Layers
               of Rely-Guarantee Conditions},
  booktitle = {Formal Techniques for Safety-Critical Systems - Second International
               Workshop, {FTSCS} 2013, Queenstown, New Zealand, October 29-30, 2013.
               Revised Selected Papers},
  series    = {Communications in Computer and Information Science},
  volume    = {419},
  pages     = {1--2},
  publisher = {Springer},
  year      = {2013},
  url       = {https://doi.org/10.1007/978-3-319-05416-2\_1},
  doi       = {10.1007/978-3-319-05416-2\_1},
  timestamp = {Fri, 02 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/ftscs/Hayes13.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftscs/HoqueMST13,
  author    = {Khaza Anuarul Hoque and
               Otmane A{\"{\i}}t Mohamed and
               Yvon Savaria and
               Claude Thibeault},
  editor    = {Cyrille Artho and
               Peter Csaba {\"{O}}lveczky},
  title     = {Early Analysis of Soft Error Effects for Aerospace Applications Using
               Probabilistic Model Checking},
  booktitle = {Formal Techniques for Safety-Critical Systems - Second International
               Workshop, {FTSCS} 2013, Queenstown, New Zealand, October 29-30, 2013.
               Revised Selected Papers},
  series    = {Communications in Computer and Information Science},
  volume    = {419},
  pages     = {54--70},
  publisher = {Springer},
  year      = {2013},
  url       = {https://doi.org/10.1007/978-3-319-05416-2\_5},
  doi       = {10.1007/978-3-319-05416-2\_5},
  timestamp = {Wed, 24 May 2017 08:30:54 +0200},
  biburl    = {https://dblp.org/rec/conf/ftscs/HoqueMST13.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftscs/LiP13,
  author    = {Yongjian Li and
               Jun Pang},
  editor    = {Cyrille Artho and
               Peter Csaba {\"{O}}lveczky},
  title     = {A Strand Space Approach to Provable Anonymity},
  booktitle = {Formal Techniques for Safety-Critical Systems - Second International
               Workshop, {FTSCS} 2013, Queenstown, New Zealand, October 29-30, 2013.
               Revised Selected Papers},
  series    = {Communications in Computer and Information Science},
  volume    = {419},
  pages     = {71--87},
  publisher = {Springer},
  year      = {2013},
  url       = {https://doi.org/10.1007/978-3-319-05416-2\_6},
  doi       = {10.1007/978-3-319-05416-2\_6},
  timestamp = {Sat, 31 Aug 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/ftscs/LiP13.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftscs/NellenA0C13,
  author    = {Johanna Nellen and
               Erika {\'{A}}brah{\'{a}}m and
               Xin Chen and
               Pieter Collins},
  editor    = {Cyrille Artho and
               Peter Csaba {\"{O}}lveczky},
  title     = {Counterexample Generation for Hybrid Automata},
  booktitle = {Formal Techniques for Safety-Critical Systems - Second International
               Workshop, {FTSCS} 2013, Queenstown, New Zealand, October 29-30, 2013.
               Revised Selected Papers},
  series    = {Communications in Computer and Information Science},
  volume    = {419},
  pages     = {88--106},
  publisher = {Springer},
  year      = {2013},
  url       = {https://doi.org/10.1007/978-3-319-05416-2\_7},
  doi       = {10.1007/978-3-319-05416-2\_7},
  timestamp = {Fri, 02 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/ftscs/NellenA0C13.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftscs/OstroffWHL013,
  author    = {Jonathan S. Ostroff and
               Chen{-}Wei Wang and
               Simon Hudon and
               Yang Liu and
               Jun Sun},
  editor    = {Cyrille Artho and
               Peter Csaba {\"{O}}lveczky},
  title     = {{TTM/PAT:} Specifying and Verifying Timed Transition Models},
  booktitle = {Formal Techniques for Safety-Critical Systems - Second International
               Workshop, {FTSCS} 2013, Queenstown, New Zealand, October 29-30, 2013.
               Revised Selected Papers},
  series    = {Communications in Computer and Information Science},
  volume    = {419},
  pages     = {107--124},
  publisher = {Springer},
  year      = {2013},
  url       = {https://doi.org/10.1007/978-3-319-05416-2\_8},
  doi       = {10.1007/978-3-319-05416-2\_8},
  timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/ftscs/OstroffWHL013.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftscs/PangWLW13,
  author    = {Linna Pang and
               Chen{-}Wei Wang and
               Mark Lawford and
               Alan Wassyng},
  editor    = {Cyrille Artho and
               Peter Csaba {\"{O}}lveczky},
  title     = {Formalizing and Verifying Function Blocks Using Tabular Expressions
               and {PVS}},
  booktitle = {Formal Techniques for Safety-Critical Systems - Second International
               Workshop, {FTSCS} 2013, Queenstown, New Zealand, October 29-30, 2013.
               Revised Selected Papers},
  series    = {Communications in Computer and Information Science},
  volume    = {419},
  pages     = {125--141},
  publisher = {Springer},
  year      = {2013},
  url       = {https://doi.org/10.1007/978-3-319-05416-2\_9},
  doi       = {10.1007/978-3-319-05416-2\_9},
  timestamp = {Wed, 24 May 2017 08:30:54 +0200},
  biburl    = {https://dblp.org/rec/conf/ftscs/PangWLW13.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftscs/PearceG13,
  author    = {David J. Pearce and
               Lindsay Groves},
  editor    = {Cyrille Artho and
               Peter Csaba {\"{O}}lveczky},
  title     = {Reflections on Verifying Software with Whiley},
  booktitle = {Formal Techniques for Safety-Critical Systems - Second International
               Workshop, {FTSCS} 2013, Queenstown, New Zealand, October 29-30, 2013.
               Revised Selected Papers},
  series    = {Communications in Computer and Information Science},
  volume    = {419},
  pages     = {142--159},
  publisher = {Springer},
  year      = {2013},
  url       = {https://doi.org/10.1007/978-3-319-05416-2\_10},
  doi       = {10.1007/978-3-319-05416-2\_10},
  timestamp = {Wed, 24 May 2017 08:30:54 +0200},
  biburl    = {https://dblp.org/rec/conf/ftscs/PearceG13.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftscs/PilbrowM13,
  author    = {Colin Pilbrow and
               Robi Malik},
  editor    = {Cyrille Artho and
               Peter Csaba {\"{O}}lveczky},
  title     = {Compositional Nonblocking Verification with Always Enabled Events
               and Selfloop-Only Events},
  booktitle = {Formal Techniques for Safety-Critical Systems - Second International
               Workshop, {FTSCS} 2013, Queenstown, New Zealand, October 29-30, 2013.
               Revised Selected Papers},
  series    = {Communications in Computer and Information Science},
  volume    = {419},
  pages     = {160--177},
  publisher = {Springer},
  year      = {2013},
  url       = {https://doi.org/10.1007/978-3-319-05416-2\_11},
  doi       = {10.1007/978-3-319-05416-2\_11},
  timestamp = {Wed, 24 May 2017 08:30:54 +0200},
  biburl    = {https://dblp.org/rec/conf/ftscs/PilbrowM13.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftscs/Sabahi-KavianiKSOK13,
  author    = {Zeynab Sabahi{-}Kaviani and
               Ramtin Khosravi and
               Marjan Sirjani and
               Peter Csaba {\"{O}}lveczky and
               Ehsan Khamespanah},
  editor    = {Cyrille Artho and
               Peter Csaba {\"{O}}lveczky},
  title     = {Formal Semantics and Analysis of Timed Rebeca in Real-Time Maude},
  booktitle = {Formal Techniques for Safety-Critical Systems - Second International
               Workshop, {FTSCS} 2013, Queenstown, New Zealand, October 29-30, 2013.
               Revised Selected Papers},
  series    = {Communications in Computer and Information Science},
  volume    = {419},
  pages     = {178--194},
  publisher = {Springer},
  year      = {2013},
  url       = {https://doi.org/10.1007/978-3-319-05416-2\_12},
  doi       = {10.1007/978-3-319-05416-2\_12},
  timestamp = {Wed, 24 May 2017 08:30:54 +0200},
  biburl    = {https://dblp.org/rec/conf/ftscs/Sabahi-KavianiKSOK13.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftscs/SimpsonJ13,
  author    = {Andrew Simpson and
               Jaco Jacobs},
  editor    = {Cyrille Artho and
               Peter Csaba {\"{O}}lveczky},
  title     = {On the Cloud-Enabled Refinement Checking of Railway Signalling Interlockings},
  booktitle = {Formal Techniques for Safety-Critical Systems - Second International
               Workshop, {FTSCS} 2013, Queenstown, New Zealand, October 29-30, 2013.
               Revised Selected Papers},
  series    = {Communications in Computer and Information Science},
  volume    = {419},
  pages     = {195--211},
  publisher = {Springer},
  year      = {2013},
  url       = {https://doi.org/10.1007/978-3-319-05416-2\_13},
  doi       = {10.1007/978-3-319-05416-2\_13},
  timestamp = {Wed, 24 May 2017 08:30:54 +0200},
  biburl    = {https://dblp.org/rec/conf/ftscs/SimpsonJ13.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftscs/SunSLAF13,
  author    = {Youcheng Sun and
               Romain Soulat and
               Giuseppe Lipari and
               {\'{E}}tienne Andr{\'{e}} and
               Laurent Fribourg},
  editor    = {Cyrille Artho and
               Peter Csaba {\"{O}}lveczky},
  title     = {Parametric Schedulability Analysis of Fixed Priority Real-Time Distributed
               Systems},
  booktitle = {Formal Techniques for Safety-Critical Systems - Second International
               Workshop, {FTSCS} 2013, Queenstown, New Zealand, October 29-30, 2013.
               Revised Selected Papers},
  series    = {Communications in Computer and Information Science},
  volume    = {419},
  pages     = {212--228},
  publisher = {Springer},
  year      = {2013},
  url       = {https://doi.org/10.1007/978-3-319-05416-2\_14},
  doi       = {10.1007/978-3-319-05416-2\_14},
  timestamp = {Sat, 16 Sep 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/ftscs/SunSLAF13.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftscs/SuryadevaraSSSEP13,
  author    = {Jagadish Suryadevara and
               Gaetana Sapienza and
               Cristina Cerschi Seceleanu and
               Tiberiu Seceleanu and
               Stein Erik Ellevseth and
               Paul Pettersson},
  editor    = {Cyrille Artho and
               Peter Csaba {\"{O}}lveczky},
  title     = {Wind Turbine System: An Industrial Case Study in Formal Modeling and
               Verification},
  booktitle = {Formal Techniques for Safety-Critical Systems - Second International
               Workshop, {FTSCS} 2013, Queenstown, New Zealand, October 29-30, 2013.
               Revised Selected Papers},
  series    = {Communications in Computer and Information Science},
  volume    = {419},
  pages     = {229--245},
  publisher = {Springer},
  year      = {2013},
  url       = {https://doi.org/10.1007/978-3-319-05416-2\_15},
  doi       = {10.1007/978-3-319-05416-2\_15},
  timestamp = {Wed, 24 May 2017 08:30:54 +0200},
  biburl    = {https://dblp.org/rec/conf/ftscs/SuryadevaraSSSEP13.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftscs/TraichaiyapornA13,
  author    = {Kriangkrai Traichaiyaporn and
               Toshiaki Aoki},
  editor    = {Cyrille Artho and
               Peter Csaba {\"{O}}lveczky},
  title     = {Refinement Tree and Its Patterns: {A} Graphical Approach for Event-B
               Modeling},
  booktitle = {Formal Techniques for Safety-Critical Systems - Second International
               Workshop, {FTSCS} 2013, Queenstown, New Zealand, October 29-30, 2013.
               Revised Selected Papers},
  series    = {Communications in Computer and Information Science},
  volume    = {419},
  pages     = {246--261},
  publisher = {Springer},
  year      = {2013},
  url       = {https://doi.org/10.1007/978-3-319-05416-2\_16},
  doi       = {10.1007/978-3-319-05416-2\_16},
  timestamp = {Wed, 24 May 2017 08:30:54 +0200},
  biburl    = {https://dblp.org/rec/conf/ftscs/TraichaiyapornA13.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftscs/WangOH13,
  author    = {Chen{-}Wei Wang and
               Jonathan S. Ostroff and
               Simon Hudon},
  editor    = {Cyrille Artho and
               Peter Csaba {\"{O}}lveczky},
  title     = {Precise Documentation and Validation of Requirements},
  booktitle = {Formal Techniques for Safety-Critical Systems - Second International
               Workshop, {FTSCS} 2013, Queenstown, New Zealand, October 29-30, 2013.
               Revised Selected Papers},
  series    = {Communications in Computer and Information Science},
  volume    = {419},
  pages     = {262--279},
  publisher = {Springer},
  year      = {2013},
  url       = {https://doi.org/10.1007/978-3-319-05416-2\_17},
  doi       = {10.1007/978-3-319-05416-2\_17},
  timestamp = {Wed, 24 May 2017 08:30:54 +0200},
  biburl    = {https://dblp.org/rec/conf/ftscs/WangOH13.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftscs/WareMMF13,
  author    = {Simon Ware and
               Robi Malik and
               Sahar Mohajerani and
               Martin Fabian},
  editor    = {Cyrille Artho and
               Peter Csaba {\"{O}}lveczky},
  title     = {Certainly Unsupervisable States},
  booktitle = {Formal Techniques for Safety-Critical Systems - Second International
               Workshop, {FTSCS} 2013, Queenstown, New Zealand, October 29-30, 2013.
               Revised Selected Papers},
  series    = {Communications in Computer and Information Science},
  volume    = {419},
  pages     = {280--296},
  publisher = {Springer},
  year      = {2013},
  url       = {https://doi.org/10.1007/978-3-319-05416-2\_18},
  doi       = {10.1007/978-3-319-05416-2\_18},
  timestamp = {Wed, 24 May 2017 08:30:54 +0200},
  biburl    = {https://dblp.org/rec/conf/ftscs/WareMMF13.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1301-0037,
  author    = {Ralf Huuck},
  editor    = {Peter Csaba {\"{O}}lveczky and
               Cyrille Artho},
  title     = {Formal Verification, Engineering and Business Value},
  booktitle = {Proceedings First International Workshop on Formal Techniques for
               Safety-Critical Systems, {FTSCS} 2012, Kyoto, Japan, November 12,
               2012},
  series    = {{EPTCS}},
  volume    = {105},
  pages     = {1--4},
  year      = {2012},
  url       = {https://doi.org/10.4204/EPTCS.105.1},
  doi       = {10.4204/EPTCS.105.1},
  timestamp = {Wed, 12 Sep 2018 01:05:16 +0200},
  biburl    = {https://dblp.org/rec/journals/corr/abs-1301-0037.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1301-0038,
  author    = {Kyungmin Bae and
               Joshua Krisiloff and
               Jos{\'{e}} Meseguer and
               Peter Csaba {\"{O}}lveczky},
  editor    = {Peter Csaba {\"{O}}lveczky and
               Cyrille Artho},
  title     = {PALS-Based Analysis of an Airplane Multirate Control System in Real-Time
               Maude},
  booktitle = {Proceedings First International Workshop on Formal Techniques for
               Safety-Critical Systems, {FTSCS} 2012, Kyoto, Japan, November 12,
               2012},
  series    = {{EPTCS}},
  volume    = {105},
  pages     = {5--21},
  year      = {2012},
  url       = {https://doi.org/10.4204/EPTCS.105.2},
  doi       = {10.4204/EPTCS.105.2},
  timestamp = {Wed, 12 Sep 2018 01:05:16 +0200},
  biburl    = {https://dblp.org/rec/journals/corr/abs-1301-0038.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1301-0039,
  author    = {Adrien Champion and
               R{\'{e}}mi Delmas and
               Michael Dierkes},
  editor    = {Peter Csaba {\"{O}}lveczky and
               Cyrille Artho},
  title     = {Generating Property-Directed Potential Invariants By Backward Analysis},
  booktitle = {Proceedings First International Workshop on Formal Techniques for
               Safety-Critical Systems, {FTSCS} 2012, Kyoto, Japan, November 12,
               2012},
  series    = {{EPTCS}},
  volume    = {105},
  pages     = {22--38},
  year      = {2012},
  url       = {https://doi.org/10.4204/EPTCS.105.3},
  doi       = {10.4204/EPTCS.105.3},
  timestamp = {Wed, 12 Sep 2018 01:05:16 +0200},
  biburl    = {https://dblp.org/rec/journals/corr/abs-1301-0039.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1301-0040,
  author    = {Peter Hui and
               Satish Chikkagoudar},
  editor    = {Peter Csaba {\"{O}}lveczky and
               Cyrille Artho},
  title     = {A Formal Model For Real-Time Parallel Computation},
  booktitle = {Proceedings First International Workshop on Formal Techniques for
               Safety-Critical Systems, {FTSCS} 2012, Kyoto, Japan, November 12,
               2012},
  series    = {{EPTCS}},
  volume    = {105},
  pages     = {39--55},
  year      = {2012},
  url       = {https://doi.org/10.4204/EPTCS.105.4},
  doi       = {10.4204/EPTCS.105.4},
  timestamp = {Wed, 12 Sep 2018 01:05:16 +0200},
  biburl    = {https://dblp.org/rec/journals/corr/abs-1301-0040.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1301-0041,
  author    = {Masahiro Matsubara and
               Kohei Sakurai and
               Fumio Narisawa and
               Masushi Enshoiwa and
               Yoshio Yamane and
               Hisamitsu Yamanaka},
  editor    = {Peter Csaba {\"{O}}lveczky and
               Cyrille Artho},
  title     = {Model Checking with Program Slicing Based on Variable Dependence Graphs},
  booktitle = {Proceedings First International Workshop on Formal Techniques for
               Safety-Critical Systems, {FTSCS} 2012, Kyoto, Japan, November 12,
               2012},
  series    = {{EPTCS}},
  volume    = {105},
  pages     = {56--68},
  year      = {2012},
  url       = {https://doi.org/10.4204/EPTCS.105.5},
  doi       = {10.4204/EPTCS.105.5},
  timestamp = {Wed, 12 Sep 2018 01:05:16 +0200},
  biburl    = {https://dblp.org/rec/journals/corr/abs-1301-0041.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1301-0042,
  author    = {Mingyu Park and
               Taejoon Byun and
               Yunja Choi},
  editor    = {Peter Csaba {\"{O}}lveczky and
               Cyrille Artho},
  title     = {Property-based Code Slicing for Efficient Verification of {OSEK/VDX}
               Operating Systems},
  booktitle = {Proceedings First International Workshop on Formal Techniques for
               Safety-Critical Systems, {FTSCS} 2012, Kyoto, Japan, November 12,
               2012},
  series    = {{EPTCS}},
  volume    = {105},
  pages     = {69--84},
  year      = {2012},
  url       = {https://doi.org/10.4204/EPTCS.105.6},
  doi       = {10.4204/EPTCS.105.6},
  timestamp = {Wed, 12 Sep 2018 01:05:16 +0200},
  biburl    = {https://dblp.org/rec/journals/corr/abs-1301-0042.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1301-0043,
  author    = {Siraj Ahmed Shaikh and
               Padmanabhan Krishnan},
  editor    = {Peter Csaba {\"{O}}lveczky and
               Cyrille Artho},
  title     = {A Framework for Analysing Driver Interactions with Semi-Autonomous
               Vehicles},
  booktitle = {Proceedings First International Workshop on Formal Techniques for
               Safety-Critical Systems, {FTSCS} 2012, Kyoto, Japan, November 12,
               2012},
  series    = {{EPTCS}},
  volume    = {105},
  pages     = {85--99},
  year      = {2012},
  url       = {https://doi.org/10.4204/EPTCS.105.7},
  doi       = {10.4204/EPTCS.105.7},
  timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/corr/abs-1301-0043.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1301-0044,
  author    = {Chen{-}Wei Wang and
               Jim Davies},
  editor    = {Peter Csaba {\"{O}}lveczky and
               Cyrille Artho},
  title     = {Formal Model-Driven Engineering: Generating Data and Behavioural Components},
  booktitle = {Proceedings First International Workshop on Formal Techniques for
               Safety-Critical Systems, {FTSCS} 2012, Kyoto, Japan, November 12,
               2012},
  series    = {{EPTCS}},
  volume    = {105},
  pages     = {100--117},
  year      = {2012},
  url       = {https://doi.org/10.4204/EPTCS.105.8},
  doi       = {10.4204/EPTCS.105.8},
  timestamp = {Wed, 12 Sep 2018 01:05:16 +0200},
  biburl    = {https://dblp.org/rec/journals/corr/abs-1301-0044.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1301-0045,
  author    = {Mengying Wang and
               Yang Lu},
  editor    = {Peter Csaba {\"{O}}lveczky and
               Cyrille Artho},
  title     = {A Timed Calculus for Mobile Ad Hoc Networks},
  booktitle = {Proceedings First International Workshop on Formal Techniques for
               Safety-Critical Systems, {FTSCS} 2012, Kyoto, Japan, November 12,
               2012},
  series    = {{EPTCS}},
  volume    = {105},
  pages     = {118--134},
  year      = {2012},
  url       = {https://doi.org/10.4204/EPTCS.105.9},
  doi       = {10.4204/EPTCS.105.9},
  timestamp = {Wed, 12 Sep 2018 01:05:16 +0200},
  biburl    = {https://dblp.org/rec/journals/corr/abs-1301-0045.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1301-0046,
  author    = {Zheng Wang and
               Geguang Pu and
               Jianwen Li and
               Jifeng He and
               Shengchao Qin and
               Kim G. Larsen and
               Jan Madsen and
               Bin Gu},
  editor    = {Peter Csaba {\"{O}}lveczky and
               Cyrille Artho},
  title     = {{MDM:} {A} Mode Diagram Modeling Framework},
  booktitle = {Proceedings First International Workshop on Formal Techniques for
               Safety-Critical Systems, {FTSCS} 2012, Kyoto, Japan, November 12,
               2012},
  series    = {{EPTCS}},
  volume    = {105},
  pages     = {135--149},
  year      = {2012},
  url       = {https://doi.org/10.4204/EPTCS.105.10},
  doi       = {10.4204/EPTCS.105.10},
  timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/corr/abs-1301-0046.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/abs-1212-6574,
  editor    = {Peter Csaba {\"{O}}lveczky and
               Cyrille Artho},
  title     = {Proceedings First International Workshop on Formal Techniques for
               Safety-Critical Systems, {FTSCS} 2012, Kyoto, Japan, November 12,
               2012},
  series    = {{EPTCS}},
  volume    = {105},
  year      = {2012},
  url       = {https://doi.org/10.4204/EPTCS.105},
  doi       = {10.4204/EPTCS.105},
  timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/corr/abs-1212-6574.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics