Search dblp for Publications

export results for "toc:db/conf/ftscs/ftscs2019.bht:"

 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}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics