---
_id: '39028'
abstract:
- lang: eng
text: "User adaptive systems, as envisioned with Ambient Intel-\r\nligence (AmI),
can only unveil their power, if rich informa-\r\ntion of users – including private
data as their preferences and\r\nabilities as well as their usage context – can
be retrieved and\r\nevaluated. However, collecting and storing this data poses\r\nsevere
privacy problems both legally and from a trust per-\r\nspective. Therefore we
propose a home automation middle-\r\nware for secure management of personal profiles
that allows\r\naccess to profiles only for the relevant stakeholders in a spe-\r\ncific
situation."
author:
- first_name: Robbie
full_name: Schäfer, Robbie
last_name: Schäfer
- first_name: Max
full_name: Ziegler, Max
last_name: Ziegler
- first_name: Wolfgang
full_name: Müller, Wolfgang
id: '16243'
last_name: Müller
citation:
ama: 'Schäfer R, Ziegler M, Müller W. Securing Personal Data in Smart Home Environments.
In: Proceedings of the Workshop on Privacy Enhanced Personalization (CHI 2006).
; 2006.'
apa: Schäfer, R., Ziegler, M., & Müller, W. (2006). Securing Personal Data in
Smart Home Environments. Proceedings of the Workshop on Privacy Enhanced Personalization
(CHI 2006).
bibtex: '@inproceedings{Schäfer_Ziegler_Müller_2006, place={Montreal, Canada}, title={Securing
Personal Data in Smart Home Environments}, booktitle={Proceedings of the Workshop
on Privacy Enhanced Personalization (CHI 2006)}, author={Schäfer, Robbie and Ziegler,
Max and Müller, Wolfgang}, year={2006} }'
chicago: Schäfer, Robbie, Max Ziegler, and Wolfgang Müller. “Securing Personal Data
in Smart Home Environments.” In Proceedings of the Workshop on Privacy Enhanced
Personalization (CHI 2006). Montreal, Canada, 2006.
ieee: R. Schäfer, M. Ziegler, and W. Müller, “Securing Personal Data in Smart Home
Environments,” 2006.
mla: Schäfer, Robbie, et al. “Securing Personal Data in Smart Home Environments.”
Proceedings of the Workshop on Privacy Enhanced Personalization (CHI 2006),
2006.
short: 'R. Schäfer, M. Ziegler, W. Müller, in: Proceedings of the Workshop on Privacy
Enhanced Personalization (CHI 2006), Montreal, Canada, 2006.'
date_created: 2023-01-24T08:08:07Z
date_updated: 2023-01-24T08:08:17Z
department:
- _id: '672'
language:
- iso: eng
place: Montreal, Canada
publication: Proceedings of the Workshop on Privacy Enhanced Personalization (CHI
2006)
status: public
title: Securing Personal Data in Smart Home Environments
type: conference
user_id: '5786'
year: '2006'
...
---
_id: '38107'
abstract:
- lang: eng
text: TestML is an XML-based language for the exchange of test descriptions in automotive
systems design and mainly introduced through the structural definition of an XML
schema as an independent exchange format for existing tools and methods covering
a wide range of different test technologies. In this paper, we present a rigorous
formal behavioral semantics for TestML by means of Abstract State Machines (ASMs).
Our semantics is a concise, unambiguous, high-level specification for TestML-based
implementations and serves as a basis to define exact and well-defined mappings
between existing test languages and TestML.
author:
- first_name: Jürgen
full_name: Großmann, Jürgen
last_name: Großmann
- first_name: Wolfgang
full_name: Müller, Wolfgang
id: '16243'
last_name: Müller
citation:
ama: 'Großmann J, Müller W. A Formal Behavioral Semantics for TestML. In: Proc.
of ISOLA 06. ; 2006. doi:10.1109/ISoLA.2006.37'
apa: Großmann, J., & Müller, W. (2006). A Formal Behavioral Semantics for TestML.
Proc. of ISOLA 06. https://doi.org/10.1109/ISoLA.2006.37
bibtex: '@inproceedings{Großmann_Müller_2006, place={Paphos, Cyprus}, title={A Formal
Behavioral Semantics for TestML}, DOI={10.1109/ISoLA.2006.37},
booktitle={Proc. of ISOLA 06}, author={Großmann, Jürgen and Müller, Wolfgang},
year={2006} }'
chicago: Großmann, Jürgen, and Wolfgang Müller. “A Formal Behavioral Semantics for
TestML.” In Proc. of ISOLA 06. Paphos, Cyprus, 2006. https://doi.org/10.1109/ISoLA.2006.37.
ieee: 'J. Großmann and W. Müller, “A Formal Behavioral Semantics for TestML,” Paphos,
Cyprus, 2006, doi: 10.1109/ISoLA.2006.37.'
mla: Großmann, Jürgen, and Wolfgang Müller. “A Formal Behavioral Semantics for TestML.”
Proc. of ISOLA 06, 2006, doi:10.1109/ISoLA.2006.37.
short: 'J. Großmann, W. Müller, in: Proc. of ISOLA 06, Paphos, Cyprus, 2006.'
conference:
location: Paphos, Cyprus
date_created: 2023-01-23T12:00:06Z
date_updated: 2023-01-23T12:06:26Z
department:
- _id: '672'
doi: 10.1109/ISoLA.2006.37
keyword:
- System testing
- Software testing
- Automotive engineering
- Automatic testing
- Machinery production industries
- Protocols
- Hardware design languages
- Samarium
- XML
- Computer industry
language:
- iso: eng
place: Paphos, Cyprus
publication: Proc. of ISOLA 06
publication_identifier:
isbn:
- 978-0-7695-3071-0
status: public
title: A Formal Behavioral Semantics for TestML
type: conference
user_id: '5786'
year: '2006'
...
---
_id: '38109'
author:
- first_name: Wolfgang
full_name: Müller, Wolfgang
id: '16243'
last_name: Müller
- first_name: Alberto
full_name: Rosti, Alberto
last_name: Rosti
- first_name: Sara
full_name: Bocchio, Sara
last_name: Bocchio
- first_name: Elvinia
full_name: Riccobene, Elvinia
last_name: Riccobene
citation:
ama: 'Müller W, Rosti A, Bocchio S, Riccobene E. UML for ESL Design - Basic Principles,
Tools, and Applications. In: Proc. of ICCAD’06. ; 2006.'
apa: Müller, W., Rosti, A., Bocchio, S., & Riccobene, E. (2006). UML for ESL
Design - Basic Principles, Tools, and Applications. Proc. of ICCAD’06.
bibtex: '@inproceedings{Müller_Rosti_Bocchio_Riccobene_2006, place={San Jose, USA},
title={UML for ESL Design - Basic Principles, Tools, and Applications}, booktitle={Proc.
of ICCAD’06}, author={Müller, Wolfgang and Rosti, Alberto and Bocchio, Sara and
Riccobene, Elvinia}, year={2006} }'
chicago: Müller, Wolfgang, Alberto Rosti, Sara Bocchio, and Elvinia Riccobene. “UML
for ESL Design - Basic Principles, Tools, and Applications.” In Proc. of ICCAD’06.
San Jose, USA, 2006.
ieee: W. Müller, A. Rosti, S. Bocchio, and E. Riccobene, “UML for ESL Design - Basic
Principles, Tools, and Applications,” 2006.
mla: Müller, Wolfgang, et al. “UML for ESL Design - Basic Principles, Tools, and
Applications.” Proc. of ICCAD’06, 2006.
short: 'W. Müller, A. Rosti, S. Bocchio, E. Riccobene, in: Proc. of ICCAD’06, San
Jose, USA, 2006.'
date_created: 2023-01-23T12:06:11Z
date_updated: 2023-01-23T12:06:32Z
department:
- _id: '672'
language:
- iso: eng
place: San Jose, USA
publication: Proc. of ICCAD'06
status: public
title: UML for ESL Design - Basic Principles, Tools, and Applications
type: conference
user_id: '5786'
year: '2006'
...
---
_id: '38539'
author:
- first_name: Luciano
full_name: Lavagno, Luciano
last_name: Lavagno
- first_name: Wolfgang
full_name: Müller, Wolfgang
id: '16243'
last_name: Müller
citation:
ama: 'Lavagno L, Müller W. UML: A Next Generation Language for SoC Design. In: ;
2006.'
apa: 'Lavagno, L., & Müller, W. (2006). UML: A Next Generation Language for
SoC Design.'
bibtex: '@inproceedings{Lavagno_Müller_2006, title={UML: A Next Generation Language
for SoC Design}, author={Lavagno, Luciano and Müller, Wolfgang}, year={2006} }'
chicago: 'Lavagno, Luciano, and Wolfgang Müller. “UML: A Next Generation Language
for SoC Design,” 2006.'
ieee: 'L. Lavagno and W. Müller, “UML: A Next Generation Language for SoC Design,”
2006.'
mla: 'Lavagno, Luciano, and Wolfgang Müller. UML: A Next Generation Language
for SoC Design. 2006.'
short: 'L. Lavagno, W. Müller, in: 2006.'
date_created: 2023-01-24T07:59:32Z
date_updated: 2025-03-12T16:39:07Z
language:
- iso: eng
status: public
title: 'UML: A Next Generation Language for SoC Design'
type: conference
user_id: '5786'
year: '2006'
...
---
_id: '33822'
author:
- first_name: Tim
full_name: Schattkowsky, Tim
last_name: Schattkowsky
- first_name: Wolfgang
full_name: Müller, Wolfgang
id: '16243'
last_name: Müller
- first_name: Achim
full_name: Rettberg, Achim
last_name: Rettberg
citation:
ama: 'Schattkowsky T, Müller W, Rettberg A. Model Based Specification for Platform
Independent Hardware Execution. In: Martin G, Müller W, eds. UML for SoC Design.
Kluwer; 2005:63-88.'
apa: Schattkowsky, T., Müller, W., & Rettberg, A. (2005). Model Based Specification
for Platform Independent Hardware Execution. In G. Martin & W. Müller (Eds.),
UML for SoC Design (pp. 63–88). Kluwer.
bibtex: '@inbook{Schattkowsky_Müller_Rettberg_2005, title={Model Based Specification
for Platform Independent Hardware Execution}, booktitle={UML for SoC Design},
publisher={Kluwer}, author={Schattkowsky, Tim and Müller, Wolfgang and Rettberg,
Achim}, editor={Martin, Grant and Müller, Wolfgang}, year={2005}, pages={63–88}
}'
chicago: Schattkowsky, Tim, Wolfgang Müller, and Achim Rettberg. “Model Based Specification
for Platform Independent Hardware Execution.” In UML for SoC Design, edited
by Grant Martin and Wolfgang Müller, 63–88. Kluwer, 2005.
ieee: T. Schattkowsky, W. Müller, and A. Rettberg, “Model Based Specification for
Platform Independent Hardware Execution,” in UML for SoC Design, G. Martin
and W. Müller, Eds. Kluwer, 2005, pp. 63–88.
mla: Schattkowsky, Tim, et al. “Model Based Specification for Platform Independent
Hardware Execution.” UML for SoC Design, edited by Grant Martin and Wolfgang
Müller, Kluwer, 2005, pp. 63–88.
short: 'T. Schattkowsky, W. Müller, A. Rettberg, in: G. Martin, W. Müller (Eds.),
UML for SoC Design, Kluwer, 2005, pp. 63–88.'
date_created: 2022-10-20T09:09:17Z
date_updated: 2022-10-20T09:09:37Z
department:
- _id: '672'
editor:
- first_name: Grant
full_name: Martin, Grant
last_name: Martin
- first_name: Wolfgang
full_name: Müller, Wolfgang
last_name: Müller
language:
- iso: eng
page: 63-88
publication: UML for SoC Design
publication_identifier:
isbn:
- 0-387-25744-6
publisher: Kluwer
status: public
title: Model Based Specification for Platform Independent Hardware Execution
type: book_chapter
user_id: '5786'
year: '2005'
...
---
_id: '33824'
author:
- first_name: Grant
full_name: Martin, Grant
last_name: Martin
- first_name: Wolfgang
full_name: Müller, Wolfgang
id: '16243'
last_name: Müller
citation:
ama: 'Martin G, Müller W. When Worlds Collide: Can UML help SoC Design? In: Martin
G, Müller W, eds. UML for SoC Design. Kluwer; 2005:1-15.'
apa: 'Martin, G., & Müller, W. (2005). When Worlds Collide: Can UML help SoC
Design? In G. Martin & W. Müller (Eds.), UML for SoC Design (pp. 1–15).
Kluwer.'
bibtex: '@inbook{Martin_Müller_2005, title={When Worlds Collide: Can UML help SoC
Design?}, booktitle={UML for SoC Design}, publisher={Kluwer}, author={Martin,
Grant and Müller, Wolfgang}, editor={Martin, Grant and Müller, Wolfgang}, year={2005},
pages={1–15} }'
chicago: 'Martin, Grant, and Wolfgang Müller. “When Worlds Collide: Can UML Help
SoC Design?” In UML for SoC Design, edited by Grant Martin and Wolfgang
Müller, 1–15. Kluwer, 2005.'
ieee: 'G. Martin and W. Müller, “When Worlds Collide: Can UML help SoC Design?,”
in UML for SoC Design, G. Martin and W. Müller, Eds. Kluwer, 2005, pp.
1–15.'
mla: 'Martin, Grant, and Wolfgang Müller. “When Worlds Collide: Can UML Help SoC
Design?” UML for SoC Design, edited by Grant Martin and Wolfgang Müller,
Kluwer, 2005, pp. 1–15.'
short: 'G. Martin, W. Müller, in: G. Martin, W. Müller (Eds.), UML for SoC Design,
Kluwer, 2005, pp. 1–15.'
date_created: 2022-10-20T09:14:51Z
date_updated: 2022-10-20T09:15:13Z
department:
- _id: '672'
editor:
- first_name: Grant
full_name: Martin, Grant
last_name: Martin
- first_name: Wolfgang
full_name: Müller, Wolfgang
last_name: Müller
language:
- iso: eng
page: 1-15
publication: UML for SoC Design
publication_identifier:
isbn:
- 0-387-25744-6
publisher: Kluwer
status: public
title: 'When Worlds Collide: Can UML help SoC Design?'
type: book_chapter
user_id: '5786'
year: '2005'
...
---
_id: '39029'
abstract:
- lang: eng
text: UML 2.0 provides a rich set of diagrams for systems documentation and specification.
Much effort has been undertaken to employ different aspects of UML for multiple
domains, mainly in the area of software systems. Considering the area of electronic
design automation, however, we currently see only very few approaches which investigate
UML for hardware design and hardware/software co-design. We present an approach
for executable UML closing the gap from system specification to its model-based
execution on reconfigurable hardware. For this purpose, we present our abstract
execution platform (AEP), which is based on a virtual machine running an executable
UML subset for embedded software and reconfigurable hardware. This subset combines
UML 2.0 classes, state-machines and sequence diagrams for a complete system specification.
We describe how these binary encoded UML specifications can be directly executed
and give the implementation of such a virtual machine on a Virtex II FPGA. Finally,
we present evaluation results comparing the AEP implementation with C code on
a C167 microcontroller.
author:
- first_name: Tim
full_name: Schattkowsky, Tim
last_name: Schattkowsky
- first_name: Wolfgang
full_name: Müller, Wolfgang
id: '16243'
last_name: Müller
- first_name: Achim
full_name: Rettberg, Achim
last_name: Rettberg
citation:
ama: 'Schattkowsky T, Müller W, Rettberg A. A Model-Based Approach for Executable
Specification on Reconfigurable Hardware. In: Proceedings of DATE’05. IEEE;
2005. doi:10.1109/DATE.2005.20'
apa: Schattkowsky, T., Müller, W., & Rettberg, A. (2005). A Model-Based Approach
for Executable Specification on Reconfigurable Hardware. Proceedings of DATE’05.
https://doi.org/10.1109/DATE.2005.20
bibtex: '@inproceedings{Schattkowsky_Müller_Rettberg_2005, place={Munich, Germany
}, title={A Model-Based Approach for Executable Specification on Reconfigurable
Hardware}, DOI={10.1109/DATE.2005.20},
booktitle={Proceedings of DATE’05}, publisher={IEEE}, author={Schattkowsky, Tim
and Müller, Wolfgang and Rettberg, Achim}, year={2005} }'
chicago: 'Schattkowsky, Tim, Wolfgang Müller, and Achim Rettberg. “A Model-Based
Approach for Executable Specification on Reconfigurable Hardware.” In Proceedings
of DATE’05. Munich, Germany : IEEE, 2005. https://doi.org/10.1109/DATE.2005.20.'
ieee: 'T. Schattkowsky, W. Müller, and A. Rettberg, “A Model-Based Approach for
Executable Specification on Reconfigurable Hardware,” 2005, doi: 10.1109/DATE.2005.20.'
mla: Schattkowsky, Tim, et al. “A Model-Based Approach for Executable Specification
on Reconfigurable Hardware.” Proceedings of DATE’05, IEEE, 2005, doi:10.1109/DATE.2005.20.
short: 'T. Schattkowsky, W. Müller, A. Rettberg, in: Proceedings of DATE’05, IEEE,
Munich, Germany , 2005.'
date_created: 2023-01-24T08:10:40Z
date_updated: 2023-01-24T08:10:44Z
department:
- _id: '672'
doi: 10.1109/DATE.2005.20
keyword:
- Hardware
- Unified modeling language
- Virtual machining
- Object oriented modeling
- Field programmable gate arrays
- Java
- Microcontrollers
- Embedded software
- Real time systems
- Documentation
language:
- iso: eng
place: 'Munich, Germany '
publication: Proceedings of DATE’05
publication_identifier:
isbn:
- 0-7695-2288-2
publisher: IEEE
status: public
title: A Model-Based Approach for Executable Specification on Reconfigurable Hardware
type: conference
user_id: '5786'
year: '2005'
...
---
_id: '39030'
abstract:
- lang: eng
text: "StateCharts are well accepted for embedded systems\r\nspecification for various
applications. However, for the\r\nspecification of complex systems they have several\r\nlimitations.
In this article, we present a novel approach to\r\nefficiently execute an UML
2.0 subset for embedded real-\r\ntime systems implementation with focus on hardware\r\ninterrupts,
software exceptions, and timeouts. We\r\nintroduce a UML Virtual Machine, which
directly\r\nexecutes sequence diagrams, which are embedded into\r\nhierarchically
structured state transition diagrams.\r\nWhereas state diagrams are directly executed
as\r\nEmbedded State Machines (ESMs), sequence diagrams\r\nare translated into
UVM Bytecode. The final UVM\r\nexecution is performed by the interaction of the
ESM and\r\nthe Bytecode Interpreter. Due to our completely model-\r\nbased approach,
the UVM runtime kernel is easily\r\nadaptable and scalable to different scheduling
and\r\nmemory management strategies."
author:
- first_name: Tim
full_name: Schattkowsky, Tim
last_name: Schattkowsky
- first_name: Wolfgang
full_name: Müller, Wolfgang
id: '16243'
last_name: Müller
citation:
ama: 'Schattkowsky T, Müller W. A UML Virtual Machine for Embedded Systems. In:
Proceedings of ISNG 05. ; 2005.'
apa: Schattkowsky, T., & Müller, W. (2005). A UML Virtual Machine for Embedded
Systems. Proceedings of ISNG 05.
bibtex: '@inproceedings{Schattkowsky_Müller_2005, place={Las Vegas, NV}, title={A
UML Virtual Machine for Embedded Systems}, booktitle={Proceedings of ISNG 05},
author={Schattkowsky, Tim and Müller, Wolfgang}, year={2005} }'
chicago: Schattkowsky, Tim, and Wolfgang Müller. “A UML Virtual Machine for Embedded
Systems.” In Proceedings of ISNG 05. Las Vegas, NV, 2005.
ieee: T. Schattkowsky and W. Müller, “A UML Virtual Machine for Embedded Systems,”
2005.
mla: Schattkowsky, Tim, and Wolfgang Müller. “A UML Virtual Machine for Embedded
Systems.” Proceedings of ISNG 05, 2005.
short: 'T. Schattkowsky, W. Müller, in: Proceedings of ISNG 05, Las Vegas, NV, 2005.'
date_created: 2023-01-24T08:12:20Z
date_updated: 2023-01-24T08:12:26Z
department:
- _id: '672'
keyword:
- UML
- Executable Models
- Hardware/Software Co-design
- Virtual Machine
- Embedded Systems
language:
- iso: eng
place: Las Vegas, NV
publication: Proceedings of ISNG 05
status: public
title: A UML Virtual Machine for Embedded Systems
type: conference
user_id: '5786'
year: '2005'
...
---
_id: '39032'
abstract:
- lang: eng
text: Executable UML models are nowadays gaining interest in embedded systems design.
This domain is strongly devoted to the modeling of reactive behavior using StateChart
variants. In this context, the direct execution of UML state machines is an interesting
alternative to native code generation approaches since it significantly increases
portability. However, fully featured UML 2.0 State Machines may contain a broad
set of features with complex execution semantics that differ significantly from
other StateChart variants. This makes their direct execution complex and inefficient.
In this paper, we demonstrate how such state machines can be represented using
a small subset of the UML state machine features that enables efficient execution.
We describe the necessary model transformations in terms of graph transformations
and discuss the underlying semantics and implications for execution.
author:
- first_name: Tim
full_name: Schattkowsky, Tim
last_name: Schattkowsky
- first_name: Wolfgang
full_name: Müller, Wolfgang
id: '16243'
last_name: Müller
citation:
ama: 'Schattkowsky T, Müller W. Transformation of UML State Machines for Direct
Execution. In: Proceedings of VL/HCC 05. ; 2005. doi:10.1109/VLHCC.2005.64'
apa: Schattkowsky, T., & Müller, W. (2005). Transformation of UML State Machines
for Direct Execution. Proceedings of VL/HCC 05. https://doi.org/10.1109/VLHCC.2005.64
bibtex: '@inproceedings{Schattkowsky_Müller_2005, place={Dallas, TX, USA}, title={Transformation
of UML State Machines for Direct Execution}, DOI={10.1109/VLHCC.2005.64},
booktitle={Proceedings of VL/HCC 05}, author={Schattkowsky, Tim and Müller, Wolfgang},
year={2005} }'
chicago: Schattkowsky, Tim, and Wolfgang Müller. “Transformation of UML State Machines
for Direct Execution.” In Proceedings of VL/HCC 05. Dallas, TX, USA, 2005.
https://doi.org/10.1109/VLHCC.2005.64.
ieee: 'T. Schattkowsky and W. Müller, “Transformation of UML State Machines for
Direct Execution,” 2005, doi: 10.1109/VLHCC.2005.64.'
mla: Schattkowsky, Tim, and Wolfgang Müller. “Transformation of UML State Machines
for Direct Execution.” Proceedings of VL/HCC 05, 2005, doi:10.1109/VLHCC.2005.64.
short: 'T. Schattkowsky, W. Müller, in: Proceedings of VL/HCC 05, Dallas, TX, USA,
2005.'
date_created: 2023-01-24T08:18:10Z
date_updated: 2023-01-24T08:18:27Z
department:
- _id: '672'
doi: 10.1109/VLHCC.2005.64
keyword:
- Unified modeling language
- Software design
- Virtual machining
- Embedded system
- Programming
- Documentation
- Hardware
- Computer languages
- Operating systems
- Runtime
language:
- iso: eng
place: Dallas, TX, USA
publication: Proceedings of VL/HCC 05
publication_identifier:
isbn:
- 0-7695-2443-5
status: public
title: Transformation of UML State Machines for Direct Execution
type: conference
user_id: '5786'
year: '2005'
...
---
_id: '39036'
author:
- first_name: Alexander
full_name: Krupp, Alexander
last_name: Krupp
- first_name: Wolfgang
full_name: Müller, Wolfgang
id: '16243'
last_name: Müller
citation:
ama: Krupp A, Müller W. Testmuster für nichtkontinuierliche Reglerelemente in der
Klassifikationsbaummethode für eingebettete Systeme. Published online 2005.
apa: Krupp, A., & Müller, W. (2005). Testmuster für nichtkontinuierliche
Reglerelemente in der Klassifikationsbaummethode für eingebettete Systeme.
bibtex: '@article{Krupp_Müller_2005, place={Bonn}, series={Automotive Software Engineering},
title={Testmuster für nichtkontinuierliche Reglerelemente in der Klassifikationsbaummethode
für eingebettete Systeme}, author={Krupp, Alexander and Müller, Wolfgang}, year={2005},
collection={Automotive Software Engineering} }'
chicago: Krupp, Alexander, and Wolfgang Müller. “Testmuster Für Nichtkontinuierliche
Reglerelemente in Der Klassifikationsbaummethode Für Eingebettete Systeme.” Automotive
Software Engineering. Bonn, 2005.
ieee: A. Krupp and W. Müller, “Testmuster für nichtkontinuierliche Reglerelemente
in der Klassifikationsbaummethode für eingebettete Systeme.” Bonn, 2005.
mla: Krupp, Alexander, and Wolfgang Müller. Testmuster Für Nichtkontinuierliche
Reglerelemente in Der Klassifikationsbaummethode Für Eingebettete Systeme.
2005.
short: A. Krupp, W. Müller, (2005).
date_created: 2023-01-24T08:20:06Z
date_updated: 2023-01-24T08:20:13Z
department:
- _id: '672'
language:
- iso: eng
place: Bonn
series_title: Automotive Software Engineering
status: public
title: Testmuster für nichtkontinuierliche Reglerelemente in der Klassifikationsbaummethode
für eingebettete Systeme
type: conference
user_id: '5786'
year: '2005'
...
---
_id: '39038'
author:
- first_name: Alexander
full_name: Krupp, Alexander
last_name: Krupp
- first_name: Wolfgang
full_name: Müller, Wolfgang
id: '16243'
last_name: Müller
citation:
ama: Krupp A, Müller W. Modelchecking von Klassifikationsbaum-Testsequenzen. Published
online 2005.
apa: Krupp, A., & Müller, W. (2005). Modelchecking von Klassifikationsbaum-Testsequenzen.
bibtex: '@article{Krupp_Müller_2005, place={Munich, Germany}, series={Methoden und
Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen
(MBMV)}, title={Modelchecking von Klassifikationsbaum-Testsequenzen}, author={Krupp,
Alexander and Müller, Wolfgang}, year={2005}, collection={Methoden und Beschreibungssprachen
zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV)} }'
chicago: Krupp, Alexander, and Wolfgang Müller. “Modelchecking von Klassifikationsbaum-Testsequenzen.”
Methoden Und Beschreibungssprachen Zur Modellierung Und Verifikation von Schaltungen
Und Systemen (MBMV). Munich, Germany, 2005.
ieee: A. Krupp and W. Müller, “Modelchecking von Klassifikationsbaum-Testsequenzen.”
Munich, Germany, 2005.
mla: Krupp, Alexander, and Wolfgang Müller. Modelchecking von Klassifikationsbaum-Testsequenzen.
2005.
short: A. Krupp, W. Müller, (2005).
date_created: 2023-01-24T08:21:17Z
date_updated: 2023-01-24T08:21:22Z
department:
- _id: '672'
language:
- iso: eng
place: Munich, Germany
series_title: Methoden und Beschreibungssprachen zur Modellierung und Verifikation
von Schaltungen und Systemen (MBMV)
status: public
title: Modelchecking von Klassifikationsbaum-Testsequenzen
type: conference
user_id: '5786'
year: '2005'
...
---
_id: '39039'
author:
- first_name: Henning
full_name: Zabel, Henning
last_name: Zabel
- first_name: Wolfgang
full_name: Müller, Wolfgang
id: '16243'
last_name: Müller
citation:
ama: Zabel H, Müller W. Analyse von synchronen Kommunikationsnetzwerken durch laufzeiteffiziente
formale Verifikation. Published online 2005.
apa: Zabel, H., & Müller, W. (2005). Analyse von synchronen Kommunikationsnetzwerken
durch laufzeiteffiziente formale Verifikation.
bibtex: '@article{Zabel_Müller_2005, place={Munich, Germany}, series={Methoden und
Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen
(MBMV)}, title={Analyse von synchronen Kommunikationsnetzwerken durch laufzeiteffiziente
formale Verifikation}, author={Zabel, Henning and Müller, Wolfgang}, year={2005},
collection={Methoden und Beschreibungssprachen zur Modellierung und Verifikation
von Schaltungen und Systemen (MBMV)} }'
chicago: Zabel, Henning, and Wolfgang Müller. “Analyse von Synchronen Kommunikationsnetzwerken
Durch Laufzeiteffiziente Formale Verifikation.” Methoden Und Beschreibungssprachen
Zur Modellierung Und Verifikation von Schaltungen Und Systemen (MBMV). Munich,
Germany, 2005.
ieee: H. Zabel and W. Müller, “Analyse von synchronen Kommunikationsnetzwerken durch
laufzeiteffiziente formale Verifikation.” Munich, Germany, 2005.
mla: Zabel, Henning, and Wolfgang Müller. Analyse von Synchronen Kommunikationsnetzwerken
Durch Laufzeiteffiziente Formale Verifikation. 2005.
short: H. Zabel, W. Müller, (2005).
date_created: 2023-01-24T08:22:27Z
date_updated: 2023-01-24T08:22:31Z
department:
- _id: '672'
language:
- iso: eng
place: Munich, Germany
series_title: Methoden und Beschreibungssprachen zur Modellierung und Verifikation
von Schaltungen und Systemen (MBMV)
status: public
title: Analyse von synchronen Kommunikationsnetzwerken durch laufzeiteffiziente formale
Verifikation
type: conference
user_id: '5786'
year: '2005'
...
---
_id: '39041'
author:
- first_name: Steffen
full_name: Bleul, Steffen
last_name: Bleul
- first_name: Robbie
full_name: Schäfer, Robbie
last_name: Schäfer
- first_name: Wolfgang
full_name: Müller, Wolfgang
id: '16243'
last_name: Müller
citation:
ama: 'Bleul S, Schäfer R, Müller W. A Dialog Model for Multi Device Interfaces with
Different Modalities. In: Proceedings of the HCI International 2005. ;
2005.'
apa: Bleul, S., Schäfer, R., & Müller, W. (2005). A Dialog Model for Multi Device
Interfaces with Different Modalities. Proceedings of the HCI International
2005.
bibtex: '@inproceedings{Bleul_Schäfer_Müller_2005, place={Las Vegas, NV}, title={A
Dialog Model for Multi Device Interfaces with Different Modalities}, booktitle={Proceedings
of the HCI International 2005}, author={Bleul, Steffen and Schäfer, Robbie and
Müller, Wolfgang}, year={2005} }'
chicago: Bleul, Steffen, Robbie Schäfer, and Wolfgang Müller. “A Dialog Model for
Multi Device Interfaces with Different Modalities.” In Proceedings of the HCI
International 2005. Las Vegas, NV, 2005.
ieee: S. Bleul, R. Schäfer, and W. Müller, “A Dialog Model for Multi Device Interfaces
with Different Modalities,” 2005.
mla: Bleul, Steffen, et al. “A Dialog Model for Multi Device Interfaces with Different
Modalities.” Proceedings of the HCI International 2005, 2005.
short: 'S. Bleul, R. Schäfer, W. Müller, in: Proceedings of the HCI International
2005, Las Vegas, NV, 2005.'
date_created: 2023-01-24T08:24:31Z
date_updated: 2023-01-24T08:24:39Z
department:
- _id: '672'
language:
- iso: eng
place: Las Vegas, NV
publication: Proceedings of the HCI International 2005
status: public
title: A Dialog Model for Multi Device Interfaces with Different Modalities
type: conference
user_id: '5786'
year: '2005'
...
---
_id: '39050'
abstract:
- lang: eng
text: Currently, middleware for smart home networks with embedded and mobile devices
are in the focus of several investigations. In this paper, we propose a middleware
for secure management of device and user profiles by integrating a profile database
with a generic authentication scheme for an X.509 enabled ticket management in
the context of the OSGi framework. After the introduction of the individual system
components and their interaction, we also discuss potential system attacks.
author:
- first_name: Max
full_name: Ziegler, Max
last_name: Ziegler
- first_name: Wolfgang
full_name: Müller, Wolfgang
id: '16243'
last_name: Müller
- first_name: Robbie
full_name: Schäfer, Robbie
last_name: Schäfer
- first_name: Chris
full_name: Loeser, Chris
last_name: Loeser
citation:
ama: 'Ziegler M, Müller W, Schäfer R, Loeser C. Secure Profile Management in Smart
Home Networks. In: Proceedings of the 1st International Workshop on Secure
and Ubiquitous Networks (SUN-2005). IEEE; 2005. doi:10.1109/DEXA.2005.171'
apa: Ziegler, M., Müller, W., Schäfer, R., & Loeser, C. (2005). Secure Profile
Management in Smart Home Networks. Proceedings of the 1st International Workshop
on Secure and Ubiquitous Networks (SUN-2005). 16th International Workshop
on Database and Expert Systems Applications (DEXA’05), Copenhagen, Denmark . https://doi.org/10.1109/DEXA.2005.171
bibtex: '@inproceedings{Ziegler_Müller_Schäfer_Loeser_2005, place={Copenhagen, Denmark
}, title={Secure Profile Management in Smart Home Networks}, DOI={10.1109/DEXA.2005.171},
booktitle={Proceedings of the 1st International Workshop on Secure and Ubiquitous
Networks (SUN-2005)}, publisher={IEEE}, author={Ziegler, Max and Müller, Wolfgang
and Schäfer, Robbie and Loeser, Chris}, year={2005} }'
chicago: 'Ziegler, Max, Wolfgang Müller, Robbie Schäfer, and Chris Loeser. “Secure
Profile Management in Smart Home Networks.” In Proceedings of the 1st International
Workshop on Secure and Ubiquitous Networks (SUN-2005). Copenhagen, Denmark
: IEEE, 2005. https://doi.org/10.1109/DEXA.2005.171.'
ieee: 'M. Ziegler, W. Müller, R. Schäfer, and C. Loeser, “Secure Profile Management
in Smart Home Networks,” presented at the 16th International Workshop on Database
and Expert Systems Applications (DEXA’05), Copenhagen, Denmark , 2005, doi: 10.1109/DEXA.2005.171.'
mla: Ziegler, Max, et al. “Secure Profile Management in Smart Home Networks.” Proceedings
of the 1st International Workshop on Secure and Ubiquitous Networks (SUN-2005),
IEEE, 2005, doi:10.1109/DEXA.2005.171.
short: 'M. Ziegler, W. Müller, R. Schäfer, C. Loeser, in: Proceedings of the 1st
International Workshop on Secure and Ubiquitous Networks (SUN-2005), IEEE, Copenhagen,
Denmark , 2005.'
conference:
location: 'Copenhagen, Denmark '
name: 16th International Workshop on Database and Expert Systems Applications (DEXA'05)
date_created: 2023-01-24T08:39:45Z
date_updated: 2023-01-24T08:39:50Z
department:
- _id: '672'
doi: 10.1109/DEXA.2005.171
keyword:
- Intelligent networks
- Smart homes
- Middleware
- Project management
- Data security
- Ubiquitous computing
- Context-aware services
- Computer architecture
- Home automation
- Environmental management
language:
- iso: eng
place: 'Copenhagen, Denmark '
publication: Proceedings of the 1st International Workshop on Secure and Ubiquitous
Networks (SUN-2005)
publication_identifier:
isbn:
- 0-7695-2424-9
publisher: IEEE
status: public
title: Secure Profile Management in Smart Home Networks
type: conference
user_id: '5786'
year: '2005'
...
---
_id: '39052'
abstract:
- lang: eng
text: Smart homes provide their users with maximum comfort and convenience. In this
paper, we present a profile management framework for situation-dependent customization
in smart home environments, which meet the user preferences with given device
capabilities. We apply profile processing and evolution methods to customize profiles
on the fly and to automatically evolve user preferences. Furthermore, we give
a comprehensive study on profile management technology.
author:
- first_name: Jinghua
full_name: Groppe, Jinghua
last_name: Groppe
- first_name: Wolfgang
full_name: Müller, Wolfgang
id: '16243'
last_name: Müller
citation:
ama: 'Groppe J, Müller W. Profile Management technology for Smart Customization
in Private Home Applications. In: Proceedings of the 1st International Workshop
on Secure and Ubiquitous Networks (SUN-2005). IEEE; 2005. doi:10.1109/DEXA.2005.156'
apa: Groppe, J., & Müller, W. (2005). Profile Management technology for Smart
Customization in Private Home Applications. Proceedings of the 1st International
Workshop on Secure and Ubiquitous Networks (SUN-2005). 16th International
Workshop on Database and Expert Systems Applications (DEXA’05), Copenhagen, Denmark
. https://doi.org/10.1109/DEXA.2005.156
bibtex: '@inproceedings{Groppe_Müller_2005, place={Copenhagen, Denmark }, title={Profile
Management technology for Smart Customization in Private Home Applications}, DOI={10.1109/DEXA.2005.156}, booktitle={Proceedings
of the 1st International Workshop on Secure and Ubiquitous Networks (SUN-2005)},
publisher={IEEE}, author={Groppe, Jinghua and Müller, Wolfgang}, year={2005} }'
chicago: 'Groppe, Jinghua, and Wolfgang Müller. “Profile Management Technology for
Smart Customization in Private Home Applications.” In Proceedings of the 1st
International Workshop on Secure and Ubiquitous Networks (SUN-2005). Copenhagen,
Denmark : IEEE, 2005. https://doi.org/10.1109/DEXA.2005.156.'
ieee: 'J. Groppe and W. Müller, “Profile Management technology for Smart Customization
in Private Home Applications,” presented at the 16th International Workshop on
Database and Expert Systems Applications (DEXA’05), Copenhagen, Denmark , 2005,
doi: 10.1109/DEXA.2005.156.'
mla: Groppe, Jinghua, and Wolfgang Müller. “Profile Management Technology for Smart
Customization in Private Home Applications.” Proceedings of the 1st International
Workshop on Secure and Ubiquitous Networks (SUN-2005), IEEE, 2005, doi:10.1109/DEXA.2005.156.
short: 'J. Groppe, W. Müller, in: Proceedings of the 1st International Workshop
on Secure and Ubiquitous Networks (SUN-2005), IEEE, Copenhagen, Denmark , 2005.'
conference:
location: 'Copenhagen, Denmark '
name: 16th International Workshop on Database and Expert Systems Applications (DEXA'05)
date_created: 2023-01-24T08:43:21Z
date_updated: 2023-01-24T08:43:27Z
department:
- _id: '672'
doi: 10.1109/DEXA.2005.156
keyword:
- Technology management
- Smart homes
- Environmental management
- Resource description framework
- Data models
- Navigation
- Mobile computing
- Embedded computing
- Ubiquitous computing
- Mobile communication
language:
- iso: eng
place: 'Copenhagen, Denmark '
publication: Proceedings of the 1st International Workshop on Secure and Ubiquitous
Networks (SUN-2005)
publication_identifier:
isbn:
- 0-7695-2424-9
publisher: IEEE
status: public
title: Profile Management technology for Smart Customization in Private Home Applications
type: conference
user_id: '5786'
year: '2005'
...
---
_id: '33823'
author:
- first_name: Grant
full_name: Martin, Grant
last_name: Martin
- first_name: Wolfgang
full_name: Müller, Wolfgang
id: '16243'
last_name: Müller
citation:
ama: 'Martin G, Müller W. When Worlds Collide: Can UML help SoC Design? In: Martin
G, Müller W, eds. UML for SoC Design. Kluwer; 2005:1-15.'
apa: 'Martin, G., & Müller, W. (2005). When Worlds Collide: Can UML help SoC
Design? In G. Martin & W. Müller (Eds.), UML for SoC Design (pp. 1–15).
Kluwer.'
bibtex: '@inbook{Martin_Müller_2005, title={When Worlds Collide: Can UML help SoC
Design?}, booktitle={UML for SoC Design}, publisher={Kluwer}, author={Martin,
Grant and Müller, Wolfgang}, editor={Martin, Grant and Müller, Wolfgang}, year={2005},
pages={1–15} }'
chicago: 'Martin, Grant, and Wolfgang Müller. “When Worlds Collide: Can UML Help
SoC Design?” In UML for SoC Design, edited by Grant Martin and Wolfgang
Müller, 1–15. Kluwer, 2005.'
ieee: 'G. Martin and W. Müller, “When Worlds Collide: Can UML help SoC Design?,”
in UML for SoC Design, G. Martin and W. Müller, Eds. Kluwer, 2005, pp.
1–15.'
mla: 'Martin, Grant, and Wolfgang Müller. “When Worlds Collide: Can UML Help SoC
Design?” UML for SoC Design, edited by Grant Martin and Wolfgang Müller,
Kluwer, 2005, pp. 1–15.'
short: 'G. Martin, W. Müller, in: G. Martin, W. Müller (Eds.), UML for SoC Design,
Kluwer, 2005, pp. 1–15.'
date_created: 2022-10-20T09:12:00Z
date_updated: 2025-02-26T14:45:43Z
editor:
- first_name: Grant
full_name: Martin, Grant
last_name: Martin
- first_name: Wolfgang
full_name: Müller, Wolfgang
last_name: Müller
language:
- iso: eng
page: 1-15
publication: UML for SoC Design
publication_identifier:
isbn:
- 0-387-25744-6
publisher: Kluwer
status: public
title: 'When Worlds Collide: Can UML help SoC Design?'
type: book_chapter
user_id: '5786'
year: '2005'
...
---
_id: '33825'
abstract:
- lang: eng
text: This article describes our approach for the specification and verification
of production automation systems with real-time properties. We focus on the graphical
MFERT notation and RT-OCL (Real-Time Object Constraint Language) for the specification
of state-oriented real-time properties. RT-OCL is an extension of the Object Constraint
Language (OCL) that is part of the Unified Modeling Language (UML). We introduce
the formal semantics of RT-OCL based on a formal model of UML Class and State
Diagrams and provide a mapping to temporal logics. The applicability of our approach
is demonstrated by the case study of a manufacturing system with automated guided
vehicles.
author:
- first_name: Stephan
full_name: Flake, Stephan
last_name: Flake
- first_name: Wolfgang
full_name: Müller, Wolfgang
id: '16243'
last_name: Müller
- first_name: Ulrich
full_name: Pape, Ulrich
last_name: Pape
- first_name: Jürgen
full_name: Ruf, Jürgen
last_name: Ruf
citation:
ama: 'Flake S, Müller W, Pape U, Ruf J. Specification and Formal Verification of
Temporal Properties of Production Automation Systems. In: Ehrig H, Damm W, Desel
J, et al., eds. Integration of Software Specification Techniques for Applications
in Engineering. Vol 3147. Lecture Notes in Computer Science. Springer-Verlag;
2004:206-226. doi:10.1007/978-3-540-27863-4_13'
apa: Flake, S., Müller, W., Pape, U., & Ruf, J. (2004). Specification and Formal
Verification of Temporal Properties of Production Automation Systems. In H. Ehrig,
W. Damm, J. Desel, M. Große-Rhode, W. Reif, E. Schnieder, & E. Westkämper
(Eds.), Integration of Software Specification Techniques for Applications in
Engineering (Vol. 3147, pp. 206–226). Springer-Verlag. https://doi.org/10.1007/978-3-540-27863-4_13
bibtex: '@inbook{Flake_Müller_Pape_Ruf_2004, place={Berlin, Heidelberg}, series={Lecture
Notes in Computer Science}, title={Specification and Formal Verification of Temporal
Properties of Production Automation Systems}, volume={3147}, DOI={10.1007/978-3-540-27863-4_13},
booktitle={Integration of Software Specification Techniques for Applications in
Engineering}, publisher={Springer-Verlag}, author={Flake, Stephan and Müller,
Wolfgang and Pape, Ulrich and Ruf, Jürgen}, editor={Ehrig, Hartmut and Damm, Werner
and Desel, Jörg and Große-Rhode, Martin and Reif, Wolfgang and Schnieder, Eckehard
and Westkämper, Engelbert}, year={2004}, pages={206–226}, collection={Lecture
Notes in Computer Science} }'
chicago: 'Flake, Stephan, Wolfgang Müller, Ulrich Pape, and Jürgen Ruf. “Specification
and Formal Verification of Temporal Properties of Production Automation Systems.”
In Integration of Software Specification Techniques for Applications in Engineering,
edited by Hartmut Ehrig, Werner Damm, Jörg Desel, Martin Große-Rhode, Wolfgang
Reif, Eckehard Schnieder, and Engelbert Westkämper, 3147:206–26. Lecture Notes
in Computer Science. Berlin, Heidelberg: Springer-Verlag, 2004. https://doi.org/10.1007/978-3-540-27863-4_13.'
ieee: 'S. Flake, W. Müller, U. Pape, and J. Ruf, “Specification and Formal Verification
of Temporal Properties of Production Automation Systems,” in Integration of
Software Specification Techniques for Applications in Engineering, vol. 3147,
H. Ehrig, W. Damm, J. Desel, M. Große-Rhode, W. Reif, E. Schnieder, and E. Westkämper,
Eds. Berlin, Heidelberg: Springer-Verlag, 2004, pp. 206–226.'
mla: Flake, Stephan, et al. “Specification and Formal Verification of Temporal Properties
of Production Automation Systems.” Integration of Software Specification Techniques
for Applications in Engineering, edited by Hartmut Ehrig et al., vol. 3147,
Springer-Verlag, 2004, pp. 206–26, doi:10.1007/978-3-540-27863-4_13.
short: 'S. Flake, W. Müller, U. Pape, J. Ruf, in: H. Ehrig, W. Damm, J. Desel, M.
Große-Rhode, W. Reif, E. Schnieder, E. Westkämper (Eds.), Integration of Software
Specification Techniques for Applications in Engineering, Springer-Verlag, Berlin,
Heidelberg, 2004, pp. 206–226.'
date_created: 2022-10-20T09:25:53Z
date_updated: 2022-10-20T09:26:15Z
department:
- _id: '672'
doi: 10.1007/978-3-540-27863-4_13
editor:
- first_name: Hartmut
full_name: Ehrig, Hartmut
last_name: Ehrig
- first_name: Werner
full_name: Damm, Werner
last_name: Damm
- first_name: Jörg
full_name: Desel, Jörg
last_name: Desel
- first_name: Martin
full_name: Große-Rhode, Martin
last_name: Große-Rhode
- first_name: Wolfgang
full_name: Reif, Wolfgang
last_name: Reif
- first_name: Eckehard
full_name: Schnieder, Eckehard
last_name: Schnieder
- first_name: Engelbert
full_name: Westkämper, Engelbert
last_name: Westkämper
intvolume: ' 3147'
keyword:
- Model Check
- Temporal Logic
- Object Constraint Language
- Abstract Syntax
- Temporal Logic Formula
language:
- iso: eng
page: 206-226
place: Berlin, Heidelberg
publication: Integration of Software Specification Techniques for Applications in
Engineering
publication_identifier:
isbn:
- 978-3-540-27863-4
publisher: Springer-Verlag
series_title: Lecture Notes in Computer Science
status: public
title: Specification and Formal Verification of Temporal Properties of Production
Automation Systems
type: book_chapter
user_id: '5786'
volume: 3147
year: '2004'
...
---
_id: '33827'
author:
- first_name: Tim
full_name: Schattkowsky, Tim
last_name: Schattkowsky
- first_name: Wolfgang
full_name: Müller, Wolfgang
id: '16243'
last_name: Müller
- first_name: Adam
full_name: Pawlak, Adam
last_name: Pawlak
citation:
ama: 'Schattkowsky T, Müller W, Pawlak A. Workflow Management Middleware for Secure
Distance-Spanning Collaborative Engineering. In: Fischer L, ed. Workflow Handbook
2004. Workflow Management Coalition (WfMC); 2004.'
apa: Schattkowsky, T., Müller, W., & Pawlak, A. (2004). Workflow Management
Middleware for Secure Distance-Spanning Collaborative Engineering. In L. Fischer
(Ed.), Workflow Handbook 2004. Workflow Management Coalition (WfMC).
bibtex: '@inbook{Schattkowsky_Müller_Pawlak_2004, place={Lighthouse Point, FL, USA},
title={Workflow Management Middleware for Secure Distance-Spanning Collaborative
Engineering}, booktitle={Workflow Handbook 2004}, publisher={Workflow Management
Coalition (WfMC)}, author={Schattkowsky, Tim and Müller, Wolfgang and Pawlak,
Adam}, editor={Fischer, Layna}, year={2004} }'
chicago: 'Schattkowsky, Tim, Wolfgang Müller, and Adam Pawlak. “Workflow Management
Middleware for Secure Distance-Spanning Collaborative Engineering.” In Workflow
Handbook 2004, edited by Layna Fischer. Lighthouse Point, FL, USA: Workflow
Management Coalition (WfMC), 2004.'
ieee: 'T. Schattkowsky, W. Müller, and A. Pawlak, “Workflow Management Middleware
for Secure Distance-Spanning Collaborative Engineering,” in Workflow Handbook
2004, L. Fischer, Ed. Lighthouse Point, FL, USA: Workflow Management Coalition
(WfMC), 2004.'
mla: Schattkowsky, Tim, et al. “Workflow Management Middleware for Secure Distance-Spanning
Collaborative Engineering.” Workflow Handbook 2004, edited by Layna Fischer,
Workflow Management Coalition (WfMC), 2004.
short: 'T. Schattkowsky, W. Müller, A. Pawlak, in: L. Fischer (Ed.), Workflow Handbook
2004, Workflow Management Coalition (WfMC), Lighthouse Point, FL, USA, 2004.'
date_created: 2022-10-20T09:33:49Z
date_updated: 2022-10-20T09:34:51Z
department:
- _id: '672'
editor:
- first_name: Layna
full_name: Fischer, Layna
last_name: Fischer
language:
- iso: eng
place: Lighthouse Point, FL, USA
publication: Workflow Handbook 2004
publication_identifier:
isbn:
- '0970350961'
publisher: Workflow Management Coalition (WfMC)
status: public
title: Workflow Management Middleware for Secure Distance-Spanning Collaborative Engineering
type: book_chapter
user_id: '5786'
year: '2004'
...
---
_id: '33830'
author:
- first_name: Alexander
full_name: Krupp, Alexander
last_name: Krupp
- first_name: Wolfgang
full_name: Müller, Wolfgang
id: '16243'
last_name: Müller
citation:
ama: 'Krupp A, Müller W. Refinement of Finite State Machines with Complementary
Model Checking. In: Mermet J, ed. UML-B System Specification for Proven Electronic
Design. Kluwer; 2004:155-168.'
apa: Krupp, A., & Müller, W. (2004). Refinement of Finite State Machines with
Complementary Model Checking. In J. Mermet (Ed.), UML-B System Specification
for Proven Electronic Design (pp. 155–168). Kluwer.
bibtex: '@inbook{Krupp_Müller_2004, place={Dordrecht}, title={Refinement of Finite
State Machines with Complementary Model Checking}, booktitle={UML-B System Specification
for Proven Electronic Design}, publisher={Kluwer}, author={Krupp, Alexander and
Müller, Wolfgang}, editor={Mermet, J.}, year={2004}, pages={155–168} }'
chicago: 'Krupp, Alexander, and Wolfgang Müller. “Refinement of Finite State Machines
with Complementary Model Checking.” In UML-B System Specification for Proven
Electronic Design, edited by J. Mermet, 155–68. Dordrecht: Kluwer, 2004.'
ieee: 'A. Krupp and W. Müller, “Refinement of Finite State Machines with Complementary
Model Checking,” in UML-B System Specification for Proven Electronic Design,
J. Mermet, Ed. Dordrecht: Kluwer, 2004, pp. 155–168.'
mla: Krupp, Alexander, and Wolfgang Müller. “Refinement of Finite State Machines
with Complementary Model Checking.” UML-B System Specification for Proven Electronic
Design, edited by J. Mermet, Kluwer, 2004, pp. 155–68.
short: 'A. Krupp, W. Müller, in: J. Mermet (Ed.), UML-B System Specification for
Proven Electronic Design, Kluwer, Dordrecht, 2004, pp. 155–168.'
date_created: 2022-10-20T09:54:53Z
date_updated: 2022-10-20T09:56:28Z
department:
- _id: '672'
editor:
- first_name: J.
full_name: Mermet, J.
last_name: Mermet
language:
- iso: eng
page: 155-168
place: Dordrecht
publication: UML-B System Specification for Proven Electronic Design
publication_identifier:
isbn:
- 1-4020-2866-0
publisher: Kluwer
status: public
title: Refinement of Finite State Machines with Complementary Model Checking
type: book_chapter
user_id: '5786'
year: '2004'
...
---
_id: '33829'
author:
- first_name: Alexander
full_name: Krupp, Alexander
last_name: Krupp
- first_name: Wolfgang
full_name: Müller, Wolfgang
id: '16243'
last_name: Müller
- first_name: Ian
full_name: Oliver, Ian
last_name: Oliver
citation:
ama: 'Krupp A, Müller W, Oliver I. Combining Formal Refinement and Model Checking
for Analysis of Realtime Systems. In: Grimm Ch, ed. Best of FDL’03. Kluwer;
2004:301-314.'
apa: Krupp, A., Müller, W., & Oliver, I. (2004). Combining Formal Refinement
and Model Checking for Analysis of Realtime Systems. In Ch. Grimm (Ed.), Best
of FDL’03 (pp. 301–314). Kluwer.
bibtex: '@inbook{Krupp_Müller_Oliver_2004, place={Dordrecht}, title={Combining Formal
Refinement and Model Checking for Analysis of Realtime Systems}, booktitle={Best
of FDL’03}, publisher={Kluwer}, author={Krupp, Alexander and Müller, Wolfgang
and Oliver, Ian}, editor={Grimm, Ch.}, year={2004}, pages={301–314} }'
chicago: 'Krupp, Alexander, Wolfgang Müller, and Ian Oliver. “Combining Formal Refinement
and Model Checking for Analysis of Realtime Systems.” In Best of FDL’03,
edited by Ch. Grimm, 301–14. Dordrecht: Kluwer, 2004.'
ieee: 'A. Krupp, W. Müller, and I. Oliver, “Combining Formal Refinement and Model
Checking for Analysis of Realtime Systems,” in Best of FDL’03, Ch. Grimm,
Ed. Dordrecht: Kluwer, 2004, pp. 301–314.'
mla: Krupp, Alexander, et al. “Combining Formal Refinement and Model Checking for
Analysis of Realtime Systems.” Best of FDL’03, edited by Ch. Grimm, Kluwer,
2004, pp. 301–14.
short: 'A. Krupp, W. Müller, I. Oliver, in: Ch. Grimm (Ed.), Best of FDL’03, Kluwer,
Dordrecht, 2004, pp. 301–314.'
date_created: 2022-10-20T09:49:57Z
date_updated: 2022-10-20T09:50:11Z
department:
- _id: '672'
editor:
- first_name: Ch.
full_name: Grimm, Ch.
last_name: Grimm
language:
- iso: eng
page: 301-314
place: Dordrecht
publication: Best of FDL'03
publication_identifier:
isbn:
- 978-1-4020-7991-7
publisher: Kluwer
status: public
title: Combining Formal Refinement and Model Checking for Analysis of Realtime Systems
type: book_chapter
user_id: '5786'
year: '2004'
...