Search dblp for Publications

export results for "toc:db/conf/birthday/Peleska2023.bht:"

 download as .bib file

@inproceedings{DBLP:conf/birthday/000123a,
  author       = {Jim Woodcock},
  editor       = {Anne E. Haxthausen and
                  Wen{-}ling Huang and
                  Markus Roggenbach},
  title        = {Towards a Unifying Framework for Uncertainty in Cyber-Physical Systems},
  booktitle    = {Applicable Formal Methods for Safe Industrial Products - Essays Dedicated
                  to Jan Peleska on the Occasion of His 65th Birthday},
  series       = {Lecture Notes in Computer Science},
  volume       = {14165},
  pages        = {237--253},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-40132-9\_15},
  doi          = {10.1007/978-3-031-40132-9\_15},
  timestamp    = {Wed, 20 Sep 2023 17:19:14 +0200},
  biburl       = {https://dblp.org/rec/conf/birthday/000123a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/birthday/0001MST23,
  author       = {Ana Cavalcanti and
                  Alvaro Miyazawa and
                  Uwe Schulze and
                  Jon Timmis},
  editor       = {Anne E. Haxthausen and
                  Wen{-}ling Huang and
                  Markus Roggenbach},
  title        = {Bringing RoboStar and RT-Tester Together},
  booktitle    = {Applicable Formal Methods for Safe Industrial Products - Essays Dedicated
                  to Jan Peleska on the Occasion of His 65th Birthday},
  series       = {Lecture Notes in Computer Science},
  volume       = {14165},
  pages        = {16--33},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-40132-9\_2},
  doi          = {10.1007/978-3-031-40132-9\_2},
  timestamp    = {Sun, 24 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/birthday/0001MST23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/birthday/AkintundeBJMMZ23,
  author       = {Michael E. Akintunde and
                  Martim Brand{\~{a}}o and
                  Gunel Jahangirova and
                  Hector Menendez and
                  Mohammad Reza Mousavi and
                  Jie Zhang},
  editor       = {Anne E. Haxthausen and
                  Wen{-}ling Huang and
                  Markus Roggenbach},
  title        = {On Testing Ethical Autonomous Decision-Making},
  booktitle    = {Applicable Formal Methods for Safe Industrial Products - Essays Dedicated
                  to Jan Peleska on the Occasion of His 65th Birthday},
  series       = {Lecture Notes in Computer Science},
  volume       = {14165},
  pages        = {3--15},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-40132-9\_1},
  doi          = {10.1007/978-3-031-40132-9\_1},
  timestamp    = {Wed, 20 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/birthday/AkintundeBJMMZ23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/birthday/BischopinkO23,
  author       = {Christopher Bischopink and
                  Ernst{-}R{\"{u}}diger Olderog},
  editor       = {Anne E. Haxthausen and
                  Wen{-}ling Huang and
                  Markus Roggenbach},
  title        = {Time for Traffic Manoeuvres},
  booktitle    = {Applicable Formal Methods for Safe Industrial Products - Essays Dedicated
                  to Jan Peleska on the Occasion of His 65th Birthday},
  series       = {Lecture Notes in Computer Science},
  volume       = {14165},
  pages        = {163--179},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-40132-9\_11},
  doi          = {10.1007/978-3-031-40132-9\_11},
  timestamp    = {Wed, 20 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/birthday/BischopinkO23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/birthday/Braband23,
  author       = {Jens Braband},
  editor       = {Anne E. Haxthausen and
                  Wen{-}ling Huang and
                  Markus Roggenbach},
  title        = {Safety vs. Security - Why Separation of Concerns is a Good Strategy
                  for Safety-Critical Systems},
  booktitle    = {Applicable Formal Methods for Safe Industrial Products - Essays Dedicated
                  to Jan Peleska on the Occasion of His 65th Birthday},
  series       = {Lecture Notes in Computer Science},
  volume       = {14165},
  pages        = {85--95},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-40132-9\_6},
  doi          = {10.1007/978-3-031-40132-9\_6},
  timestamp    = {Wed, 20 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/birthday/Braband23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/birthday/Brauer23,
  author       = {J{\"{o}}rg Brauer},
  editor       = {Anne E. Haxthausen and
                  Wen{-}ling Huang and
                  Markus Roggenbach},
  title        = {Source-Code-to-Object-Code Traceability Analysis for Airborne Software:
                  {A} Case for Tool Support},
  booktitle    = {Applicable Formal Methods for Safe Industrial Products - Essays Dedicated
                  to Jan Peleska on the Occasion of His 65th Birthday},
  series       = {Lecture Notes in Computer Science},
  volume       = {14165},
  pages        = {257--271},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-40132-9\_16},
  doi          = {10.1007/978-3-031-40132-9\_16},
  timestamp    = {Wed, 20 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/birthday/Brauer23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/birthday/DuckettHS23,
  author       = {Bevin Duckett and
                  Klaus Havelund and
                  Luke Stewart},
  editor       = {Anne E. Haxthausen and
                  Wen{-}ling Huang and
                  Markus Roggenbach},
  title        = {Space Telemetry Analysis with PyContract},
  booktitle    = {Applicable Formal Methods for Safe Industrial Products - Essays Dedicated
                  to Jan Peleska on the Occasion of His 65th Birthday},
  series       = {Lecture Notes in Computer Science},
  volume       = {14165},
  pages        = {272--288},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-40132-9\_17},
  doi          = {10.1007/978-3-031-40132-9\_17},
  timestamp    = {Wed, 20 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/birthday/DuckettHS23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/birthday/FranzleHDRS23,
  author       = {Martin Fr{\"{a}}nzle and
                  Willem Hagemann and
                  Werner Damm and
                  Astrid Rakow and
                  Mani Swaminathan},
  editor       = {Anne E. Haxthausen and
                  Wen{-}ling Huang and
                  Markus Roggenbach},
  title        = {Safer Than Perception: Assuring Confidence in Safety-Critical Decisions
                  of Automated Vehicles},
  booktitle    = {Applicable Formal Methods for Safe Industrial Products - Essays Dedicated
                  to Jan Peleska on the Occasion of His 65th Birthday},
  series       = {Lecture Notes in Computer Science},
  volume       = {14165},
  pages        = {180--201},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-40132-9\_12},
  doi          = {10.1007/978-3-031-40132-9\_12},
  timestamp    = {Wed, 20 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/birthday/FranzleHDRS23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/birthday/Gleirscher23,
  author       = {Mario Gleirscher},
  editor       = {Anne E. Haxthausen and
                  Wen{-}ling Huang and
                  Markus Roggenbach},
  title        = {Supervision of Intelligent Systems: An Overview},
  booktitle    = {Applicable Formal Methods for Safe Industrial Products - Essays Dedicated
                  to Jan Peleska on the Occasion of His 65th Birthday},
  series       = {Lecture Notes in Computer Science},
  volume       = {14165},
  pages        = {202--221},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-40132-9\_13},
  doi          = {10.1007/978-3-031-40132-9\_13},
  timestamp    = {Sun, 24 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/birthday/Gleirscher23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/birthday/HaxthausenFG23,
  author       = {Anne E. Haxthausen and
                  Alessandro Fantechi and
                  Gloria Gori},
  editor       = {Anne E. Haxthausen and
                  Wen{-}ling Huang and
                  Markus Roggenbach},
  title        = {Decomposing the Verification of Interlocking Systems},
  booktitle    = {Applicable Formal Methods for Safe Industrial Products - Essays Dedicated
                  to Jan Peleska on the Occasion of His 65th Birthday},
  series       = {Lecture Notes in Computer Science},
  volume       = {14165},
  pages        = {96--113},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-40132-9\_7},
  doi          = {10.1007/978-3-031-40132-9\_7},
  timestamp    = {Sun, 24 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/birthday/HaxthausenFG23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/birthday/HeiselW23,
  author       = {Maritta Heisel and
                  Marvin Wagner},
  editor       = {Anne E. Haxthausen and
                  Wen{-}ling Huang and
                  Markus Roggenbach},
  title        = {Pattern-Based Risk Identification for Model-Based Risk Management},
  booktitle    = {Applicable Formal Methods for Safe Industrial Products - Essays Dedicated
                  to Jan Peleska on the Occasion of His 65th Birthday},
  series       = {Lecture Notes in Computer Science},
  volume       = {14165},
  pages        = {114--129},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-40132-9\_8},
  doi          = {10.1007/978-3-031-40132-9\_8},
  timestamp    = {Wed, 20 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/birthday/HeiselW23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/birthday/HieronsM023,
  author       = {Robert M. Hierons and
                  Mercedes G. Merayo and
                  Manuel N{\'{u}}{\~{n}}ez},
  editor       = {Anne E. Haxthausen and
                  Wen{-}ling Huang and
                  Markus Roggenbach},
  title        = {Implementation Relations for Distributed Testing},
  booktitle    = {Applicable Formal Methods for Safe Industrial Products - Essays Dedicated
                  to Jan Peleska on the Occasion of His 65th Birthday},
  series       = {Lecture Notes in Computer Science},
  volume       = {14165},
  pages        = {34--48},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-40132-9\_3},
  doi          = {10.1007/978-3-031-40132-9\_3},
  timestamp    = {Wed, 20 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/birthday/HieronsM023.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/birthday/HuangS23,
  author       = {Wen{-}ling Huang and
                  Robert Sachtleben},
  editor       = {Anne E. Haxthausen and
                  Wen{-}ling Huang and
                  Markus Roggenbach},
  title        = {Conformance Relations Between Input/Output Languages},
  booktitle    = {Applicable Formal Methods for Safe Industrial Products - Essays Dedicated
                  to Jan Peleska on the Occasion of His 65th Birthday},
  series       = {Lecture Notes in Computer Science},
  volume       = {14165},
  pages        = {49--67},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-40132-9\_4},
  doi          = {10.1007/978-3-031-40132-9\_4},
  timestamp    = {Sun, 24 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/birthday/HuangS23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/birthday/JamesMR23,
  author       = {Phillip James and
                  Faron Moller and
                  Markus Roggenbach},
  editor       = {Anne E. Haxthausen and
                  Wen{-}ling Huang and
                  Markus Roggenbach},
  title        = {Software Model Checking of Interlocking Programs},
  booktitle    = {Applicable Formal Methods for Safe Industrial Products - Essays Dedicated
                  to Jan Peleska on the Occasion of His 65th Birthday},
  series       = {Lecture Notes in Computer Science},
  volume       = {14165},
  pages        = {130--146},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-40132-9\_9},
  doi          = {10.1007/978-3-031-40132-9\_9},
  timestamp    = {Sun, 24 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/birthday/JamesMR23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/birthday/Knapp23,
  author       = {Alexander Knapp},
  editor       = {Anne E. Haxthausen and
                  Wen{-}ling Huang and
                  Markus Roggenbach},
  title        = {An Intermediate Language-Based Approach to Implementing and Verifying
                  Communicating {UML} State Machines},
  booktitle    = {Applicable Formal Methods for Safe Industrial Products - Essays Dedicated
                  to Jan Peleska on the Occasion of His 65th Birthday},
  series       = {Lecture Notes in Computer Science},
  volume       = {14165},
  pages        = {289--307},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-40132-9\_18},
  doi          = {10.1007/978-3-031-40132-9\_18},
  timestamp    = {Sun, 24 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/birthday/Knapp23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/birthday/LarsenEFF23,
  author       = {Peter Gorm Larsen and
                  Lukas Esterle and
                  John S. Fitzgerald and
                  Mirgita Frasheri},
  editor       = {Anne E. Haxthausen and
                  Wen{-}ling Huang and
                  Markus Roggenbach},
  title        = {Fault Injection in Co-simulation and Digital Twins for Cyber-Physical
                  Robotic Systems},
  booktitle    = {Applicable Formal Methods for Safe Industrial Products - Essays Dedicated
                  to Jan Peleska on the Occasion of His 65th Birthday},
  series       = {Lecture Notes in Computer Science},
  volume       = {14165},
  pages        = {222--236},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-40132-9\_14},
  doi          = {10.1007/978-3-031-40132-9\_14},
  timestamp    = {Sun, 24 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/birthday/LarsenEFF23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/birthday/Lecomte23,
  author       = {Thierry Lecomte},
  editor       = {Anne E. Haxthausen and
                  Wen{-}ling Huang and
                  Markus Roggenbach},
  title        = {Formal Modelling to Improve Safety and Security},
  booktitle    = {Applicable Formal Methods for Safe Industrial Products - Essays Dedicated
                  to Jan Peleska on the Occasion of His 65th Birthday},
  series       = {Lecture Notes in Computer Science},
  volume       = {14165},
  pages        = {147--159},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-40132-9\_10},
  doi          = {10.1007/978-3-031-40132-9\_10},
  timestamp    = {Wed, 20 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/birthday/Lecomte23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/birthday/MahzoonD23,
  author       = {Alireza Mahzoon and
                  Rolf Drechsler},
  editor       = {Anne E. Haxthausen and
                  Wen{-}ling Huang and
                  Markus Roggenbach},
  title        = {Polynomial Formal Verification of Complex Circuits Using a Hybrid
                  Proof Engine},
  booktitle    = {Applicable Formal Methods for Safe Industrial Products - Essays Dedicated
                  to Jan Peleska on the Occasion of His 65th Birthday},
  series       = {Lecture Notes in Computer Science},
  volume       = {14165},
  pages        = {308--319},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-40132-9\_19},
  doi          = {10.1007/978-3-031-40132-9\_19},
  timestamp    = {Sun, 24 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/birthday/MahzoonD23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/birthday/Pretschner0S23,
  author       = {Alexander Pretschner and
                  Florian Hauer and
                  Tabea Schmidt},
  editor       = {Anne E. Haxthausen and
                  Wen{-}ling Huang and
                  Markus Roggenbach},
  title        = {On Scenario-Based Testing of Cyber-Physical Systems},
  booktitle    = {Applicable Formal Methods for Safe Industrial Products - Essays Dedicated
                  to Jan Peleska on the Occasion of His 65th Birthday},
  series       = {Lecture Notes in Computer Science},
  volume       = {14165},
  pages        = {68--82},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-40132-9\_5},
  doi          = {10.1007/978-3-031-40132-9\_5},
  timestamp    = {Wed, 20 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/birthday/Pretschner0S23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/birthday/Santen23,
  author       = {Thomas Santen},
  editor       = {Anne E. Haxthausen and
                  Wen{-}ling Huang and
                  Markus Roggenbach},
  title        = {Debugging Frame Conditions},
  booktitle    = {Applicable Formal Methods for Safe Industrial Products - Essays Dedicated
                  to Jan Peleska on the Occasion of His 65th Birthday},
  series       = {Lecture Notes in Computer Science},
  volume       = {14165},
  pages        = {320--332},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-40132-9\_20},
  doi          = {10.1007/978-3-031-40132-9\_20},
  timestamp    = {Wed, 20 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/birthday/Santen23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/birthday/2023peleska,
  editor       = {Anne E. Haxthausen and
                  Wen{-}ling Huang and
                  Markus Roggenbach},
  title        = {Applicable Formal Methods for Safe Industrial Products - Essays Dedicated
                  to Jan Peleska on the Occasion of His 65th Birthday},
  series       = {Lecture Notes in Computer Science},
  volume       = {14165},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-40132-9},
  doi          = {10.1007/978-3-031-40132-9},
  isbn         = {978-3-031-40131-2},
  timestamp    = {Wed, 20 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/birthday/2023peleska.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.