Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/conf/birthday/brinksma2017.bht:"
download as .bib file
@inproceedings{DBLP:conf/birthday/BainczykSSH17,
author = {Alexander Bainczyk and
Alexander Schieweck and
Bernhard Steffen and
Falk Howar},
editor = {Joost{-}Pieter Katoen and
Rom Langerak and
Arend Rensink},
title = {Model-Based Testing Without Models: The TodoMVC Case Study},
booktitle = {ModelEd, TestEd, TrustEd - Essays Dedicated to Ed Brinksma on the
Occasion of His 60th Birthday},
series = {Lecture Notes in Computer Science},
volume = {10500},
pages = {125--144},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-68270-9\_7},
doi = {10.1007/978-3-319-68270-9\_7},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/birthday/BainczykSSH17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/Benthem17,
author = {Johan van Benthem},
editor = {Joost{-}Pieter Katoen and
Rom Langerak and
Arend Rensink},
title = {Against All Odds: When Logic Meets Probability},
booktitle = {ModelEd, TestEd, TrustEd - Essays Dedicated to Ed Brinksma on the
Occasion of His 60th Birthday},
series = {Lecture Notes in Computer Science},
volume = {10500},
pages = {239--253},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-68270-9\_12},
doi = {10.1007/978-3-319-68270-9\_12},
timestamp = {Sun, 22 Oct 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/Benthem17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/BergHH17,
author = {Freek van den Berg and
Boudewijn R. Haverkort and
Jozef Hooman},
editor = {Joost{-}Pieter Katoen and
Rom Langerak and
Arend Rensink},
title = {iDSL: Automated Performance Evaluation of Service-Oriented Systems},
booktitle = {ModelEd, TestEd, TrustEd - Essays Dedicated to Ed Brinksma on the
Occasion of His 60th Birthday},
series = {Lecture Notes in Computer Science},
volume = {10500},
pages = {214--236},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-68270-9\_11},
doi = {10.1007/978-3-319-68270-9\_11},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/BergHH17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/Bolognesi17,
author = {Tommaso Bolognesi},
editor = {Joost{-}Pieter Katoen and
Rom Langerak and
Arend Rensink},
title = {LOTOS-Like Composition of Boolean Nets and Causal Set Construction},
booktitle = {ModelEd, TestEd, TrustEd - Essays Dedicated to Ed Brinksma on the
Occasion of His 60th Birthday},
series = {Lecture Notes in Computer Science},
volume = {10500},
pages = {27--47},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-68270-9\_2},
doi = {10.1007/978-3-319-68270-9\_2},
timestamp = {Tue, 07 Nov 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/birthday/Bolognesi17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/BrionesM17,
author = {Laura Brand{\'{a}}n Briones and
Agnes Madalinski},
editor = {Joost{-}Pieter Katoen and
Rom Langerak and
Arend Rensink},
title = {Diagnosis and Testing: How is Their Relation? Can They Be Combined?},
booktitle = {ModelEd, TestEd, TrustEd - Essays Dedicated to Ed Brinksma on the
Occasion of His 60th Birthday},
series = {Lecture Notes in Computer Science},
volume = {10500},
pages = {145--165},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-68270-9\_8},
doi = {10.1007/978-3-319-68270-9\_8},
timestamp = {Sun, 22 Oct 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/BrionesM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/DArgenioBLMRW17,
author = {Pedro R. D'Argenio and
Carlos E. Budde and
Matias David Lee and
Ra{\'{u}}l E. Monti and
Leonardo Rodr{\'{\i}}guez and
Nicol{\'{a}}s Wolovick},
editor = {Joost{-}Pieter Katoen and
Rom Langerak and
Arend Rensink},
title = {The Road from Stochastic Automata to the Simulation of Rare Events},
booktitle = {ModelEd, TestEd, TrustEd - Essays Dedicated to Ed Brinksma on the
Occasion of His 60th Birthday},
series = {Lecture Notes in Computer Science},
volume = {10500},
pages = {276--294},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-68270-9\_14},
doi = {10.1007/978-3-319-68270-9\_14},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/DArgenioBLMRW17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/DubslaffB17,
author = {Clemens Dubslaff and
Christel Baier},
editor = {Joost{-}Pieter Katoen and
Rom Langerak and
Arend Rensink},
title = {Delayed-Choice Semantics for Pomset Families and Message Sequence
Graphs},
booktitle = {ModelEd, TestEd, TrustEd - Essays Dedicated to Ed Brinksma on the
Occasion of His 60th Birthday},
series = {Lecture Notes in Computer Science},
volume = {10500},
pages = {64--84},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-68270-9\_4},
doi = {10.1007/978-3-319-68270-9\_4},
timestamp = {Sun, 22 Oct 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/DubslaffB17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/GaravelLS17,
author = {Hubert Garavel and
Fr{\'{e}}d{\'{e}}ric Lang and
Wendelin Serwe},
editor = {Joost{-}Pieter Katoen and
Rom Langerak and
Arend Rensink},
title = {From {LOTOS} to {LNT}},
booktitle = {ModelEd, TestEd, TrustEd - Essays Dedicated to Ed Brinksma on the
Occasion of His 60th Birthday},
series = {Lecture Notes in Computer Science},
volume = {10500},
pages = {3--26},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-68270-9\_1},
doi = {10.1007/978-3-319-68270-9\_1},
timestamp = {Sun, 22 Oct 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/GaravelLS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/GrooteV17,
author = {Jan Friso Groote and
Erik P. de Vink},
editor = {Joost{-}Pieter Katoen and
Rom Langerak and
Arend Rensink},
title = {Problem Solving Using Process Algebra Considered Insightful},
booktitle = {ModelEd, TestEd, TrustEd - Essays Dedicated to Ed Brinksma on the
Occasion of His 60th Birthday},
series = {Lecture Notes in Computer Science},
volume = {10500},
pages = {48--63},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-68270-9\_3},
doi = {10.1007/978-3-319-68270-9\_3},
timestamp = {Tue, 07 Nov 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/birthday/GrooteV17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/Hermanns17,
author = {Holger Hermanns},
editor = {Joost{-}Pieter Katoen and
Rom Langerak and
Arend Rensink},
title = {From Lotosphere to Thermosphere},
booktitle = {ModelEd, TestEd, TrustEd - Essays Dedicated to Ed Brinksma on the
Occasion of His 60th Birthday},
series = {Lecture Notes in Computer Science},
volume = {10500},
pages = {357--367},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-68270-9\_18},
doi = {10.1007/978-3-319-68270-9\_18},
timestamp = {Sun, 22 Oct 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/Hermanns17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/KatoenS17a,
author = {Joost{-}Pieter Katoen and
Mari{\"{e}}lle Stoelinga},
editor = {Joost{-}Pieter Katoen and
Rom Langerak and
Arend Rensink},
title = {Boosting Fault Tree Analysis by Formal Methods},
booktitle = {ModelEd, TestEd, TrustEd - Essays Dedicated to Ed Brinksma on the
Occasion of His 60th Birthday},
series = {Lecture Notes in Computer Science},
volume = {10500},
pages = {368--389},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-68270-9\_19},
doi = {10.1007/978-3-319-68270-9\_19},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/KatoenS17a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/KurtevHS17,
author = {Ivan Kurtev and
Jozef Hooman and
Mathijs Schuts},
editor = {Joost{-}Pieter Katoen and
Rom Langerak and
Arend Rensink},
title = {Runtime Monitoring Based on Interface Specifications},
booktitle = {ModelEd, TestEd, TrustEd - Essays Dedicated to Ed Brinksma on the
Occasion of His 60th Birthday},
series = {Lecture Notes in Computer Science},
volume = {10500},
pages = {335--356},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-68270-9\_17},
doi = {10.1007/978-3-319-68270-9\_17},
timestamp = {Sun, 22 Oct 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/KurtevHS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/LarsenLMNN17,
author = {Kim G. Larsen and
Axel Legay and
Marius Mikucionis and
Brian Nielsen and
Ulrik Nyman},
editor = {Joost{-}Pieter Katoen and
Rom Langerak and
Arend Rensink},
title = {Compositional Testing of Real-Time Systems},
booktitle = {ModelEd, TestEd, TrustEd - Essays Dedicated to Ed Brinksma on the
Occasion of His 60th Birthday},
series = {Lecture Notes in Computer Science},
volume = {10500},
pages = {107--124},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-68270-9\_6},
doi = {10.1007/978-3-319-68270-9\_6},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/LarsenLMNN17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/LatellaLM17,
author = {Diego Latella and
Michele Loreti and
Mieke Massink},
editor = {Joost{-}Pieter Katoen and
Rom Langerak and
Arend Rensink},
title = {FlyFast: {A} Scalable Approach to Probabilistic Model-Checking Based
on Mean-Field Approximation},
booktitle = {ModelEd, TestEd, TrustEd - Essays Dedicated to Ed Brinksma on the
Occasion of His 60th Birthday},
series = {Lecture Notes in Computer Science},
volume = {10500},
pages = {254--275},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-68270-9\_13},
doi = {10.1007/978-3-319-68270-9\_13},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/LatellaLM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/NicolaDIM17,
author = {Rocco De Nicola and
Tan Duong and
Omar Inverso and
Franco Mazzanti},
editor = {Joost{-}Pieter Katoen and
Rom Langerak and
Arend Rensink},
title = {Verifying Properties of Systems Relying on Attribute-Based Communication},
booktitle = {ModelEd, TestEd, TrustEd - Essays Dedicated to Ed Brinksma on the
Occasion of His 60th Birthday},
series = {Lecture Notes in Computer Science},
volume = {10500},
pages = {169--190},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-68270-9\_9},
doi = {10.1007/978-3-319-68270-9\_9},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/NicolaDIM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/Rensink17,
author = {Arend Rensink},
editor = {Joost{-}Pieter Katoen and
Rom Langerak and
Arend Rensink},
title = {How Much Are Your Geraniums? Taking Graph Conditions Beyond First
Order},
booktitle = {ModelEd, TestEd, TrustEd - Essays Dedicated to Ed Brinksma on the
Occasion of His 60th Birthday},
series = {Lecture Notes in Computer Science},
volume = {10500},
pages = {191--213},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-68270-9\_10},
doi = {10.1007/978-3-319-68270-9\_10},
timestamp = {Sun, 22 Oct 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/Rensink17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/Schaft17,
author = {Arjan van der Schaft},
editor = {Joost{-}Pieter Katoen and
Rom Langerak and
Arend Rensink},
title = {Analysis and Design of Interconnected Systems: {A} Systems and Control
Perspective},
booktitle = {ModelEd, TestEd, TrustEd - Essays Dedicated to Ed Brinksma on the
Occasion of His 60th Birthday},
series = {Lecture Notes in Computer Science},
volume = {10500},
pages = {316--332},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-68270-9\_16},
doi = {10.1007/978-3-319-68270-9\_16},
timestamp = {Sun, 22 Oct 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/Schaft17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/SchivoL17,
author = {Stefano Schivo and
Rom Langerak},
editor = {Joost{-}Pieter Katoen and
Rom Langerak and
Arend Rensink},
title = {Discretization of Continuous Dynamical Systems Using {UPPAAL}},
booktitle = {ModelEd, TestEd, TrustEd - Essays Dedicated to Ed Brinksma on the
Occasion of His 60th Birthday},
series = {Lecture Notes in Computer Science},
volume = {10500},
pages = {297--315},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-68270-9\_15},
doi = {10.1007/978-3-319-68270-9\_15},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/SchivoL17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/Tretmans17,
author = {Jan Tretmans},
editor = {Joost{-}Pieter Katoen and
Rom Langerak and
Arend Rensink},
title = {On the Existence of Practical Testers},
booktitle = {ModelEd, TestEd, TrustEd - Essays Dedicated to Ed Brinksma on the
Occasion of His 60th Birthday},
series = {Lecture Notes in Computer Science},
volume = {10500},
pages = {87--106},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-68270-9\_5},
doi = {10.1007/978-3-319-68270-9\_5},
timestamp = {Sun, 22 Oct 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/Tretmans17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/birthday/2017brinksma,
editor = {Joost{-}Pieter Katoen and
Rom Langerak and
Arend Rensink},
title = {ModelEd, TestEd, TrustEd - Essays Dedicated to Ed Brinksma on the
Occasion of His 60th Birthday},
series = {Lecture Notes in Computer Science},
volume = {10500},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-68270-9},
doi = {10.1007/978-3-319-68270-9},
isbn = {978-3-319-68269-3},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/2017brinksma.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
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.
retrieved on 2024-05-05 19:34 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
