Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Peter Csaba Ölveczky

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

◀ ▶ joint publications with Cyrille Artho

> Home > Persons > Peter Csaba Ölveczky

Publications

2023
[e16]
- view
  authority control:
- export record
  dblp key:
  - conf/ftscs/2023
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ftscs/2023
Cyrille Artho, Peter Csaba Ölveczky:
Proceedings of the 9th ACM SIGPLAN International Workshop on Formal Techniques for Safety-Critical Systems, FTSCS 2023, Cascais, Portugal, 22 October 2023. ACM 2023 [contents]
2022
[e15]
- view
  authority control:
- export record
  dblp key:
  - conf/ftscs/2022
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ftscs/2022
Cyrille Artho, Peter Csaba Ölveczky:
Proceedings of the 8th ACM SIGPLAN International Workshop on Formal Techniques for Safety-Critical Systems, FTSCS 2022, Auckland, New Zealand, 7 December 2022. ACM 2022, ISBN 978-1-4503-9907-4 [contents]
2021
[j25]
- view
  authority control:
- export record
  dblp key:
  - journals/scp/ArthoO21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/ArthoO21
Cyrille Artho, Peter Csaba Ölveczky:
Formal Techniques for Safety-Critical Systems (FTSCS 2018). Sci. Comput. Program. 208: 102658 (2021)
2019
[j19]
- view
  authority control:
- export record
  dblp key:
  - journals/scp/ArthoO19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/ArthoO19
Cyrille Artho, Peter Csaba Ölveczky:
Formal Techniques for Safety-Critical Systems (FTSCS 2016). Sci. Comput. Program. 175: 35-36 (2019)
[e13]
- view
  authority control:
- export record
  dblp key:
  - conf/ftscs/2018
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ftscs/2018
Cyrille Artho, Peter Csaba Ölveczky:
Formal Techniques for Safety-Critical Systems - 6th International Workshop, FTSCS 2018, Gold Coast, Australia, November 16, 2018, Revised Selected Papers. Communications in Computer and Information Science 1008, Springer 2019, ISBN 978-3-030-12987-3 [contents]
2018
[j18]
- view
  authority control:
- export record
  dblp key:
  - journals/scp/ArthoO18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/ArthoO18
Cyrille Artho, Peter Csaba Ölveczky:
Formal Techniques for Safety-Critical Systems (FTSCS 2015). Sci. Comput. Program. 154: 1-2 (2018)
2017
[j17]
- view
  authority control:
- export record
  dblp key:
  - journals/scp/ArthoO17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/ArthoO17
Cyrille Artho, Peter Csaba Ölveczky:
Formal Techniques for Safety-Critical Systems (FTSCS 2014). Sci. Comput. Program. 133: 89-90 (2017)
[e10]
- view
  authority control:
- export record
  dblp key:
  - conf/ftscs/2016
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ftscs/2016
Cyrille Artho, Peter Csaba Ölveczky:
Formal Techniques for Safety-Critical Systems - 5th International Workshop, FTSCS 2016, Tokyo, Japan, November 14, 2016, Revised Selected Papers. Communications in Computer and Information Science 694, 2017, ISBN 978-3-319-53945-4 [contents]
2016
[e8]
- view
  authority control:
- export record
  dblp key:
  - conf/ftscs/2015
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ftscs/2015
Cyrille Artho, Peter Csaba Ölveczky:
Formal Techniques for Safety-Critical Systems - Fourth International Workshop, FTSCS 2015, Paris, France, November 6-7, 2015. Revised Selected Papers. Communications in Computer and Information Science 596, Springer 2016, ISBN 978-3-319-29509-1 [contents]
2015
[j13]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/scp/ArthoO15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/ArthoO15
Cyrille Artho, Peter Csaba Ölveczky:
Preface. Sci. Comput. Program. 103: 1-2 (2015)
[j11]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/scp/ArthoO15a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/ArthoO15a
Cyrille Artho, Peter Csaba Ölveczky:
Preface. Sci. Comput. Program. 113: 83-84 (2015)
[e6]
- view
  authority control:
- export record
  dblp key:
  - conf/ftscs/2014
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ftscs/2014
Cyrille Artho, Peter Csaba Ölveczky:
Formal Techniques for Safety-Critical Systems - Third International Workshop, FTSCS 2014, Luxembourg, November 6-7, 2014. Revised Selected Papers. Communications in Computer and Information Science 476, Springer 2015, ISBN 978-3-319-17580-5 [contents]
2014
[e5]
- view
  authority control:
- export record
  dblp key:
  - conf/ftscs/2013
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ftscs/2013
Cyrille Artho, Peter Csaba Ölveczky:
Formal Techniques for Safety-Critical Systems - Second International Workshop, FTSCS 2013, Queenstown, New Zealand, October 29-30, 2013. Revised Selected Papers. Communications in Computer and Information Science 419, Springer 2014, ISBN 978-3-319-05415-5 [contents]
2012
[e3]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1212-6574
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1212-6574
Peter Csaba Ölveczky, Cyrille Artho:
Proceedings First International Workshop on Formal Techniques for Safety-Critical Systems, FTSCS 2012, Kyoto, Japan, November 12, 2012. EPTCS 105, 2012 [contents]

a service of

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.