default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Norbert Völker
@inproceedings{DBLP:conf/tphol/Volker07,
author = {Norbert V{\"{o}}lker},
editor = {Klaus Schneider and
Jens Brandt},
title = {{HOL2P} - {A} System of Classical Higher Order Logic with Second Order
Polymorphism},
booktitle = {Theorem Proving in Higher Order Logics, 20th International Conference,
TPHOLs 2007, Kaiserslautern, Germany, September 10-13, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4732},
pages = {334--351},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-74591-4\_25},
doi = {10.1007/978-3-540-74591-4\_25},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/tphol/Volker07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/geneme/HuthHRV06,
author = {Carsten Huth and
Olaf Hahnl and
Bj{\"{o}}rn Reinhold and
Norbert V{\"{o}}lker},
editor = {Klaus Mei{\ss}ner and
Martin Engelien},
title = {InterPROM - Interoperables kollaboratives Prozessmanagement in Kooperationen
zwischen {KMU} und Gro{\ss}unternehmen},
booktitle = {Gemeinschaften in Neuen Medien (GeNeMe) 2006, Dresden, Gemany, 2006.
Tagungsband},
pages = {109--121},
publisher = {Technische Universit{\"{a}}t Dresden},
year = {2006},
url = {https://nbn-resolving.org/urn:nbn:de:bsz:14-qucosa-139760},
urn = {urn:nbn:de:bsz:14-qucosa-139760},
timestamp = {Wed, 10 Feb 2021 08:46:19 +0100},
biburl = {https://dblp.org/rec/conf/geneme/HuthHRV06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icete/HuthVHR06,
author = {Carsten Huth and
Norbert V{\"{o}}lker and
Olaf Hahnl and
Bj{\"{o}}rn Reinhold},
editor = {Joaquim Filipe and
Thomas Greene},
title = {Interprom - {A} Collaborative Framework Driven by Business Needs -
Service Oriented Inter-Organisational Support for Business Processes
in Collaborative Environments},
booktitle = {{ICE-B} 2006 - Proceedings of the International Conference on e-Business,
Set{\'{u}}bal, Portugal, August 7-10, 2006, {ICE-B} is part of
{ICETE} - The International Joint Conference on e-Business and Telecommunications},
pages = {13--21},
publisher = {{INSTICC} Press},
year = {2006},
timestamp = {Wed, 27 Mar 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icete/HuthVHR06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icra/CraggHV05,
author = {Liam Cragg and
Huosheng Hu and
Norbert V{\"{o}}lker},
editor = {Davide Brugali},
title = {Modularity and Mobility of Distributed Control Software for Networked
Mobile Robots},
booktitle = {Software Engineering for Experimental Robotics, Workshop on Principles
and Practice of Software Development in Robotics, PPSDR@ICRA 2005,
Barcelona, Spain, April 18, 2005},
series = {Springer Tracts in Advanced Robotics},
volume = {30},
pages = {459--484},
year = {2005},
url = {https://doi.org/10.1007/978-3-540-68951-5\_26},
doi = {10.1007/978-3-540-68951-5\_26},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icra/CraggHV05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/icae/HuTCV04,
author = {Huosheng Hu and
Pui Wo Tsui and
Liam Cragg and
Norbert V{\"{o}}lker},
title = {Agent architecture for multi-robot cooperation over the Internet},
journal = {Integr. Comput. Aided Eng.},
volume = {11},
number = {3},
pages = {213--225},
year = {2004},
url = {https://doi.org/10.3233/ica-2004-11302},
doi = {10.3233/ICA-2004-11302},
timestamp = {Fri, 10 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/icae/HuTCV04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Volker04,
author = {Norbert V{\"{o}}lker},
editor = {David Aspinall and
Christoph L{\"{u}}th},
title = {Thoughts on Requirements and Design Issues of User Interfaces for
Proof Assistants},
booktitle = {Proceedings of the User Interfaces for Theorem Provers Workshop, UITP@TPHOLs
2003, Rome, Italy, September 8, 2003},
series = {Electronic Notes in Theoretical Computer Science},
volume = {103},
pages = {139--159},
publisher = {Elsevier},
year = {2003},
url = {https://doi.org/10.1016/j.entcs.2004.05.001},
doi = {10.1016/J.ENTCS.2004.05.001},
timestamp = {Fri, 09 Dec 2022 11:35:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Volker04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/VolkerK02,
author = {Norbert V{\"{o}}lker and
Bernd J. Kr{\"{a}}mer},
title = {Automated verification of function block-based industrial control
systems},
journal = {Sci. Comput. Program.},
volume = {42},
number = {1},
pages = {101--113},
year = {2002},
url = {https://doi.org/10.1016/S0167-6423(01)00028-4},
doi = {10.1016/S0167-6423(01)00028-4},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/VolkerK02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/simvis/KotterKV99,
author = {Hans{-}Friedrich K{\"{o}}tter and
Bernd J. Kr{\"{a}}mer and
Norbert V{\"{o}}lker},
editor = {Oliver Deussen and
Volkmar Hinz and
Peter Lorenz},
title = {3D-Visualisierung sicherheitskritischer Vorg{\"{a}}nge in der
Lehre mittels Java und {VRML}},
booktitle = {Simulation und Visualisierung 1999 (SimVis 1999), 4-5 M{\"{a}}rz
1999, Magdeburg},
pages = {19--32},
publisher = {{SCS} Publishing House e.V.},
year = {1999},
timestamp = {Wed, 01 Feb 2006 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/simvis/KotterKV99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tphol/Volker99,
author = {Norbert V{\"{o}}lker},
editor = {Yves Bertot and
Gilles Dowek and
Andr{\'{e}} Hirschowitz and
Christine Paulin{-}Mohring and
Laurent Th{\'{e}}ry},
title = {Disjoint Sums over Type Classes in {HOL}},
booktitle = {Theorem Proving in Higher Order Logics, 12th International Conference,
TPHOLs'99, Nice, France, September, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1690},
pages = {5--18},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48256-3\_2},
doi = {10.1007/3-540-48256-3\_2},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/tphol/Volker99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/daglib/0096873,
author = {Norbert V{\"{o}}lker},
title = {Ein Rahmen zur Verifikation von SPS-Funktionsbausteinen in {HOL}},
series = {Berichte aus der Elektrotechnik},
publisher = {Shaker},
year = {1998},
isbn = {978-3-8265-4367-8},
timestamp = {Thu, 21 Apr 2011 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/daglib/0096873.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsi/KramerVLK98,
author = {Bernd J. Kr{\"{a}}mer and
Norbert V{\"{o}}lker and
Reiner Lichtenecker and
Hans{-}Friedrich K{\"{o}}tter},
title = {Deriving {CORBA} Applications from Formal Specifications},
journal = {J. Syst. Integr.},
volume = {8},
number = {2},
pages = {143--158},
year = {1998},
url = {https://doi.org/10.1023/A:1008226622237},
doi = {10.1023/A:1008226622237},
timestamp = {Tue, 25 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsi/KramerVLK98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/VolkerK99,
author = {Norbert V{\"{o}}lker and
Bernd J. Kr{\"{a}}mer},
editor = {Luqi and
Manfred Broy},
title = {Automated Verification of Function Block Based Industrial Control
Systems},
booktitle = {The 1998 {ARO/ONR/NSF/DARPA} Monterey Workshop on Engineering Automation
for Computer Basesd Systems, Carmel, California, USA, October 23-26,
1998},
series = {Electronic Notes in Theoretical Computer Science},
volume = {25},
pages = {97--110},
publisher = {Elsevier},
year = {1998},
url = {https://doi.org/10.1016/S1571-0661(04)00135-5},
doi = {10.1016/S1571-0661(04)00135-5},
timestamp = {Wed, 23 Nov 2022 16:14:20 +0100},
biburl = {https://dblp.org/rec/journals/entcs/VolkerK99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rts/KramerV97,
author = {Bernd J. Kr{\"{a}}mer and
Norbert V{\"{o}}lker},
title = {A Highly Dependable Computing Architecture for Safety-Critical Control
Applications},
journal = {Real Time Syst.},
volume = {13},
number = {3},
pages = {237--251},
year = {1997},
url = {https://doi.org/10.1023/A:1007959310351},
doi = {10.1023/A:1007959310351},
timestamp = {Thu, 10 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/rts/KramerV97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/HalangKV95,
author = {Wolfgang A. Halang and
Bernd J. Kr{\"{a}}mer and
Norbert V{\"{o}}lker},
editor = {Gerhard Rabe},
title = {Formally Verified Firmware Modules for Industrial Process Automation},
booktitle = {14th International Conference on Computer Safety, Reliability and
Security, Safecomp 1995, Belgirate, Italy, October 11-13, 1995},
pages = {206--218},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/978-1-4471-3054-3\_15},
doi = {10.1007/978-1-4471-3054-3\_15},
timestamp = {Tue, 25 Jun 2019 09:49:42 +0200},
biburl = {https://dblp.org/rec/conf/safecomp/HalangKV95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vis/HalangKV95,
author = {Wolfgang A. Halang and
Bernd J. Kr{\"{a}}mer and
Norbert V{\"{o}}lker},
editor = {Hans Hermann Br{\"{u}}ggemann and
Waltraud Gerhardt{-}H{\"{a}}ckl},
title = {Formale Verifikation der Grundelemente in Funktionspl{\"{a}}nen
von Notabschaltsystemen},
booktitle = {Verl{\"{a}}{\ss}liche IT-Systeme, Proceedings der GI-Fachtagung
{VIS} '95},
pages = {229},
publisher = {Vieweg},
year = {1995},
timestamp = {Thu, 17 Nov 2022 13:36:41 +0100},
biburl = {https://dblp.org/rec/conf/vis/HalangKV95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pik/KramerVKG94,
author = {Bernd J. Kr{\"{a}}mer and
Norbert V{\"{o}}lker and
Thomas Koch and
Klaus Gotthardt},
title = {St{\"{a}}rken und Schw{\"{a}}chen formaler Beschreibungstechniken
f{\"{u}}r verteilte Systeme},
journal = {Prax. Inf.verarb. Kommun.},
volume = {17},
number = {3},
pages = {136--149},
year = {1994},
url = {https://doi.org/10.1515/piko.1994.17.3.136},
doi = {10.1515/PIKO.1994.17.3.136},
timestamp = {Thu, 29 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pik/KramerVKG94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cj/BoitenPTV92,
author = {Eerke A. Boiten and
Helmuth Partsch and
Daniel Tuijnman and
Norbert V{\"{o}}lker},
title = {How to Produce Correct Software - An Introduction to Formal Specification
and Program Development by Transformations},
journal = {Comput. J.},
volume = {35},
number = {6},
pages = {547--554},
year = {1992},
url = {https://doi.org/10.1093/comjnl/35.6.547},
doi = {10.1093/COMJNL/35.6.547},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cj/BoitenPTV92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cip/PartschV91,
author = {Helmuth Partsch and
Norbert V{\"{o}}lker},
editor = {Manfred Broy and
Martin Wirsing},
title = {Another Case Study on Reusability of Transformational Developments
Pattern Matching According to Knuth, Morris, and Pratt},
booktitle = {Method of Programming, Selected Papers on the CIP-Project},
series = {Lecture Notes in Computer Science},
volume = {544},
pages = {35--48},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/BFb0018268},
doi = {10.1007/BFB0018268},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/cip/PartschV91.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.
last updated on 2024-04-24 23:07 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:
