Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Sven Linker
@proceedings{DBLP:conf/diagrams/2022,
editor = {Valeria Giardino and
Sven Linker and
Richard Burns and
Francesco Bellucci and
Jean{-}Michel Boucheix and
Petrucio Viana},
title = {Diagrammatic Representation and Inference - 13th International Conference,
Diagrams 2022, Rome, Italy, September 14-16, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13462},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-15146-0},
doi = {10.1007/978-3-031-15146-0},
isbn = {978-3-031-15145-3},
timestamp = {Wed, 21 Sep 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/diagrams/2022.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/diagrams/Linker21,
author = {Sven Linker},
editor = {Amrita Basu and
Gem Stapleton and
Sven Linker and
Catherine Legg and
Emmanuel Manalo and
Petrucio Viana},
title = {Natural Deduction for Intuitionistic Euler-Venn Diagrams},
booktitle = {Diagrammatic Representation and Inference - 12th International Conference,
Diagrams 2021, Virtual, September 28-30, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12909},
pages = {529--533},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-86062-2\_54},
doi = {10.1007/978-3-030-86062-2\_54},
timestamp = {Tue, 05 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/diagrams/Linker21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/LinkerPS21,
author = {Sven Linker and
Fabio Papacchini and
Michele Sevegnani},
editor = {Filippo Bonchi and
Simon J. Puglisi},
title = {Finite Models for a Spatial Logic with Discrete and Topological Path
Operators},
booktitle = {46th International Symposium on Mathematical Foundations of Computer
Science, {MFCS} 2021, August 23-27, 2021, Tallinn, Estonia},
series = {LIPIcs},
volume = {202},
pages = {72:1--72:16},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2021},
url = {https://doi.org/10.4230/LIPIcs.MFCS.2021.72},
doi = {10.4230/LIPICS.MFCS.2021.72},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/LinkerPS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/diagrams/2021,
editor = {Amrita Basu and
Gem Stapleton and
Sven Linker and
Catherine Legg and
Emmanuel Manalo and
Petrucio Viana},
title = {Diagrammatic Representation and Inference - 12th International Conference,
Diagrams 2021, Virtual, September 28-30, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12909},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-86062-2},
doi = {10.1007/978-3-030-86062-2},
isbn = {978-3-030-86061-5},
timestamp = {Wed, 22 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/diagrams/2021.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2110-08172,
author = {Rafael C. Cardoso and
Angelo Ferrando and
Fabio Papacchini and
Matt Luckcuck and
Sven Linker and
Terry R. Payne},
title = {{MLFC:} From 10 to 50 Planners in the Multi-Agent Programming Contest},
journal = {CoRR},
volume = {abs/2110.08172},
year = {2021},
url = {https://arxiv.org/abs/2110.08172},
eprinttype = {arXiv},
eprint = {2110.08172},
timestamp = {Wed, 28 Sep 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2110-08172.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fmsd/GainerLDHF20,
author = {Paul Gainer and
Sven Linker and
Clare Dixon and
Ullrich Hustadt and
Michael Fisher},
title = {Multi-scale verification of distributed synchronisation},
journal = {Formal Methods Syst. Des.},
volume = {55},
number = {3},
pages = {171--221},
year = {2020},
url = {https://doi.org/10.1007/s10703-020-00347-z},
doi = {10.1007/S10703-020-00347-Z},
timestamp = {Fri, 14 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fmsd/GainerLDHF20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/diagrams/Linker20,
author = {Sven Linker},
editor = {Ahti{-}Veikko Pietarinen and
Peter Chapman and
Leonie Bosveld{-}de Smet and
Valeria Giardino and
James E. Corter and
Sven Linker},
title = {Intuitionistic Euler-Venn Diagrams},
booktitle = {Diagrammatic Representation and Inference - 11th International Conference,
Diagrams 2020, Tallinn, Estonia, August 24-28, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12169},
pages = {264--280},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-54249-8\_21},
doi = {10.1007/978-3-030-54249-8\_21},
timestamp = {Wed, 26 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/diagrams/Linker20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/LinkerPS20,
author = {Sven Linker and
Fabio Papacchini and
Michele Sevegnani},
editor = {Javier Esparza and
Daniel Kr{\'{a}}l'},
title = {Analysing Spatial Properties on Neighbourhood Spaces},
booktitle = {45th International Symposium on Mathematical Foundations of Computer
Science, {MFCS} 2020, August 24-28, 2020, Prague, Czech Republic},
series = {LIPIcs},
volume = {170},
pages = {66:1--66:14},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2020},
url = {https://doi.org/10.4230/LIPIcs.MFCS.2020.66},
doi = {10.4230/LIPICS.MFCS.2020.66},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/LinkerPS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/diagrams/2020,
editor = {Ahti{-}Veikko Pietarinen and
Peter Chapman and
Leonie Bosveld{-}de Smet and
Valeria Giardino and
James E. Corter and
Sven Linker},
title = {Diagrammatic Representation and Inference - 11th International Conference,
Diagrams 2020, Tallinn, Estonia, August 24-28, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12169},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-54249-8},
doi = {10.1007/978-3-030-54249-8},
isbn = {978-3-030-54248-1},
timestamp = {Thu, 20 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/diagrams/2020.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2002-02929,
author = {Sven Linker},
title = {Intuitionistic Euler-Venn Diagrams (extended)},
journal = {CoRR},
volume = {abs/2002.02929},
year = {2020},
url = {https://arxiv.org/abs/2002.02929},
eprinttype = {arXiv},
eprint = {2002.02929},
timestamp = {Mon, 10 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2002-02929.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2007-01266,
author = {Sven Linker and
Fabio Papacchini and
Michele Sevegnani},
title = {Analysing Spatial Properties on Neighbourhood Spaces},
journal = {CoRR},
volume = {abs/2007.01266},
year = {2020},
url = {https://arxiv.org/abs/2007.01266},
eprinttype = {arXiv},
eprint = {2007.01266},
timestamp = {Mon, 06 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2007-01266.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dagstuhl-reports/GleirscherHLL19,
author = {Mario Gleirscher and
Anne E. Haxthausen and
Martin Leucker and
Sven Linker},
title = {Analysis of Autonomous Mobile Collectives in Complex Physical Environments
(Dagstuhl Seminar 19432)},
journal = {Dagstuhl Reports},
volume = {9},
number = {10},
pages = {95--116},
year = {2019},
url = {https://doi.org/10.4230/DagRep.9.10.95},
doi = {10.4230/DAGREP.9.10.95},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/dagstuhl-reports/GleirscherHLL19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigsoft/GleirscherKL18,
author = {Mario Gleirscher and
Stefan Kugele and
Sven Linker},
title = {SCAV'18: Report of the 2nd International Workshop on Safe Control
of Autonomous Vehicles},
journal = {{ACM} {SIGSOFT} Softw. Eng. Notes},
volume = {43},
number = {4},
pages = {45--47},
year = {2018},
url = {https://doi.org/10.1145/3282517.3302402},
doi = {10.1145/3282517.3302402},
timestamp = {Thu, 17 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigsoft/GleirscherKL18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigsoft/GleirscherKL18a,
author = {Mario Gleirscher and
Stefan Kugele and
Sven Linker},
title = {SCAV'18: Report of the 2nd International Workshop on Safe Control
of Autonomous Vehicles},
journal = {{ACM} {SIGSOFT} Softw. Eng. Notes},
volume = {43},
number = {4},
pages = {54},
year = {2018},
url = {https://doi.org/10.1145/3282517.3282543},
doi = {10.1145/3282517.3282543},
timestamp = {Thu, 17 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigsoft/GleirscherKL18a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/diagrams/Linker18,
author = {Sven Linker},
editor = {Peter Chapman and
Gem Stapleton and
Amirouche Moktefi and
Sarah P{\'{e}}rez{-}Kriz and
Francesco Bellucci},
title = {Sequent Calculus for Euler Diagrams},
booktitle = {Diagrammatic Representation and Inference - 10th International Conference,
Diagrams 2018, Edinburgh, UK, June 18-22, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10871},
pages = {399--407},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-91376-6\_37},
doi = {10.1007/978-3-319-91376-6\_37},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/diagrams/Linker18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftscs/KamaliL018,
author = {Maryam Kamali and
Sven Linker and
Michael Fisher},
editor = {Cyrille Artho and
Peter Csaba {\"{O}}lveczky},
title = {Modular Verification of Vehicle Platooning with Respect to Decisions,
Space and Time},
booktitle = {Formal Techniques for Safety-Critical Systems - 6th International
Workshop, {FTSCS} 2018, Gold Coast, Australia, November 16, 2018,
Revised Selected Papers},
series = {Communications in Computer and Information Science},
volume = {1008},
pages = {18--36},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-12988-0\_2},
doi = {10.1007/978-3-030-12988-0\_2},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ftscs/KamaliL018.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/GainerLDH018,
author = {Paul Gainer and
Sven Linker and
Clare Dixon and
Ullrich Hustadt and
Michael Fisher},
editor = {Jing Sun and
Meng Sun},
title = {The Power of Synchronisation: Formal Analysis of Power Consumption
in Networks of Pulse-Coupled Oscillators},
booktitle = {Formal Methods and Software Engineering - 20th International Conference
on Formal Engineering Methods, {ICFEM} 2018, Gold Coast, QLD, Australia,
November 12-16, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11232},
pages = {160--176},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-02450-5\_10},
doi = {10.1007/978-3-030-02450-5\_10},
timestamp = {Fri, 25 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icfem/GainerLDH018.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/abs-1804-03406,
editor = {Mario Gleirscher and
Stefan Kugele and
Sven Linker},
title = {Proceedings 2nd International Workshop on Safe Control of Autonomous
Vehicles, SCAV@CPSWeek 2018, Porto, Portugal, 10th April 2018},
series = {{EPTCS}},
volume = {269},
year = {2018},
url = {http://arxiv.org/abs/1804.03406},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1804-03406.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1804-06647,
author = {Maryam Kamali and
Sven Linker and
Michael Fisher},
title = {Modular Verification of Vehicle Platooning with Respect to Decisions,
Space and Time},
journal = {CoRR},
volume = {abs/1804.06647},
year = {2018},
url = {http://arxiv.org/abs/1804.06647},
eprinttype = {arXiv},
eprint = {1804.06647},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1804-06647.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1809-10655,
author = {Paul Gainer and
Sven Linker and
Clare Dixon and
Ullrich Hustadt and
Michael Fisher},
title = {Multi-Scale Verification of Distributed Synchronisation},
journal = {CoRR},
volume = {abs/1809.10655},
year = {2018},
url = {http://arxiv.org/abs/1809.10655},
eprinttype = {arXiv},
eprint = {1809.10655},
timestamp = {Fri, 05 Oct 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1809-10655.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1811-01774,
author = {Mario Gleirscher and
Sven Linker and
Stefan Kugele},
title = {SCAV'18: Report of the 2nd International Workshop on Safe Control
of Autonomous Vehicles},
journal = {CoRR},
volume = {abs/1811.01774},
year = {2018},
url = {http://arxiv.org/abs/1811.01774},
eprinttype = {arXiv},
eprint = {1811.01774},
timestamp = {Thu, 22 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1811-01774.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/afp/Linker17,
author = {Sven Linker},
title = {Hybrid Multi-Lane Spatial Logic},
journal = {Arch. Formal Proofs},
volume = {2017},
year = {2017},
url = {https://www.isa-afp.org/entries/Hybrid\_Multi\_Lane\_Spatial\_Logic.html},
timestamp = {Mon, 25 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/afp/Linker17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/BochmannHLO17,
author = {Gregor von Bochmann and
Martin Hilscher and
Sven Linker and
Ernst{-}R{\"{u}}diger Olderog},
title = {Synthesizing and verifying controllers for multi-lane traffic maneuvers},
journal = {Formal Aspects Comput.},
volume = {29},
number = {4},
pages = {583--600},
year = {2017},
url = {https://doi.org/10.1007/s00165-017-0424-4},
doi = {10.1007/S00165-017-0424-4},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/BochmannHLO17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifm/Linker17,
author = {Sven Linker},
editor = {Nadia Polikarpova and
Steve A. Schneider},
title = {Spatial Reasoning About Motorway Traffic Safety with Isabelle/HOL},
booktitle = {Integrated Formal Methods - 13th International Conference, {IFM} 2017,
Turin, Italy, September 20-22, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10510},
pages = {34--49},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-66845-1\_3},
doi = {10.1007/978-3-319-66845-1\_3},
timestamp = {Fri, 07 Aug 2020 17:57:32 +0200},
biburl = {https://dblp.org/rec/conf/ifm/Linker17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qest/GainerLDHF17,
author = {Paul Gainer and
Sven Linker and
Clare Dixon and
Ullrich Hustadt and
Michael Fisher},
editor = {Nathalie Bertrand and
Luca Bortolussi},
title = {Investigating Parametric Influence on Discrete Synchronisation Protocols
Using Quantitative Model Checking},
booktitle = {Quantitative Evaluation of Systems - 14th International Conference,
{QEST} 2017, Berlin, Germany, September 5-7, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10503},
pages = {224--239},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-66335-7\_14},
doi = {10.1007/978-3-319-66335-7\_14},
timestamp = {Fri, 25 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/qest/GainerLDHF17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1802-01791,
author = {Sven Linker and
Michele Sevegnani},
editor = {Danilo Pianini and
Guido Salvaneschi},
title = {Formalising Sensor Topologies for Target Counting},
booktitle = {Proceedings First Workshop on Architectures, Languages and Paradigms
for IoT, ALP4IoT@iFM 2017, Turin, Italy, September 18, 2017},
series = {{EPTCS}},
volume = {264},
pages = {43--57},
year = {2017},
url = {https://doi.org/10.4204/EPTCS.264.5},
doi = {10.4204/EPTCS.264.5},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1802-01791.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/abs-1709-02126,
editor = {Lukas Bulwahn and
Maryam Kamali and
Sven Linker},
title = {Proceedings First Workshop on Formal Verification of Autonomous Vehicles,
FVAV@iFM 2017, Turin, Italy, 19th September 2017},
series = {{EPTCS}},
volume = {257},
year = {2017},
url = {http://arxiv.org/abs/1709.02126},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1709-02126.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1709-04385,
author = {Paul Gainer and
Sven Linker and
Clare Dixon and
Ullrich Hustadt and
Michael Fisher},
title = {The Power of Synchronisation: Formal Analysis of Power Consumption
in Networks of Pulse-Coupled Oscillators},
journal = {CoRR},
volume = {abs/1709.04385},
year = {2017},
url = {http://arxiv.org/abs/1709.04385},
eprinttype = {arXiv},
eprint = {1709.04385},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1709-04385.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/diagrams/LinkerBB16,
author = {Sven Linker and
Jim Burton and
Andrew Blake},
editor = {Mateja Jamnik and
Yuri Uesaka and
Stephanie Elzer Schwartz},
title = {Measuring User Comprehension of Inference Rules in Euler Diagrams},
booktitle = {Diagrammatic Representation and Inference - 9th International Conference,
Diagrams 2016, Philadelphia, PA, USA, August 7-10, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9781},
pages = {32--39},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-42333-3\_3},
doi = {10.1007/978-3-319-42333-3\_3},
timestamp = {Mon, 13 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/diagrams/LinkerBB16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/LinkerBJ17,
author = {Sven Linker and
Jim Burton and
Mateja Jamnik},
editor = {Serge Autexier and
Pedro Quaresma},
title = {Tactical Diagrammatic Reasoning},
booktitle = {Proceedings of the 12th Workshop on User Interfaces for Theorem Provers,
{UITP} 2016, Coimbra, Portugal, 2nd July 2016},
series = {{EPTCS}},
volume = {239},
pages = {29--42},
year = {2016},
url = {https://doi.org/10.4204/EPTCS.239.3},
doi = {10.4204/EPTCS.239.3},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/LinkerBJ17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/diagrams/2016setvr,
editor = {Sven Linker and
Peter Rodgers},
title = {Proceedings of the International Workshop on Set Visualization and
Reasoning co-located with 9th International Conference on the Theory
and Application of Diagrams (Diagrams 2016), Philadelphia, USA, August
7, 2016},
series = {{CEUR} Workshop Proceedings},
volume = {1655},
publisher = {CEUR-WS.org},
year = {2016},
url = {https://ceur-ws.org/Vol-1655},
urn = {urn:nbn:de:0074-1655-4},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/diagrams/2016setvr.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:books/daglib/0035436,
author = {Sven Linker},
title = {Proofs for traffic safety - combining diagrams and logic},
school = {Universit{\"{a}}t Oldenburg},
year = {2015},
url = {http://oops.uni-oldenburg.de/2337/},
urn = {urn:nbn:de:gbv:715-oops-24183},
timestamp = {Sat, 17 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/daglib/0035436.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/LinkerH15,
author = {Sven Linker and
Martin Hilscher},
title = {Proof Theory of a Multi-Lane Spatial Logic},
journal = {Log. Methods Comput. Sci.},
volume = {11},
number = {3},
year = {2015},
url = {https://doi.org/10.2168/LMCS-11(3:4)2015},
doi = {10.2168/LMCS-11(3:4)2015},
timestamp = {Thu, 25 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/LinkerH15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/setta/BochmannHLO15,
author = {Gregor von Bochmann and
Martin Hilscher and
Sven Linker and
Ernst{-}R{\"{u}}diger Olderog},
editor = {Xuandong Li and
Zhiming Liu and
Wang Yi},
title = {Synthesizing Controllers for Multi-lane Traffic Maneuvers},
booktitle = {Dependable Software Engineering: Theories, Tools, and Applications
- First International Symposium, {SETTA} 2015, Nanjing, China, November
4-6, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9409},
pages = {71--86},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-25942-0\_5},
doi = {10.1007/978-3-319-25942-0\_5},
timestamp = {Fri, 27 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/setta/BochmannHLO15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vl/BurtonL15,
author = {Jim Burton and
Sven Linker},
editor = {Zhen Li and
Claudia Ermel and
Scott D. Fleming},
title = {Generating readable diagrammatic proofs},
booktitle = {2015 {IEEE} Symposium on Visual Languages and Human-Centric Computing,
{VL/HCC} 2015, Atlanta, GA, USA, October 18-22, 2015},
pages = {307--308},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/VLHCC.2015.7357240},
doi = {10.1109/VLHCC.2015.7357240},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vl/BurtonL15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/HilscherLO13,
author = {Martin Hilscher and
Sven Linker and
Ernst{-}R{\"{u}}diger Olderog},
editor = {Zhiming Liu and
Jim Woodcock and
Huibiao Zhu},
title = {Proving Safety of Traffic Manoeuvres on Country Roads},
booktitle = {Theories of Programming and Formal Methods - Essays Dedicated to Jifeng
He on the Occasion of His 70th Birthday},
series = {Lecture Notes in Computer Science},
volume = {8051},
pages = {196--212},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-39698-4\_12},
doi = {10.1007/978-3-642-39698-4\_12},
timestamp = {Fri, 17 Feb 2023 09:02:00 +0100},
biburl = {https://dblp.org/rec/conf/birthday/HilscherLO13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictac/LinkerH13,
author = {Sven Linker and
Martin Hilscher},
editor = {Zhiming Liu and
Jim Woodcock and
Huibiao Zhu},
title = {Proof Theory of a Multi-Lane Spatial Logic},
booktitle = {Theoretical Aspects of Computing - {ICTAC} 2013 - 10th International
Colloquium, Shanghai, China, September 4-6, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8049},
pages = {231--248},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-39718-9\_14},
doi = {10.1007/978-3-642-39718-9\_14},
timestamp = {Fri, 17 Feb 2023 09:02:01 +0100},
biburl = {https://dblp.org/rec/conf/ictac/LinkerH13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsd/Linker12,
author = {Sven Linker},
editor = {Jens Brandt and
Keijo Heljanko},
title = {Translating Structural Process Properties to Petri Net Markings},
booktitle = {12th International Conference on Application of Concurrency to System
Design, {ACSD} 2012, Hamburg, Germany, June 27-29, 2012},
pages = {82--91},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/ACSD.2012.11},
doi = {10.1109/ACSD.2012.11},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/acsd/Linker12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijsi/FaberLOQ11,
author = {Johannes Faber and
Sven Linker and
Ernst{-}R{\"{u}}diger Olderog and
Jan{-}David Quesel},
title = {Syspect - Modelling, Specifying, and Verifying Real-Time Systems with
Rich Data},
journal = {Int. J. Softw. Informatics},
volume = {5},
number = {1-2},
pages = {117--137},
year = {2011},
url = {http://www.ijsi.org/ch/reader/view\_abstract.aspx?file\_no=i78},
timestamp = {Thu, 06 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijsi/FaberLOQ11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/HilscherLOR11,
author = {Martin Hilscher and
Sven Linker and
Ernst{-}R{\"{u}}diger Olderog and
Anders P. Ravn},
editor = {Shengchao Qin and
Zongyan Qiu},
title = {An Abstract Model for Proving Safety of Multi-lane Traffic Manoeuvres},
booktitle = {Formal Methods and Software Engineering - 13th International Conference
on Formal Engineering Methods, {ICFEM} 2011, Durham, UK, October 26-28,
2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6991},
pages = {404--419},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-24559-6\_28},
doi = {10.1007/978-3-642-24559-6\_28},
timestamp = {Fri, 27 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icfem/HilscherLOR11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/Linker10,
author = {Sven Linker},
editor = {Kai Bollue and
Dominique G{\"{u}}ckel and
Ulrich Loup and
Jacob Sp{\"{o}}nemann and
Melanie Winkler},
title = {Diagrammatic Specification and Verification of Mobile Real-Time Systems},
booktitle = {Proceedings of the Joint Workshop of the German Research Training
Groups in Computer Science, Algorithmic synthesis of reactive and
discrete-continuous systems, AlgoSyn 2010, May 31 - June 2, 2010},
pages = {53},
publisher = {Verlagshaus Mainz, Aachen, Germany},
year = {2010},
timestamp = {Tue, 03 Mar 2020 17:20:41 +0100},
biburl = {https://dblp.org/rec/conf/dagstuhl/Linker10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/diagrams/Linker10,
author = {Sven Linker},
editor = {Ashok K. Goel and
Mateja Jamnik and
N. Hari Narayanan},
title = {Diagrammatic Specification of Mobile Real-Time Systems},
booktitle = {Diagrammatic Representation and Inference, 6th International Conference,
Diagrams 2010, Portland, OR, USA, August 9-11, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6170},
pages = {316--318},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-14600-8\_40},
doi = {10.1007/978-3-642-14600-8\_40},
timestamp = {Fri, 27 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/diagrams/Linker10.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.
last updated on 2024-05-02 21:00 CEST 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:
