Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Franz Huber
@article{DBLP:journals/ijinfoman/WainwrightHSK23,
author = {Thomas Wainwright and
Franz Huber and
Christoph St{\"{o}}ckmann and
Sascha Kraus},
title = {Open data platforms for transformational entrepreneurship: Inclusion
and exclusion mechanisms},
journal = {Int. J. Inf. Manag.},
volume = {72},
pages = {102664},
year = {2023},
url = {https://doi.org/10.1016/j.ijinfomgt.2023.102664},
doi = {10.1016/J.IJINFOMGT.2023.102664},
timestamp = {Thu, 14 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijinfoman/WainwrightHSK23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/synthese/Huber17,
author = {Franz Huber},
title = {Why follow the royal rule?},
journal = {Synth.},
volume = {194},
number = {5},
pages = {1565--1590},
year = {2017},
url = {https://doi.org/10.1007/s11229-015-1004-x},
doi = {10.1007/S11229-015-1004-X},
timestamp = {Thu, 09 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/synthese/Huber17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jphil/Huber15,
author = {Franz Huber},
title = {What Should {I} Believe About What Would Have Been the Case?},
journal = {J. Philos. Log.},
volume = {44},
number = {1},
pages = {81--110},
year = {2015},
url = {https://doi.org/10.1007/s10992-014-9314-x},
doi = {10.1007/S10992-014-9314-X},
timestamp = {Mon, 11 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jphil/Huber15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/synthese/Huber14,
author = {Franz Huber},
title = {New foundations for counterfactuals},
journal = {Synth.},
volume = {191},
number = {10},
pages = {2167--2193},
year = {2014},
url = {https://doi.org/10.1007/s11229-013-0391-0},
doi = {10.1007/S11229-013-0391-0},
timestamp = {Thu, 09 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/synthese/Huber14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/HuberRR14,
author = {Franz Huber and
Andreas Rausch and
Bernhard Rumpe},
title = {Modeling Dynamic Component Interfaces},
journal = {CoRR},
volume = {abs/1409.6924},
year = {2014},
url = {http://arxiv.org/abs/1409.6924},
eprinttype = {arXiv},
eprint = {1409.6924},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/HuberRR14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BreuGHRS14,
author = {Ruth Breu and
Radu Grosu and
Franz Huber and
Bernhard Rumpe and
Wolfgang Schwerin},
title = {Towards a Precise Semantics for Object-Oriented Modeling Techniques},
journal = {CoRR},
volume = {abs/1409.6930},
year = {2014},
url = {http://arxiv.org/abs/1409.6930},
eprinttype = {arXiv},
eprint = {1409.6930},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BreuGHRS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BreuGHHKRSS14,
author = {Ruth Breu and
Radu Grosu and
Christoph Hofmann and
Franz Huber and
Ingolf Kr{\"{u}}ger and
Bernhard Rumpe and
Monika Schmidt and
Wolfgang Schwerin},
title = {Exemplary and Complete Object Interaction Descriptions},
journal = {CoRR},
volume = {abs/1409.7231},
year = {2014},
url = {http://arxiv.org/abs/1409.7231},
eprinttype = {arXiv},
eprint = {1409.7231},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BreuGHHKRSS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BroyHPRS14,
author = {Manfred Broy and
Franz Huber and
Barbara Paech and
Bernhard Rumpe and
Katharina Spies},
title = {Software and System Modeling Based on a Unified Formal Semantics},
journal = {CoRR},
volume = {abs/1411.2410},
year = {2014},
url = {http://arxiv.org/abs/1411.2410},
eprinttype = {arXiv},
eprint = {1411.2410},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BroyHPRS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BreuGHRS14a,
author = {Ruth Breu and
Radu Grosu and
Franz Huber and
Bernhard Rumpe and
Wolfgang Schwerin},
title = {Systems, Views and Models of {UML}},
journal = {CoRR},
volume = {abs/1412.2458},
year = {2014},
url = {http://arxiv.org/abs/1412.2458},
eprinttype = {arXiv},
eprint = {1412.2458},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BreuGHRS14a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rsl/Huber13,
author = {Franz Huber},
title = {Structural equations and beyond},
journal = {Rev. Symb. Log.},
volume = {6},
number = {4},
pages = {709--732},
year = {2013},
url = {https://doi.org/10.1017/S175502031300018X},
doi = {10.1017/S175502031300018X},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/rsl/Huber13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:reference/ai/Huber09,
author = {Franz Huber},
editor = {Juan R. Rabu{\~{n}}al and
Juli{\'{a}}n Dorado and
Alejandro Pazos},
title = {Ranking Functions},
booktitle = {Encyclopedia of Artificial Intelligence {(3} Volumes)},
pages = {1351--1355},
publisher = {{IGI} Global},
year = {2009},
url = {http://www.igi-global.com/Bookstore/Chapter.aspx?TitleId=10415},
timestamp = {Mon, 22 May 2023 11:26:05 +0200},
biburl = {https://dblp.org/rec/reference/ai/Huber09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/synthese/Huber08,
author = {Franz Huber},
title = {Assessing theories, Bayes style},
journal = {Synth.},
volume = {161},
number = {1},
pages = {89--118},
year = {2008},
url = {https://doi.org/10.1007/s11229-006-9141-x},
doi = {10.1007/S11229-006-9141-X},
timestamp = {Thu, 09 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/synthese/Huber08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jphil/Huber07,
author = {Franz Huber},
title = {The Logic of Theory Assessment},
journal = {J. Philos. Log.},
volume = {36},
number = {5},
pages = {511--538},
year = {2007},
url = {https://doi.org/10.1007/s10992-006-9044-9},
doi = {10.1007/S10992-006-9044-9},
timestamp = {Mon, 11 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jphil/Huber07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sLogica/Huber07,
author = {Franz Huber},
title = {The Consistency Argument for Ranking Functions},
journal = {Stud Logica},
volume = {86},
number = {2},
pages = {299--329},
year = {2007},
url = {https://doi.org/10.1007/s11225-007-9062-9},
doi = {10.1007/S11225-007-9062-9},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sLogica/Huber07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/Huber06,
author = {Franz Huber},
title = {Ranking functions and rankings on languages},
journal = {Artif. Intell.},
volume = {170},
number = {4-5},
pages = {462--471},
year = {2006},
url = {https://doi.org/10.1016/j.artint.2005.10.016},
doi = {10.1016/J.ARTINT.2005.10.016},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ai/Huber06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecbs/SchatzBHW05,
author = {Bernhard Sch{\"{a}}tz and
Peter Braun and
Franz Huber and
Alexander K. Wi{\ss}peintner},
title = {Checking and Transforming Models with AutoFOCUS},
booktitle = {12th {IEEE} International Conference on the Engineering of Computer-Based
Systems {(ECBS} 2005), 4-7 April 2005, Greenbelt, MD, {USA}},
pages = {307--314},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/ECBS.2005.24},
doi = {10.1109/ECBS.2005.24},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecbs/SchatzBHW05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecbs/SchatzBHW03,
author = {Bernhard Sch{\"{a}}tz and
Peter Braun and
Franz Huber and
Alexander K. Wi{\ss}peintner},
title = {Consistency in Model-Based Development},
booktitle = {10th {IEEE} International Conference on Engineering of Computer-Based
Systems {(ECBS} 2003), 7-10 April 2003, Huntsville, AL, {USA}},
pages = {287--296},
publisher = {{IEEE} Computer Society},
year = {2003},
url = {https://doi.org/10.1109/ECBS.2003.1194810},
doi = {10.1109/ECBS.2003.1194810},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecbs/SchatzBHW03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adaD/BlotzHLPSZ02,
author = {Andree Blotz and
Franz Huber and
Heiko L{\"{o}}tzbeyer and
Alexander Pretschner and
Oscar Slotosch and
Hans{-}Peter Z{\"{a}}ngerl},
editor = {J{\"{u}}rgen F. H. Winkler and
Peter Dencker and
Hubert B. Keller and
Michael Tonndorf},
title = {Model-Based Software Engineering and Ada: Synergy for the Development
of Safety-Critical Systems},
booktitle = {Ada Deutschland Tagung 2002: Software f{\"{u}}r sicherheitskritische
Systeme, 6. bis 8. M{\"{a}}rz 2002, Jena, Friedrich-Schiller-Universit{\"{a}}t},
pages = {37--52},
publisher = {Shaker Verlag},
year = {2002},
timestamp = {Fri, 31 May 2013 08:25:50 +0200},
biburl = {https://dblp.org/rec/conf/adaD/BlotzHLPSZ02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oois/SchatzPHP02,
author = {Bernhard Sch{\"{a}}tz and
Alexander Pretschner and
Franz Huber and
Jan Philipps},
editor = {Jean{-}Michel Bruel and
Zohra Bellahsene},
title = {Model-Based Development of Embedded Systems},
booktitle = {Advances in Object-Oriented Information Systems, {OOIS} 2002 Workshops,
Montpellier, France, September 2, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2426},
pages = {298--312},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-46105-1\_34},
doi = {10.1007/3-540-46105-1\_34},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/oois/SchatzPHP02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-SE-0201023,
author = {Andree Blotz and
Franz Huber and
Heiko L{\"{o}}tzbeyer and
Alexander Pretschner and
Oscar Slotosch and
Hans{-}Peter Z{\"{a}}ngerl},
title = {Model-Based Software Engineering and Ada: Synergy for the Development
of Safety-Critical Systems},
journal = {CoRR},
volume = {cs.SE/0201023},
year = {2002},
url = {https://arxiv.org/abs/cs/0201023},
timestamp = {Fri, 10 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/cs-SE-0201023.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ife/BroyBHKRS01,
author = {Manfred Broy and
Ruth Breu and
Franz Huber and
Ingolf Kr{\"{u}}ger and
Bernhard Rumpe and
Wolfgang Schwerin},
title = {Methodik, Sprachen und Grundlagen des Software Engineering, Abschlussbericht
des Forschungslabors {SYSLAB} {(1.10.1994} - 30.9.1999)},
journal = {Inform. Forsch. Entwickl.},
volume = {16},
number = {1},
pages = {53--59},
year = {2001},
url = {https://doi.org/10.1007/PL00009142},
doi = {10.1007/PL00009142},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ife/BroyBHKRS01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fbt/WisspeintnerHP00,
author = {Alexander K. Wi{\ss}peintner and
Franz Huber and
Jan Philipps},
editor = {Jens Grabowski and
Stefan Heymer},
title = {Model Checking and Random Competition - {A} Study Using the Model
Checking Framework {MIC}},
booktitle = {Formale Beschreibungstechniken f{\"{u}}r verteilte Systeme, 10.
GI/ITG-Fachgespr{\"{a}}ch, L{\"{u}}beck, Juni 2000},
pages = {91--100},
publisher = {Verlag Shaker},
year = {2000},
timestamp = {Thu, 27 Mar 2003 09:47:24 +0100},
biburl = {https://dblp.org/rec/conf/fbt/WisspeintnerHP00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ife/BroyHS99,
author = {Manfred Broy and
Franz Huber and
Bernhard Sch{\"{a}}tz},
title = {AutoFocus - Ein Werkzeugprototyp zur Entwicklung eingebetteter Systeme},
journal = {Inform. Forsch. Entwickl.},
volume = {14},
number = {3},
pages = {121--134},
year = {1999},
url = {https://doi.org/10.1007/s004500050132},
doi = {10.1007/S004500050132},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ife/BroyHS99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/SchatzH99,
author = {Bernhard Sch{\"{a}}tz and
Franz Huber},
editor = {Jeannette M. Wing and
Jim Woodcock and
Jim Davies},
title = {Integrating Formal Description Techniques},
booktitle = {FM'99 - Formal Methods, World Congress on Formal Methods in the Development
of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings,
Volume {II}},
series = {Lecture Notes in Computer Science},
volume = {1709},
pages = {1206--1225},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48118-4\_14},
doi = {10.1007/3-540-48118-4\_14},
timestamp = {Fri, 17 Feb 2023 09:02:00 +0100},
biburl = {https://dblp.org/rec/conf/fm/SchatzH99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/csi/BreuGHHKRSS98,
author = {Ruth Breu and
Radu Grosu and
Christoph Hofmann and
Franz Huber and
Ingolf Kr{\"{u}}ger and
Bernhard Rumpe and
Monika Schmidt and
Wolfgang Schwerin},
title = {Exemplary and complete object interaction descriptions},
journal = {Comput. Stand. Interfaces},
volume = {19},
number = {7},
pages = {335--345},
year = {1998},
url = {https://doi.org/10.1016/S0920-5489(98)00021-X},
doi = {10.1016/S0920-5489(98)00021-X},
timestamp = {Thu, 20 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/csi/BreuGHHKRSS98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsd/HuberMSSV98,
author = {Franz Huber and
Sascha Molterer and
Bernhard Sch{\"{a}}tz and
Oscar Slotosch and
Alexander Vilbig},
title = {Traffic Lights - An AutoFocus Case Study},
booktitle = {1st International Conference on Application of Concurrency to System
Design {(ACSD} '98), 23-26 March 1998, Fukushima, Japan},
pages = {282--294},
publisher = {{IEEE} Computer Society},
year = {1998},
url = {https://doi.org/10.1109/CSD.1998.657559},
doi = {10.1109/CSD.1998.657559},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/acsd/HuberMSSV98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fbt/HuberS98,
author = {Franz Huber and
Bernhard Sch{\"{a}}tz},
editor = {Hartmut K{\"{o}}nig and
Peter Langend{\"{o}}rfer},
title = {Specification Modules for Methodical System Development},
booktitle = {Formale Beschreibungstechniken f{\"{u}}r verteilte Systeme, 8.
GI/ITG-Fachgespr{\"{a}}ch, Cottbus, 4. und 5. Juni 1998},
pages = {75--86},
publisher = {Verlag Shaker},
year = {1998},
timestamp = {Tue, 19 Jul 2005 12:16:22 +0200},
biburl = {https://dblp.org/rec/conf/fbt/HuberS98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pdse/HuberMRSSS98,
author = {Franz Huber and
Sascha Molterer and
Andreas Rausch and
Bernhard Sch{\"{a}}tz and
Marc Sihling and
Oscar Slotosch},
title = {Tool Supported Specification and Simulation of Distributed Systems},
booktitle = {International Symposium on Software Engineering for Parallel and Distributed
Systems, {PDSE} 1998, Kyoto, Japan, April 20-21, 1998},
pages = {155},
publisher = {{IEEE} Computer Society},
year = {1998},
url = {https://doi.org/10.1109/PDSE.1998.668174},
doi = {10.1109/PDSE.1998.668174},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pdse/HuberMRSSS98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tools/HuberRR98,
author = {Franz Huber and
Andreas Rausch and
Bernhard Rumpe},
title = {Modeling Dynamic Component Interfaces},
booktitle = {{TOOLS} 1998: 26th International Conference on Technology of Object-Oriented
Languages and Systems, 3-7 August 1998, Santa Barbara, CA, {USA}},
pages = {58--70},
publisher = {{IEEE} Computer Society},
year = {1998},
url = {https://doi.org/10.1109/TOOLS.1998.711003},
doi = {10.1109/TOOLS.1998.711003},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tools/HuberRR98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoopw/BreuGHRS97,
author = {Ruth Breu and
Radu Grosu and
Franz Huber and
Bernhard Rumpe and
Wolfgang Schwerin},
editor = {Jan Bosch and
Stuart Mitchell},
title = {Towards a Precise Semantics for Object-Oriented Modeling Techniques},
booktitle = {Object-Oriented Technology, ECOOP'97 Workshop Reader, ECOOP'97 Workshops,
Jyv{\"{a}}skyl{\"{a}}, Finland, June 9-13, 1997},
series = {Lecture Notes in Computer Science},
volume = {1357},
pages = {205--210},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-69687-3\_42},
doi = {10.1007/3-540-69687-3\_42},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/ecoopw/BreuGHRS97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fbt/HuberS97,
author = {Franz Huber and
Bernhard Sch{\"{a}}tz},
editor = {Adam Wolisz and
Ina Schieferdecker and
Axel Rennoch},
title = {Rapid Prototyping with AutoFocus},
booktitle = {Formale Beschreibungstechniken f{\"{u}}r verteilte Systeme, GI/ITG-Fachgespr{\"{a}}ch,
Berlin, 19.-20. Juni 1997},
series = {GMD-Studien},
volume = {315},
pages = {343--352},
publisher = {GMD-Forschungszentrum Informationstechnik GmbH},
year = {1997},
timestamp = {Thu, 27 Mar 2003 09:36:35 +0100},
biburl = {https://dblp.org/rec/conf/fbt/HuberS97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/HuberSE97,
author = {Franz Huber and
Bernhard Sch{\"{a}}tz and
Geralf Einert},
editor = {John S. Fitzgerald and
Cliff B. Jones and
Peter Lucas},
title = {Consistent Graphical Specification of Distributed Systems},
booktitle = {{FME} '97: Industrial Applications and Strengthened Foundations of
Formal Methods, 4th International Symposium of Formal Methods Europe,
Graz, Austria, September 15-19, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1313},
pages = {122--141},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-63533-5\_7},
doi = {10.1007/3-540-63533-5\_7},
timestamp = {Sun, 02 Jun 2019 21:24:32 +0200},
biburl = {https://dblp.org/rec/conf/fm/HuberSE97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtse/BroyHPRS97,
author = {Manfred Broy and
Franz Huber and
Barbara Paech and
Bernhard Rumpe and
Katharina Spies},
editor = {Manfred Broy and
Bernhard Rumpe},
title = {Software and System Modeling Based on a Unified Formal Semantics},
booktitle = {Requirements Targeting Software and Systems Engineering, International
Workshop {RTSE} '97, Bernried, Germany, October 12-14, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1526},
pages = {43--68},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/10692867\_2},
doi = {10.1007/10692867\_2},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/rtse/BroyHPRS97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/uml/BreuGHRS97,
author = {Ruth Breu and
Radu Grosu and
Franz Huber and
Bernhard Rumpe and
Wolfgang Schwerin},
editor = {Martin Schader and
Axel Korthaus},
title = {Systems, Views and Models of {UML}},
booktitle = {The Unified Modeling Language - Technical Aspects and Applications,
Workshop "Einsatz, Bewertung und Stand der Unified Modeling Language",
Mannheim, Germany, November 10-11, 1997},
pages = {93--108},
publisher = {Physica-Verlag, Heidelberg},
year = {1997},
timestamp = {Wed, 24 May 2017 13:56:05 +0200},
biburl = {https://dblp.org/rec/conf/uml/BreuGHRS97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/HuberSSS96,
author = {Franz Huber and
Bernhard Sch{\"{a}}tz and
Alexander Schmidt and
Katharina Spies},
editor = {Bengt Jonsson and
Joachim Parrow},
title = {AutoFocus: {A} Tool for Distributed Systems Specification},
booktitle = {Formal Techniques in Real-Time and Fault-Tolerant Systems, 4th International
Symposium, FTRTFT'96, Uppsala, Sweden, September 9-13, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1135},
pages = {467--470},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61648-9\_58},
doi = {10.1007/3-540-61648-9\_58},
timestamp = {Tue, 31 Aug 2021 12:07:12 +0200},
biburl = {https://dblp.org/rec/conf/ftrtft/HuberSSS96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mam/BemmerlHS88,
author = {Thomas Bemmerl and
Franz Huber and
Robert Stampfl},
title = {Features, design and implementation of high-level language debuggers},
journal = {Microprocess. Microsystems},
volume = {12},
number = {6},
pages = {331--340},
year = {1988},
url = {https://doi.org/10.1016/0141-9331(88)90190-1},
doi = {10.1016/0141-9331(88)90190-1},
timestamp = {Sat, 22 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/mam/BemmerlHS88.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 2023-09-28 03:38 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:
