BibTeX records: André Windisch

download as .bib file

@inproceedings{DBLP:conf/ams/HalbigWKOH12,
  author       = {Jens Halbig and
                  Andr{\'{e}} Windisch and
                  Patrick Kingsbury and
                  Norbert Oswald and
                  Wolfram Hardt},
  editor       = {Paul Levi and
                  Oliver Zweigle and
                  Kai H{\"{a}}u{\ss}ermann and
                  Bernd Eckstein},
  title        = {Development of a Real-Time Decision-Making System for Certifiable
                  Autonomous Unmanned Systems},
  booktitle    = {Autonomous Mobile Systems 2012 - 22. Fachgespr{\"{a}}ch Stuttgart,
                  26. bis 28. September 2012},
  series       = {Informatik Aktuell},
  pages        = {119--128},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-32217-4\_13},
  doi          = {10.1007/978-3-642-32217-4\_13},
  timestamp    = {Tue, 23 May 2017 01:06:08 +0200},
  biburl       = {https://dblp.org/rec/conf/ams/HalbigWKOH12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ams/OswaldFMRW07,
  author       = {Norbert Oswald and
                  Stefan F{\"{o}}rster and
                  Herwig Moser and
                  Toni Reichelt and
                  Andr{\'{e}} Windisch},
  editor       = {Karsten Berns and
                  Tobias Luksch},
  title        = {An Architectural Framework for Cooperative Civil and Military Mission
                  Scenarios},
  booktitle    = {Autonome Mobile Systeme 2007, 20. Fachgespr{\"{a}}ch, Kaiserslautern,
                  18./19. Oktober 2007},
  series       = {Informatik Aktuell},
  pages        = {110--113},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-74764-2\_17},
  doi          = {10.1007/978-3-540-74764-2\_17},
  timestamp    = {Tue, 23 May 2017 01:06:08 +0200},
  biburl       = {https://dblp.org/rec/conf/ams/OswaldFMRW07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icinco/OswaldWFMR07,
  author       = {Norbert Oswald and
                  Andr{\'{e}} Windisch and
                  Stefan F{\"{o}}rster and
                  Herwig Moser and
                  Toni Reichelt},
  editor       = {Janan Zaytoon and
                  Jean{-}Louis Ferrier and
                  Juan Andrade{-}Cetto and
                  Joaquim Filipe},
  title        = {A service-oriented framework for manned and unmanned systems to support
                  network-centric operations},
  booktitle    = {{ICINCO} 2007, Proceedings of the Fourth International Conference
                  on Informatics in Control, Automation and Robotics, Intelligent Control
                  Systems and Optimization, Angers, France, May 9-12, 2007},
  pages        = {284--291},
  publisher    = {{INSTICC} Press},
  year         = {2007},
  timestamp    = {Mon, 15 Jun 2015 19:00:08 +0200},
  biburl       = {https://dblp.org/rec/conf/icinco/OswaldWFMR07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icns/ReicheltOWFM07,
  author       = {Toni Reichelt and
                  Norbert Oswald and
                  Andr{\'{e}} Windisch and
                  Stefan F{\"{o}}rster and
                  Herwig Moser},
  title        = {{IP} Based Transport Abstraction for Middleware Technologies},
  booktitle    = {Third International Conference on Networking and Services {(ICNS}
                  2007), June 19-25, 2007, Athens, Greece},
  pages        = {39},
  publisher    = {{IEEE} Computer Society},
  year         = {2007},
  url          = {https://doi.org/10.1109/ICNS.2007.76},
  doi          = {10.1109/ICNS.2007.76},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icns/ReicheltOWFM07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fdl/ForsterWFMH04,
  author       = {Stefan F{\"{o}}rster and
                  Andr{\'{e}} Windisch and
                  Marco Fischer and
                  Dieter Monjau and
                  Wolfram Hardt},
  title        = {A Methodology for Embedded System Design supporting Layered Platforms},
  booktitle    = {Forum on specification and Design Languages, {FDL} 2004, September
                  14-17, 2004, Lille, France, Proceedings},
  pages        = {544--556},
  publisher    = {{ECSI}},
  year         = {2004},
  url          = {http://www.ecsi-association.org/ecsi/main.asp?l1=library\&\#38;fn=def\&\#38;id=610},
  timestamp    = {Thu, 03 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fdl/ForsterWFMH04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@phdthesis{DBLP:phd/dnb/Windisch03,
  author       = {Andr{\'{e}} Windisch},
  title        = {A framework for the formalisation of the simulation semantics of multi-lingual
                  specified heterogeneous systems},
  school       = {Darmstadt University of Technology, Germany},
  year         = {2003},
  url          = {https://d-nb.info/967421128},
  isbn         = {978-3-18-371910-5},
  timestamp    = {Sat, 17 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/phd/dnb/Windisch03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fdl/FischerWFBM03,
  author       = {Marco Fischer and
                  Andr{\'{e}} Windisch and
                  Stefan F{\"{o}}rster and
                  Burkhard Balser and
                  Dieter Monjau},
  title        = {A New Time Extension to phi-Calculus based on Time Consuming Transition
                  Semantics},
  booktitle    = {Forum on specification and Design Languages, {FDL} 2003, September
                  23-26, 2003, Frankfurt, Germany, Proceedings},
  pages        = {447--456},
  publisher    = {{ECSI}},
  year         = {2003},
  url          = {http://www.ecsi-association.org/ecsi/main.asp?l1=library\&\#38;fn=def\&\#38;id=829},
  doi          = {10.1007/1-4020-7991-5\_17},
  timestamp    = {Thu, 03 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fdl/FischerWFBM03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fdl/ForsterFMWB03,
  author       = {Stefan F{\"{o}}rster and
                  Marco Fischer and
                  Dieter Monjau and
                  Andr{\'{e}} Windisch and
                  Burkhard Balser},
  title        = {Process Algebraic Specification, Refinement, and Verification of Embedded
                  Systems},
  booktitle    = {Forum on specification and Design Languages, {FDL} 2003, September
                  23-26, 2003, Frankfurt, Germany, Proceedings},
  pages        = {525--536},
  publisher    = {{ECSI}},
  year         = {2003},
  url          = {http://www.ecsi-association.org/ecsi/main.asp?l1=library\&\#38;fn=def\&\#38;id=844},
  timestamp    = {Thu, 03 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fdl/ForsterFMWB03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mbmv/FischerFWBM03,
  author       = {Marco Fischer and
                  Stefan F{\"{o}}rster and
                  Andr{\'{e}} Windisch and
                  Burkhard Balser and
                  Dieter Monjau},
  editor       = {Rolf Drechsler},
  title        = {A New Process-Algebraic Specification Methodology for Integrated Modular
                  Avionic Systems},
  booktitle    = {Methoden und Beschreibungssprachen zur Modellierung und Verifikation
                  von Schaltungen und Systemen (MBMV), Bremen, Germany, February 24-25,
                  2003},
  pages        = {21--29},
  publisher    = {Shaker},
  year         = {2003},
  timestamp    = {Thu, 28 Jun 2012 12:33:11 +0200},
  biburl       = {https://dblp.org/rec/conf/mbmv/FischerFWBM03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rsp/ForsterFWBM03,
  author       = {Stefan F{\"{o}}rster and
                  Marco Fischer and
                  Andr{\'{e}} Windisch and
                  Burkhard Balser and
                  Dieter Monjau},
  title        = {A New Specification Methodology for Embedded Systems Based on the
                  - Calculus Process Algebra},
  booktitle    = {14th {IEEE} International Workshop on Rapid System Prototyping {(RSP}
                  2003), 9-11 June 2003, San Diego, CA, {USA}},
  pages        = {26--32},
  publisher    = {{IEEE} Computer Society},
  year         = {2003},
  url          = {https://doi.org/10.1109/IWRSP.2003.1207026},
  doi          = {10.1109/IWRSP.2003.1207026},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/rsp/ForsterFWBM03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mse/MadesSWHBG01,
  author       = {Jochen Mades and
                  Thomas Schneider and
                  Andr{\'{e}} Windisch and
                  Thomas Hollstein and
                  J{\"{u}}rgen Becker and
                  Manfred Glesner},
  title        = {Concept of a Joint University/Industry Course for Mixed-Signal System-On-Chip
                  Design},
  booktitle    = {2001 International Conference on Microelectronics Systems Education,
                  {MSE} 2001, Las Vegas, NV, USA, July 17-18, 2001},
  pages        = {2--3},
  publisher    = {{IEEE} Computer Society},
  year         = {2001},
  url          = {https://doi.org/10.1109/MSE.2001.932390},
  doi          = {10.1109/MSE.2001.932390},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/mse/MadesSWHBG01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sccc/WindischM01,
  author       = {Andr{\'{e}} Windisch and
                  Dieter Monjau},
  title        = {An operational framework for the multi-lingual system simulation based
                  on pi-calculus},
  booktitle    = {21st International Conference of the Chilean Computer Science Society
                  {(SCCC} 2001), 6-8 November 2001, Punta Arenas, Chile},
  pages        = {282--291},
  publisher    = {{IEEE} Computer Society},
  year         = {2001},
  url          = {https://doi.org/10.1109/SCCC.2001.972658},
  doi          = {10.1109/SCCC.2001.972658},
  timestamp    = {Wed, 16 Oct 2019 14:14:56 +0200},
  biburl       = {https://dblp.org/rec/conf/sccc/WindischM01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/it/WindischSMMGHE00,
  author       = {Andr{\'{e}} Windisch and
                  Thomas Schneider and
                  Jochen Mades and
                  Dieter Monjau and
                  Manfred Glesner and
                  Carsten Hammer and
                  Wolfgang Ecker},
  title        = {Eine flexible Simulationsumgebung f{\"{u}}r System-On-Chip Design
                  {(A} Flexible Simulation Environment for System-On-Chip Design)},
  journal      = {Informationstechnik Tech. Inform.},
  volume       = {42},
  number       = {5},
  pages        = {43},
  year         = {2000},
  url          = {https://doi.org/10.1524/itit.2000.42.5.43},
  doi          = {10.1524/ITIT.2000.42.5.43},
  timestamp    = {Tue, 08 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/it/WindischSMMGHE00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/bmas/SchneiderMGWE00,
  author       = {Thomas Schneider and
                  Jochen Mades and
                  Manfred Glesner and
                  Andr{\'{e}} Windisch and
                  Wolfgang Ecker},
  title        = {An Open {VHDL-AMS} Simulation Framework},
  booktitle    = {2000 {IEEE/ACM} International Workshop on Behavioral Modeling and
                  Simulation, {BMAS} 2000, Orlando, Florida, USA, 18-20 October 2000},
  pages        = {89--94},
  publisher    = {{IEEE} Computer Society},
  year         = {2000},
  url          = {https://doi.org/10.1109/BMAS.2000.888370},
  doi          = {10.1109/BMAS.2000.888370},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/bmas/SchneiderMGWE00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mbmv/EckerHMSWY00,
  author       = {Wolfgang Ecker and
                  Mike Heuchling and
                  Jochen Mades and
                  Thomas Schneider and
                  Andr{\'{e}} Windisch and
                  Ke Yang},
  editor       = {Klaus Waldschmidt and
                  Christoph Grimm},
  title        = {{VXML:} {VHDL} Hardware Design Representation in {XML}},
  booktitle    = {Methoden und Beschreibungssprachen zur Modellierung und Verifikation
                  von Schaltungen und Systemen (MBMV), Frankfurt, Germany, February
                  28 - March 1, 2000},
  pages        = {129--140},
  publisher    = {{VDE}},
  year         = {2000},
  timestamp    = {Mon, 22 Dec 2014 14:03:11 +0100},
  biburl       = {https://dblp.org/rec/conf/mbmv/EckerHMSWY00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sbcci/Mades0GWE00,
  author       = {Jochen Mades and
                  Thomas Schneider and
                  Manfred Glesner and
                  Andr{\'{e}} Windisch and
                  Wolfgang Ecker},
  title        = {A JAVA-Based Mixed-Signal Design Environment},
  booktitle    = {Proceedings of the 13th Annual Symposium on Integrated Circuits and
                  Systems Design, {SBCCI} 2000, Manaus, Brazil, September 18-24, 2000},
  pages        = {301--306},
  publisher    = {{IEEE} Computer Society},
  year         = {2000},
  url          = {https://dl.acm.org/doi/10.5555/827245.827283},
  doi          = {10.5555/827245.827283},
  timestamp    = {Fri, 03 Jun 2022 10:50:13 +0200},
  biburl       = {https://dblp.org/rec/conf/sbcci/Mades0GWE00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/parco/Windisch0YME99,
  author       = {Andr{\'{e}} Windisch and
                  Thomas Schneider and
                  Ke Yang and
                  Jochen Mades and
                  Wolfgang Ecker},
  editor       = {Erik H. D'Hollander and
                  Gerhard R. Joubert and
                  Frans J. Peters and
                  Henk J. Sips},
  title        = {A scalable multithreaded compiler front-end},
  booktitle    = {Parallel Computing: Fundamentals {\&} Applications, Proceedings
                  of the Conference ParCo'99, 17-20 August 1999, Delft, The Netherlands},
  pages        = {722--729},
  publisher    = {Imperial College Press},
  year         = {1999},
  timestamp    = {Tue, 28 May 2013 07:39:29 +0200},
  biburl       = {https://dblp.org/rec/conf/parco/Windisch0YME99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

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.