Search dblp for Publications

export results for "toc:db/series/eptcs/eptcs105.bht:"

 download as .bib file

@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, 20 Sep 2023 01:00:00 +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:00:00 +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    = {Thu, 14 Oct 2021 01:00:00 +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:00:00 +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:00:00 +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    = {Fri, 09 Apr 2021 01:00:00 +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:00:00 +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    = {Tue, 07 May 2024 01:00:00 +0200},
  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

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.