default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/conf/dfg/softspez2004.bht:"
download as .bib file
@inproceedings{DBLP:conf/dfg/ArabestaniBG04,
author = {Saeid Arabestani and
Friedemann Bitsch and
Jan{-}Tecker Gayen},
editor = {Hartmut Ehrig and
Werner Damm and
J{\"{o}}rg Desel and
Martin Gro{\ss}e{-}Rhode and
Wolfgang Reif and
Eckehard Schnieder and
Engelbert Westk{\"{a}}mper},
title = {Precise Definition of the Single-Track Level Crossing in Radio-Based
Operation in {UML} Notation and Specification of Safety Requirements},
booktitle = {Integration of Software Specification Techniques for Applications
in Engineering, Priority Program SoftSpez of the German Research Foundation
(DFG), Final Report},
series = {Lecture Notes in Computer Science},
volume = {3147},
pages = {119--144},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-27863-4\_9},
doi = {10.1007/978-3-540-27863-4\_9},
timestamp = {Tue, 14 May 2019 10:00:39 +0200},
biburl = {https://dblp.org/rec/conf/dfg/ArabestaniBG04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dfg/BauerEHLLRS04,
author = {Nanette Bauer and
Sebastian Engell and
Ralf Huuck and
Sven Lohmann and
Ben Lukoschus and
Manuel Remelhe and
Olaf Stursberg},
editor = {Hartmut Ehrig and
Werner Damm and
J{\"{o}}rg Desel and
Martin Gro{\ss}e{-}Rhode and
Wolfgang Reif and
Eckehard Schnieder and
Engelbert Westk{\"{a}}mper},
title = {Verification of {PLC} Programs Given as Sequential Function Charts},
booktitle = {Integration of Software Specification Techniques for Applications
in Engineering, Priority Program SoftSpez of the German Research Foundation
(DFG), Final Report},
series = {Lecture Notes in Computer Science},
volume = {3147},
pages = {517--540},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-27863-4\_28},
doi = {10.1007/978-3-540-27863-4\_28},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dfg/BauerEHLLRS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dfg/BauerHLE04,
author = {Nanette Bauer and
Ralf Huuck and
Ben Lukoschus and
Sebastian Engell},
editor = {Hartmut Ehrig and
Werner Damm and
J{\"{o}}rg Desel and
Martin Gro{\ss}e{-}Rhode and
Wolfgang Reif and
Eckehard Schnieder and
Engelbert Westk{\"{a}}mper},
title = {A Unifying Semantics for Sequential Function Charts},
booktitle = {Integration of Software Specification Techniques for Applications
in Engineering, Priority Program SoftSpez of the German Research Foundation
(DFG), Final Report},
series = {Lecture Notes in Computer Science},
volume = {3147},
pages = {400--418},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-27863-4\_22},
doi = {10.1007/978-3-540-27863-4\_22},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dfg/BauerHLE04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dfg/BerkenkotterBHP04,
author = {Kirsten Berkenk{\"{o}}tter and
Stefan Bisanz and
Ulrich Hannemann and
Jan Peleska},
editor = {Hartmut Ehrig and
Werner Damm and
J{\"{o}}rg Desel and
Martin Gro{\ss}e{-}Rhode and
Wolfgang Reif and
Eckehard Schnieder and
Engelbert Westk{\"{a}}mper},
title = {Executable HybridUML and Its Application to Train Control Systems},
booktitle = {Integration of Software Specification Techniques for Applications
in Engineering, Priority Program SoftSpez of the German Research Foundation
(DFG), Final Report},
series = {Lecture Notes in Computer Science},
volume = {3147},
pages = {145--173},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-27863-4\_10},
doi = {10.1007/978-3-540-27863-4\_10},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dfg/BerkenkotterBHP04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dfg/BjornerGHMHP04,
author = {Dines Bj{\o}rner and
Chris George and
Anne E. Haxthausen and
Christian Krog Madsen and
Steffen Holmslykke and
Martin Pnika},
editor = {Hartmut Ehrig and
Werner Damm and
J{\"{o}}rg Desel and
Martin Gro{\ss}e{-}Rhode and
Wolfgang Reif and
Eckehard Schnieder and
Engelbert Westk{\"{a}}mper},
title = {"UML-ising' Formal Techniques},
booktitle = {Integration of Software Specification Techniques for Applications
in Engineering, Priority Program SoftSpez of the German Research Foundation
(DFG), Final Report},
series = {Lecture Notes in Computer Science},
volume = {3147},
pages = {423--450},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-27863-4\_24},
doi = {10.1007/978-3-540-27863-4\_24},
timestamp = {Fri, 28 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dfg/BjornerGHMHP04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dfg/BraatzKS04,
author = {Benjamin Braatz and
Markus Klein and
Gunnar Schr{\"{o}}ter},
editor = {Hartmut Ehrig and
Werner Damm and
J{\"{o}}rg Desel and
Martin Gro{\ss}e{-}Rhode and
Wolfgang Reif and
Eckehard Schnieder and
Engelbert Westk{\"{a}}mper},
title = {Semantical Integration of Object-Oriented Viewpoint Specification
Techniques},
booktitle = {Integration of Software Specification Techniques for Applications
in Engineering, Priority Program SoftSpez of the German Research Foundation
(DFG), Final Report},
series = {Lecture Notes in Computer Science},
volume = {3147},
pages = {602--626},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-27863-4\_32},
doi = {10.1007/978-3-540-27863-4\_32},
timestamp = {Mon, 13 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dfg/BraatzKS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dfg/BraatzKSB04,
author = {Benjamin Braatz and
Markus Klein and
Gunnar Schr{\"{o}}ter and
Matthias Bengel},
editor = {Hartmut Ehrig and
Werner Damm and
J{\"{o}}rg Desel and
Martin Gro{\ss}e{-}Rhode and
Wolfgang Reif and
Eckehard Schnieder and
Engelbert Westk{\"{a}}mper},
title = {A Formal Component Concept for the Specification of Industrial Control
Systems},
booktitle = {Integration of Software Specification Techniques for Applications
in Engineering, Priority Program SoftSpez of the German Research Foundation
(DFG), Final Report},
series = {Lecture Notes in Computer Science},
volume = {3147},
pages = {69--88},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-27863-4\_6},
doi = {10.1007/978-3-540-27863-4\_6},
timestamp = {Mon, 13 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dfg/BraatzKSB04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dfg/BrillBDKWW04,
author = {Matthias Brill and
Ralf Buscherm{\"{o}}hle and
Werner Damm and
Jochen Klose and
Bernd Westphal and
Hartmut Wittke},
editor = {Hartmut Ehrig and
Werner Damm and
J{\"{o}}rg Desel and
Martin Gro{\ss}e{-}Rhode and
Wolfgang Reif and
Eckehard Schnieder and
Engelbert Westk{\"{a}}mper},
title = {Formal Verification of LSCs in the Development Process},
booktitle = {Integration of Software Specification Techniques for Applications
in Engineering, Priority Program SoftSpez of the German Research Foundation
(DFG), Final Report},
series = {Lecture Notes in Computer Science},
volume = {3147},
pages = {494--516},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-27863-4\_27},
doi = {10.1007/978-3-540-27863-4\_27},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dfg/BrillBDKWW04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dfg/BrillDKWW04,
author = {Matthias Brill and
Werner Damm and
Jochen Klose and
Bernd Westphal and
Hartmut Wittke},
editor = {Hartmut Ehrig and
Werner Damm and
J{\"{o}}rg Desel and
Martin Gro{\ss}e{-}Rhode and
Wolfgang Reif and
Eckehard Schnieder and
Engelbert Westk{\"{a}}mper},
title = {Live Sequence Charts: An Introduction to Lines, Arrows, and Strange
Boxes in the Context of Formal Verification},
booktitle = {Integration of Software Specification Techniques for Applications
in Engineering, Priority Program SoftSpez of the German Research Foundation
(DFG), Final Report},
series = {Lecture Notes in Computer Science},
volume = {3147},
pages = {374--399},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-27863-4\_21},
doi = {10.1007/978-3-540-27863-4\_21},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dfg/BrillDKWW04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dfg/DammW04,
author = {Werner Damm and
Bernd Westphal},
editor = {Hartmut Ehrig and
Werner Damm and
J{\"{o}}rg Desel and
Martin Gro{\ss}e{-}Rhode and
Wolfgang Reif and
Eckehard Schnieder and
Engelbert Westk{\"{a}}mper},
title = {Introduction to Subject Area 'Charts'},
booktitle = {Integration of Software Specification Techniques for Applications
in Engineering, Priority Program SoftSpez of the German Research Foundation
(DFG), Final Report},
series = {Lecture Notes in Computer Science},
volume = {3147},
pages = {322--324},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-27863-4\_18},
doi = {10.1007/978-3-540-27863-4\_18},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dfg/DammW04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dfg/Desel04,
author = {J{\"{o}}rg Desel},
editor = {Hartmut Ehrig and
Werner Damm and
J{\"{o}}rg Desel and
Martin Gro{\ss}e{-}Rhode and
Wolfgang Reif and
Eckehard Schnieder and
Engelbert Westk{\"{a}}mper},
title = {Process Description Languages and Methods: Introduction to the Chapter
Petri Nets and Related Approaches in Engineering},
booktitle = {Integration of Software Specification Techniques for Applications
in Engineering, Priority Program SoftSpez of the German Research Foundation
(DFG), Final Report},
series = {Lecture Notes in Computer Science},
volume = {3147},
pages = {199--205},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-27863-4\_12},
doi = {10.1007/978-3-540-27863-4\_12},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dfg/Desel04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dfg/DeselHJLN04,
author = {J{\"{o}}rg Desel and
Hans{-}Michael Hanisch and
Gabriel Juh{\'{a}}s and
Robert Lorenz and
Christian Neumair},
editor = {Hartmut Ehrig and
Werner Damm and
J{\"{o}}rg Desel and
Martin Gro{\ss}e{-}Rhode and
Wolfgang Reif and
Eckehard Schnieder and
Engelbert Westk{\"{a}}mper},
title = {A Guide to Modelling and Control with Modules of Signal Nets},
booktitle = {Integration of Software Specification Techniques for Applications
in Engineering, Priority Program SoftSpez of the German Research Foundation
(DFG), Final Report},
series = {Lecture Notes in Computer Science},
volume = {3147},
pages = {270--300},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-27863-4\_16},
doi = {10.1007/978-3-540-27863-4\_16},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dfg/DeselHJLN04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dfg/Ehrig04,
author = {Hartmut Ehrig},
editor = {Hartmut Ehrig and
Werner Damm and
J{\"{o}}rg Desel and
Martin Gro{\ss}e{-}Rhode and
Wolfgang Reif and
Eckehard Schnieder and
Engelbert Westk{\"{a}}mper},
title = {Integration of Software Specification Techniques for Applications
in Engineering: Introduction and Overview of Results},
booktitle = {Integration of Software Specification Techniques for Applications
in Engineering, Priority Program SoftSpez of the German Research Foundation
(DFG), Final Report},
series = {Lecture Notes in Computer Science},
volume = {3147},
pages = {1--8},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-27863-4\_1},
doi = {10.1007/978-3-540-27863-4\_1},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dfg/Ehrig04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dfg/Einer04,
author = {Stefan Einer},
editor = {Hartmut Ehrig and
Werner Damm and
J{\"{o}}rg Desel and
Martin Gro{\ss}e{-}Rhode and
Wolfgang Reif and
Eckehard Schnieder and
Engelbert Westk{\"{a}}mper},
title = {{STOP} - Specification Technique of Operational Processes},
booktitle = {Integration of Software Specification Techniques for Applications
in Engineering, Priority Program SoftSpez of the German Research Foundation
(DFG), Final Report},
series = {Lecture Notes in Computer Science},
volume = {3147},
pages = {227--247},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-27863-4\_14},
doi = {10.1007/978-3-540-27863-4\_14},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dfg/Einer04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dfg/FischerGGKV04,
author = {Katja Fischer and
Peter G{\"{o}}hner and
Felix Gutbrodt and
Uwe Katzke and
Birgit Vogel{-}Heuser},
editor = {Hartmut Ehrig and
Werner Damm and
J{\"{o}}rg Desel and
Martin Gro{\ss}e{-}Rhode and
Wolfgang Reif and
Eckehard Schnieder and
Engelbert Westk{\"{a}}mper},
title = {Conceptual Design of an Engineering Model for Product and Plant Automation},
booktitle = {Integration of Software Specification Techniques for Applications
in Engineering, Priority Program SoftSpez of the German Research Foundation
(DFG), Final Report},
series = {Lecture Notes in Computer Science},
volume = {3147},
pages = {301--321},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-27863-4\_17},
doi = {10.1007/978-3-540-27863-4\_17},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dfg/FischerGGKV04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dfg/FlakeMPR04,
author = {Stephan Flake and
Wolfgang M{\"{u}}ller and
Ulrich Pape and
J{\"{u}}rgen Ruf},
editor = {Hartmut Ehrig and
Werner Damm and
J{\"{o}}rg Desel and
Martin Gro{\ss}e{-}Rhode and
Wolfgang Reif and
Eckehard Schnieder and
Engelbert Westk{\"{a}}mper},
title = {Specification and Formal Verification of Temporal Properties of Production
Automation Systems},
booktitle = {Integration of Software Specification Techniques for Applications
in Engineering, Priority Program SoftSpez of the German Research Foundation
(DFG), Final Report},
series = {Lecture Notes in Computer Science},
volume = {3147},
pages = {206--226},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-27863-4\_13},
doi = {10.1007/978-3-540-27863-4\_13},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dfg/FlakeMPR04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dfg/Grosse-Rhode04,
author = {Martin Gro{\ss}e{-}Rhode},
editor = {Hartmut Ehrig and
Werner Damm and
J{\"{o}}rg Desel and
Martin Gro{\ss}e{-}Rhode and
Wolfgang Reif and
Eckehard Schnieder and
Engelbert Westk{\"{a}}mper},
title = {On Model Integration and Integration Modelling: Introduction to the
Subject Area Integration Modelling},
booktitle = {Integration of Software Specification Techniques for Applications
in Engineering, Priority Program SoftSpez of the German Research Foundation
(DFG), Final Report},
series = {Lecture Notes in Computer Science},
volume = {3147},
pages = {567--581},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-27863-4\_30},
doi = {10.1007/978-3-540-27863-4\_30},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dfg/Grosse-Rhode04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dfg/HanselPSS04,
author = {Frank H{\"{a}}nsel and
Jan Poliak and
Roman Slov{\'{a}}k and
Eckehard Schnieder},
editor = {Hartmut Ehrig and
Werner Damm and
J{\"{o}}rg Desel and
Martin Gro{\ss}e{-}Rhode and
Wolfgang Reif and
Eckehard Schnieder and
Engelbert Westk{\"{a}}mper},
title = {Reference Case Study "Traffic Control Systems" for Comparison and
Validation of Formal Specifications Using a Railway Model Demonstrator},
booktitle = {Integration of Software Specification Techniques for Applications
in Engineering, Priority Program SoftSpez of the German Research Foundation
(DFG), Final Report},
series = {Lecture Notes in Computer Science},
volume = {3147},
pages = {96--118},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-27863-4\_8},
doi = {10.1007/978-3-540-27863-4\_8},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dfg/HanselPSS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dfg/HarelK04,
author = {David Harel and
Hillel Kugler},
editor = {Hartmut Ehrig and
Werner Damm and
J{\"{o}}rg Desel and
Martin Gro{\ss}e{-}Rhode and
Wolfgang Reif and
Eckehard Schnieder and
Engelbert Westk{\"{a}}mper},
title = {The Rhapsody Semantics of Statecharts (or, On the Executable Core
of the {UML)} - Preliminary Version},
booktitle = {Integration of Software Specification Techniques for Applications
in Engineering, Priority Program SoftSpez of the German Research Foundation
(DFG), Final Report},
series = {Lecture Notes in Computer Science},
volume = {3147},
pages = {325--354},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-27863-4\_19},
doi = {10.1007/978-3-540-27863-4\_19},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dfg/HarelK04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dfg/KardosR04,
author = {Martin Kardos and
Franz J. Rammig},
editor = {Hartmut Ehrig and
Werner Damm and
J{\"{o}}rg Desel and
Martin Gro{\ss}e{-}Rhode and
Wolfgang Reif and
Eckehard Schnieder and
Engelbert Westk{\"{a}}mper},
title = {Model Based Formal Verification of Distributed Production Control
Systems},
booktitle = {Integration of Software Specification Techniques for Applications
in Engineering, Priority Program SoftSpez of the German Research Foundation
(DFG), Final Report},
series = {Lecture Notes in Computer Science},
volume = {3147},
pages = {451--473},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-27863-4\_25},
doi = {10.1007/978-3-540-27863-4\_25},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dfg/KardosR04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dfg/KristensenJ04,
author = {Lars Michael Kristensen and
Kurt Jensen},
editor = {Hartmut Ehrig and
Werner Damm and
J{\"{o}}rg Desel and
Martin Gro{\ss}e{-}Rhode and
Wolfgang Reif and
Eckehard Schnieder and
Engelbert Westk{\"{a}}mper},
title = {Specification and Validation of an Edge Router Discovery Protocol
for Mobile Ad Hoc Networks},
booktitle = {Integration of Software Specification Techniques for Applications
in Engineering, Priority Program SoftSpez of the German Research Foundation
(DFG), Final Report},
series = {Lecture Notes in Computer Science},
volume = {3147},
pages = {248--269},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-27863-4\_15},
doi = {10.1007/978-3-540-27863-4\_15},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dfg/KristensenJ04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dfg/KrugerPSB04,
author = {Ingolf Kr{\"{u}}ger and
Wolfgang Prenninger and
Robert Sandner and
Manfred Broy},
editor = {Hartmut Ehrig and
Werner Damm and
J{\"{o}}rg Desel and
Martin Gro{\ss}e{-}Rhode and
Wolfgang Reif and
Eckehard Schnieder and
Engelbert Westk{\"{a}}mper},
title = {Development of Hierarchical Broadcasting Software Architectures Using
{UML} 2.0},
booktitle = {Integration of Software Specification Techniques for Applications
in Engineering, Priority Program SoftSpez of the German Research Foundation
(DFG), Final Report},
series = {Lecture Notes in Computer Science},
volume = {3147},
pages = {29--47},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-27863-4\_4},
doi = {10.1007/978-3-540-27863-4\_4},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dfg/KrugerPSB04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dfg/OrejasP04,
author = {Fernando Orejas and
Elvira Pino},
editor = {Hartmut Ehrig and
Werner Damm and
J{\"{o}}rg Desel and
Martin Gro{\ss}e{-}Rhode and
Wolfgang Reif and
Eckehard Schnieder and
Engelbert Westk{\"{a}}mper},
title = {On the Integration of Modular Heterogeneous Specifications},
booktitle = {Integration of Software Specification Techniques for Applications
in Engineering, Priority Program SoftSpez of the German Research Foundation
(DFG), Final Report},
series = {Lecture Notes in Computer Science},
volume = {3147},
pages = {582--601},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-27863-4\_31},
doi = {10.1007/978-3-540-27863-4\_31},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dfg/OrejasP04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dfg/OrtmeierRS04,
author = {Frank Ortmeier and
Wolfgang Reif and
Gerhard Schellhorn},
editor = {Hartmut Ehrig and
Werner Damm and
J{\"{o}}rg Desel and
Martin Gro{\ss}e{-}Rhode and
Wolfgang Reif and
Eckehard Schnieder and
Engelbert Westk{\"{a}}mper},
title = {Introduction to Subject Area "Verification"},
booktitle = {Integration of Software Specification Techniques for Applications
in Engineering, Priority Program SoftSpez of the German Research Foundation
(DFG), Final Report},
series = {Lecture Notes in Computer Science},
volume = {3147},
pages = {419--422},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-27863-4\_23},
doi = {10.1007/978-3-540-27863-4\_23},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dfg/OrtmeierRS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dfg/OrtmeierTSR04,
author = {Frank Ortmeier and
Andreas Thums and
Gerhard Schellhorn and
Wolfgang Reif},
editor = {Hartmut Ehrig and
Werner Damm and
J{\"{o}}rg Desel and
Martin Gro{\ss}e{-}Rhode and
Wolfgang Reif and
Eckehard Schnieder and
Engelbert Westk{\"{a}}mper},
title = {Combining Formal Methods and Safety Analysis - The ForMoSA Approach},
booktitle = {Integration of Software Specification Techniques for Applications
in Engineering, Priority Program SoftSpez of the German Research Foundation
(DFG), Final Report},
series = {Lecture Notes in Computer Science},
volume = {3147},
pages = {474--493},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-27863-4\_26},
doi = {10.1007/978-3-540-27863-4\_26},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dfg/OrtmeierTSR04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dfg/RastocnyJZ04,
author = {Karol R{\'{a}}stocn{\'{y}} and
Ales Janota and
Jir{\'{\i}} Zahradn{\'{\i}}k},
editor = {Hartmut Ehrig and
Werner Damm and
J{\"{o}}rg Desel and
Martin Gro{\ss}e{-}Rhode and
Wolfgang Reif and
Eckehard Schnieder and
Engelbert Westk{\"{a}}mper},
title = {The Use of {UML} for Development of a Railway Interlocking System},
booktitle = {Integration of Software Specification Techniques for Applications
in Engineering, Priority Program SoftSpez of the German Research Foundation
(DFG), Final Report},
series = {Lecture Notes in Computer Science},
volume = {3147},
pages = {174--198},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-27863-4\_11},
doi = {10.1007/978-3-540-27863-4\_11},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dfg/RastocnyJZ04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dfg/RufWKR04,
author = {J{\"{u}}rgen Ruf and
Roland J. Weiss and
Thomas Kropf and
Wolfgang Rosenstiel},
editor = {Hartmut Ehrig and
Werner Damm and
J{\"{o}}rg Desel and
Martin Gro{\ss}e{-}Rhode and
Wolfgang Reif and
Eckehard Schnieder and
Engelbert Westk{\"{a}}mper},
title = {Modeling and Formal Verification of Production Automation Systems},
booktitle = {Integration of Software Specification Techniques for Applications
in Engineering, Priority Program SoftSpez of the German Research Foundation
(DFG), Final Report},
series = {Lecture Notes in Computer Science},
volume = {3147},
pages = {541--566},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-27863-4\_29},
doi = {10.1007/978-3-540-27863-4\_29},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dfg/RufWKR04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dfg/SchaferWGE04,
author = {Wilhelm Sch{\"{a}}fer and
Robert Wagner and
J{\"{u}}rgen Gausemeier and
Raimund Eckes},
editor = {Hartmut Ehrig and
Werner Damm and
J{\"{o}}rg Desel and
Martin Gro{\ss}e{-}Rhode and
Wolfgang Reif and
Eckehard Schnieder and
Engelbert Westk{\"{a}}mper},
title = {An Engineer's Workstation to Support Integrated Development of Flexible
Production Control Systems},
booktitle = {Integration of Software Specification Techniques for Applications
in Engineering, Priority Program SoftSpez of the German Research Foundation
(DFG), Final Report},
series = {Lecture Notes in Computer Science},
volume = {3147},
pages = {48--68},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-27863-4\_5},
doi = {10.1007/978-3-540-27863-4\_5},
timestamp = {Fri, 26 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dfg/SchaferWGE04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dfg/Schnieder04,
author = {Eckehard Schnieder},
editor = {Hartmut Ehrig and
Werner Damm and
J{\"{o}}rg Desel and
Martin Gro{\ss}e{-}Rhode and
Wolfgang Reif and
Eckehard Schnieder and
Engelbert Westk{\"{a}}mper},
title = {Specification Methodology, Case Studies, and Experiments - An Introduction
to the Subject Area of Traffic Control Systems},
booktitle = {Integration of Software Specification Techniques for Applications
in Engineering, Priority Program SoftSpez of the German Research Foundation
(DFG), Final Report},
series = {Lecture Notes in Computer Science},
volume = {3147},
pages = {89--95},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-27863-4\_7},
doi = {10.1007/978-3-540-27863-4\_7},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dfg/Schnieder04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dfg/ThumsSOR04,
author = {Andreas Thums and
Gerhard Schellhorn and
Frank Ortmeier and
Wolfgang Reif},
editor = {Hartmut Ehrig and
Werner Damm and
J{\"{o}}rg Desel and
Martin Gro{\ss}e{-}Rhode and
Wolfgang Reif and
Eckehard Schnieder and
Engelbert Westk{\"{a}}mper},
title = {Interactive Verification of Statecharts},
booktitle = {Integration of Software Specification Techniques for Applications
in Engineering, Priority Program SoftSpez of the German Research Foundation
(DFG), Final Report},
series = {Lecture Notes in Computer Science},
volume = {3147},
pages = {355--373},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-27863-4\_20},
doi = {10.1007/978-3-540-27863-4\_20},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dfg/ThumsSOR04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dfg/Valckenaers04,
author = {Paul Valckenaers},
editor = {Hartmut Ehrig and
Werner Damm and
J{\"{o}}rg Desel and
Martin Gro{\ss}e{-}Rhode and
Wolfgang Reif and
Eckehard Schnieder and
Engelbert Westk{\"{a}}mper},
title = {Challenges of Next Generation Manufacturing Systems},
booktitle = {Integration of Software Specification Techniques for Applications
in Engineering, Priority Program SoftSpez of the German Research Foundation
(DFG), Final Report},
series = {Lecture Notes in Computer Science},
volume = {3147},
pages = {23--28},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-27863-4\_3},
doi = {10.1007/978-3-540-27863-4\_3},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dfg/Valckenaers04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dfg/WestkamperBF04,
author = {Engelbert Westk{\"{a}}mper and
Matthias Bengel and
Katja Fischer},
editor = {Hartmut Ehrig and
Werner Damm and
J{\"{o}}rg Desel and
Martin Gro{\ss}e{-}Rhode and
Wolfgang Reif and
Eckehard Schnieder and
Engelbert Westk{\"{a}}mper},
title = {Basic Principles for Software Specification: Introduction to Subject
Area Reference Case Study Production Automation},
booktitle = {Integration of Software Specification Techniques for Applications
in Engineering, Priority Program SoftSpez of the German Research Foundation
(DFG), Final Report},
series = {Lecture Notes in Computer Science},
volume = {3147},
pages = {9--22},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-27863-4\_2},
doi = {10.1007/978-3-540-27863-4\_2},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dfg/WestkamperBF04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/dfg/2004,
editor = {Hartmut Ehrig and
Werner Damm and
J{\"{o}}rg Desel and
Martin Gro{\ss}e{-}Rhode and
Wolfgang Reif and
Eckehard Schnieder and
Engelbert Westk{\"{a}}mper},
title = {Integration of Software Specification Techniques for Applications
in Engineering, Priority Program SoftSpez of the German Research Foundation
(DFG), Final Report},
series = {Lecture Notes in Computer Science},
volume = {3147},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/b100778},
doi = {10.1007/B100778},
isbn = {3-540-23135-8},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dfg/2004.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
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 2025-03-12 09:40 CET 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:
