---
_id: '37066'
abstract:
- lang: eng
text: Today, mobile and embedded real-time systems have to cope with the migration
and allocation of multiple software tasks running on top of a real-time operating
system (RTOS) residing on one or multiple system processors. Abstract RTOS simulations
and timing analysis applies for fast and early estimation to configure it towards
the individual needs of the application and environment. In this context, a high
accuracy of the simulation compared to an instruction set simulation (ISS) is
of key importance. In this paper, we investigate the accuracy of abstract RTOS
simulation and compare it to ISS and the behavior of the physical system. We show
that we can reach an increased accuracy of the simulation when we inject noise
into the time model. Our results indicate that it is sufficient to inject uniformly
distributed random time values to the RTOS real-time clock.
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. Increased Accuracy through Noise Injection in Abstract
RTOS Simulation. In: Proceedings of DATE’09. ; 2009. doi:10.1109/DATE.2009.5090925'
apa: Zabel, H., & Müller, W. (2009). Increased Accuracy through Noise Injection
in Abstract RTOS Simulation. Proceedings of DATE’09. Design, Automation
& Test in Europe Conference & Exhibition. https://doi.org/10.1109/DATE.2009.5090925
bibtex: '@inproceedings{Zabel_Müller_2009, place={Nice, France}, title={Increased
Accuracy through Noise Injection in Abstract RTOS Simulation}, DOI={10.1109/DATE.2009.5090925},
booktitle={Proceedings of DATE’09}, author={Zabel, Henning and Müller, Wolfgang},
year={2009} }'
chicago: Zabel, Henning, and Wolfgang Müller. “Increased Accuracy through Noise
Injection in Abstract RTOS Simulation.” In Proceedings of DATE’09. Nice,
France, 2009. https://doi.org/10.1109/DATE.2009.5090925.
ieee: 'H. Zabel and W. Müller, “Increased Accuracy through Noise Injection in Abstract
RTOS Simulation,” presented at the Design, Automation & Test in Europe Conference
& Exhibition, 2009, doi: 10.1109/DATE.2009.5090925.'
mla: Zabel, Henning, and Wolfgang Müller. “Increased Accuracy through Noise Injection
in Abstract RTOS Simulation.” Proceedings of DATE’09, 2009, doi:10.1109/DATE.2009.5090925.
short: 'H. Zabel, W. Müller, in: Proceedings of DATE’09, Nice, France, 2009.'
conference:
name: Design, Automation & Test in Europe Conference & Exhibition
date_created: 2023-01-17T11:51:44Z
date_updated: 2023-01-17T11:51:48Z
department:
- _id: '672'
doi: 10.1109/DATE.2009.5090925
keyword:
- Timing
- Analytical models
- Clocks
- Performance analysis
- Scheduling
- Operating systems
- Delay
- Real time systems
- Application software
- Context modeling
language:
- iso: eng
place: Nice, France
publication: Proceedings of DATE'09
publication_identifier:
isbn:
- 978-1-4244-3781-8
status: public
title: Increased Accuracy through Noise Injection in Abstract RTOS Simulation
type: conference
user_id: '5786'
year: '2009'
...
---
_id: '17272'
abstract:
- lang: eng
text: In developmental research, tutoring behavior has been identified as scaffolding
infants' learning processes. It has been defined in terms of child-directed speech
(Motherese), child-directed motion (Motionese), and contingency. In the field
of developmental robotics, research often assumes that in human-robot interaction
(HRI), robots are treated similar to infants, because their immature cognitive
capabilities benefit from this behavior. However, according to our knowledge,
it has barely been studied whether this is true and how exactly humans alter their
behavior towards a robotic interaction partner. In this paper, we present results
concerning the acceptance of a robotic agent in a social learning scenario obtained
via comparison to adults and 8-11 months old infants in equal conditions. These
results constitute an important empirical basis for making use of tutoring behavior
in social robotics. In our study, we performed a detailed multimodal analysis
of HRI in a tutoring situation using the example of a robot simulation equipped
with a bottom-up saliency-based attention model. Our results reveal significant
differences in hand movement velocity, motion pauses, range of motion, and eye
gaze suggesting that for example adults decrease their hand movement velocity
in an Adult-Child Interaction (ACI), opposed to an Adult-Adult Interaction (AAI)
and this decrease is even higher in the Adult-Robot Interaction (ARI). We also
found important differences between ACI and ARI in how the behavior is modified
over time as the interaction unfolds. These findings indicate the necessity of
integrating top-down feedback structures into a bottom-up system for robots to
be fully accepted as interaction partners.
author:
- first_name: Anna-Lisa
full_name: Vollmer, Anna-Lisa
last_name: Vollmer
- first_name: Katrin Solveig
full_name: Lohan, Katrin Solveig
last_name: Lohan
- first_name: Kerstin
full_name: Fischer, Kerstin
last_name: Fischer
- first_name: Yukie
full_name: Nagai, Yukie
last_name: Nagai
- first_name: Karola
full_name: Pitsch, Karola
last_name: Pitsch
- first_name: Jannik
full_name: Fritsch, Jannik
last_name: Fritsch
- first_name: Katharina
full_name: Rohlfing, Katharina
id: '50352'
last_name: Rohlfing
- first_name: Britta
full_name: Wrede, Britta
last_name: Wrede
citation:
ama: 'Vollmer A-L, Lohan KS, Fischer K, et al. People modify their tutoring behavior
in robot-directed interaction for action learning. In: Development and Learning,
2009. ICDL 2009. IEEE 8th International Conference on Development and Learning.
IEEE; 2009:1-6. doi:10.1109/DEVLRN.2009.5175516'
apa: Vollmer, A.-L., Lohan, K. S., Fischer, K., Nagai, Y., Pitsch, K., Fritsch,
J., Rohlfing, K., & Wrede, B. (2009). People modify their tutoring behavior
in robot-directed interaction for action learning. Development and Learning,
2009. ICDL 2009. IEEE 8th International Conference on Development and Learning,
1–6. https://doi.org/10.1109/DEVLRN.2009.5175516
bibtex: '@inproceedings{Vollmer_Lohan_Fischer_Nagai_Pitsch_Fritsch_Rohlfing_Wrede_2009,
title={People modify their tutoring behavior in robot-directed interaction for
action learning}, DOI={10.1109/DEVLRN.2009.5175516},
booktitle={Development and Learning, 2009. ICDL 2009. IEEE 8th International Conference
on Development and Learning}, publisher={IEEE}, author={Vollmer, Anna-Lisa and
Lohan, Katrin Solveig and Fischer, Kerstin and Nagai, Yukie and Pitsch, Karola
and Fritsch, Jannik and Rohlfing, Katharina and Wrede, Britta}, year={2009}, pages={1–6}
}'
chicago: Vollmer, Anna-Lisa, Katrin Solveig Lohan, Kerstin Fischer, Yukie Nagai,
Karola Pitsch, Jannik Fritsch, Katharina Rohlfing, and Britta Wrede. “People Modify
Their Tutoring Behavior in Robot-Directed Interaction for Action Learning.” In
Development and Learning, 2009. ICDL 2009. IEEE 8th International Conference
on Development and Learning, 1–6. IEEE, 2009. https://doi.org/10.1109/DEVLRN.2009.5175516.
ieee: 'A.-L. Vollmer et al., “People modify their tutoring behavior in robot-directed
interaction for action learning,” in Development and Learning, 2009. ICDL 2009.
IEEE 8th International Conference on Development and Learning, 2009, pp. 1–6,
doi: 10.1109/DEVLRN.2009.5175516.'
mla: Vollmer, Anna-Lisa, et al. “People Modify Their Tutoring Behavior in Robot-Directed
Interaction for Action Learning.” Development and Learning, 2009. ICDL 2009.
IEEE 8th International Conference on Development and Learning, IEEE, 2009,
pp. 1–6, doi:10.1109/DEVLRN.2009.5175516.
short: 'A.-L. Vollmer, K.S. Lohan, K. Fischer, Y. Nagai, K. Pitsch, J. Fritsch,
K. Rohlfing, B. Wrede, in: Development and Learning, 2009. ICDL 2009. IEEE 8th
International Conference on Development and Learning, IEEE, 2009, pp. 1–6.'
date_created: 2020-06-24T13:02:43Z
date_updated: 2023-02-01T13:06:43Z
department:
- _id: '749'
doi: 10.1109/DEVLRN.2009.5175516
keyword:
- robot simulation
- hand movement velocity
- robotic interaction partner
- robotic agent
- robot-directed interaction
- multimodal analysis
- Motionese
- Motherese
- intelligent tutoring systems
- immature cognitive capability
- human computer interaction
- eye gaze
- child-directed speech
- child-directed motion
- bottom-up system
- bottom-up saliency-based attention model
- adult-robot interaction
- adult-child interaction
- adult-adult interaction
- human-robot interaction
- action learning
- social learning scenario
- social robotics
- software agents
- top-down feedback structures
- tutoring behavior
language:
- iso: eng
page: 1-6
publication: Development and Learning, 2009. ICDL 2009. IEEE 8th International Conference
on Development and Learning
publisher: IEEE
status: public
title: People modify their tutoring behavior in robot-directed interaction for action
learning
type: conference
user_id: '14931'
year: '2009'
...
---
_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: '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: '39069'
abstract:
- lang: eng
text: We present the syntax and semantics of a past- and future-oriented temporal
extension of the Object Constraint Language (OCL). Our extension supports designers
to express time-bounded properties over a state-oriented UML model of a system
under development. The semantics is formally defined over the system states of
a mathematical object model. Additionally, we present a mapping to Clocked Linear
Temporal Logic (Clocked LTL) formulae, which is the basis for further application
in verification with model checking. We demonstrate the applicability of the approach
by the example of a buffer specification in the context of a production system.
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
citation:
ama: 'Flake S, Müller W. Past- and Future-Oriented Time-Bound Temporal Properties
with OCL. In: Proceedings of SEFM´04. IEEE; 2004. doi:10.1109/SEFM.2004.1347516'
apa: Flake, S., & Müller, W. (2004). Past- and Future-Oriented Time-Bound Temporal
Properties with OCL. Proceedings of SEFM´04. Proceedings of the Second
International Conference on Software Engineering and Formal Methods. https://doi.org/10.1109/SEFM.2004.1347516
bibtex: '@inproceedings{Flake_Müller_2004, place={Beijing, China}, title={Past-
and Future-Oriented Time-Bound Temporal Properties with OCL}, DOI={10.1109/SEFM.2004.1347516},
booktitle={Proceedings of SEFM´04}, publisher={IEEE}, author={Flake, Stephan and
Müller, Wolfgang}, year={2004} }'
chicago: 'Flake, Stephan, and Wolfgang Müller. “Past- and Future-Oriented Time-Bound
Temporal Properties with OCL.” In Proceedings of SEFM´04. Beijing, China:
IEEE, 2004. https://doi.org/10.1109/SEFM.2004.1347516.'
ieee: 'S. Flake and W. Müller, “Past- and Future-Oriented Time-Bound Temporal Properties
with OCL,” presented at the Proceedings of the Second International Conference
on Software Engineering and Formal Methods, 2004, doi: 10.1109/SEFM.2004.1347516.'
mla: Flake, Stephan, and Wolfgang Müller. “Past- and Future-Oriented Time-Bound
Temporal Properties with OCL.” Proceedings of SEFM´04, IEEE, 2004, doi:10.1109/SEFM.2004.1347516.
short: 'S. Flake, W. Müller, in: Proceedings of SEFM´04, IEEE, Beijing, China, 2004.'
conference:
name: ' Proceedings of the Second International Conference on Software Engineering
and Formal Methods'
date_created: 2023-01-24T09:03:36Z
date_updated: 2023-01-24T09:03:41Z
department:
- _id: '672'
doi: 10.1109/SEFM.2004.1347516
keyword:
- Unified modeling language
- Logic
- Clocks
- Boolean functions
- Application software
- Time factors
- Real time systems
- Formal verification
- Buffer storage
- Software packages
language:
- iso: eng
place: Beijing, China
publication: Proceedings of SEFM´04
publication_identifier:
isbn:
- 0-7695-2222-X
publisher: IEEE
status: public
title: Past- and Future-Oriented Time-Bound Temporal Properties with OCL
type: conference
user_id: '5786'
year: '2004'
...
---
_id: '39382'
abstract:
- lang: eng
text: We present a rigorous but transparent semantics definition of the SpecC language
that covers the execution of SpecC behaviors and their interaction with the kernel
process. The semantics include wait, wait for, par, and try statements as they
are introduced in SpecC. We present our definition in form of distributed abstract
state machine (ASM) rules strictly following the lines of the SpecC Language Reference
Manual. We mainly see our formal semantics in three application areas. First,
it is a concise, unambiguous description for documentation and standardization.
Second, it applies as a high-level, pseudo code-oriented specification for the
implementation of a SpecC simulator. Finally, it is a first step for SpecC synthesis
in order to identify similar concepts with other languages like VHDL and SystemC
for the definition of common patterns and language subsets.
author:
- first_name: Wolfgang
full_name: Müller, Wolfgang
id: '16243'
last_name: Müller
- first_name: Rainer
full_name: Dömer, Rainer
last_name: Dömer
- first_name: Andreas
full_name: Gerstlauer, Andreas
last_name: Gerstlauer
citation:
ama: 'Müller W, Dömer R, Gerstlauer A. The Formal Execution Semantics of SpecC.
In: Proceedings of the ISSS02. ; 2002. doi:10.1145/581199.581234 '
apa: Müller, W., Dömer, R., & Gerstlauer, A. (2002). The Formal Execution Semantics
of SpecC. Proceedings of the ISSS02. https://doi.org/10.1145/581199.581234
bibtex: '@inproceedings{Müller_Dömer_Gerstlauer_2002, place={Nagoya, Japan}, title={The
Formal Execution Semantics of SpecC}, DOI={10.1145/581199.581234 }, booktitle={Proceedings of the ISSS02}, author={Müller,
Wolfgang and Dömer, Rainer and Gerstlauer, Andreas}, year={2002} }'
chicago: Müller, Wolfgang, Rainer Dömer, and Andreas Gerstlauer. “The Formal Execution
Semantics of SpecC.” In Proceedings of the ISSS02. Nagoya, Japan, 2002.
https://doi.org/10.1145/581199.581234
.
ieee: 'W. Müller, R. Dömer, and A. Gerstlauer, “The Formal Execution Semantics of
SpecC,” 2002, doi: 10.1145/581199.581234
.'
mla: Müller, Wolfgang, et al. “The Formal Execution Semantics of SpecC.” Proceedings
of the ISSS02, 2002, doi:10.1145/581199.581234
.
short: 'W. Müller, R. Dömer, A. Gerstlauer, in: Proceedings of the ISSS02, Nagoya,
Japan, 2002.'
date_created: 2023-01-24T10:10:24Z
date_updated: 2023-01-24T10:10:28Z
department:
- _id: '672'
doi: '10.1145/581199.581234 '
keyword:
- Standardization
- Kernel
- Permission
- Formal verification
- Logic functions
- Documentation
- Reasoning about programs
- Specification languages
- Formal specifications
- Software systems
language:
- iso: eng
place: Nagoya, Japan
publication: Proceedings of the ISSS02
publication_identifier:
isbn:
- 1-58113-576-9
status: public
title: The Formal Execution Semantics of SpecC
type: conference
user_id: '5786'
year: '2002'
...
---
_id: '39403'
abstract:
- lang: eng
text: The Unified Modeling Language (UML) has received wide acceptance as a standard
language in the field of software specification by means of different diagram
types. In a recent version of UML, the textual Object Constraint Language (OCL)
was introduced to support specification of constraints for UML models. But OCL
currently does not provide sufficient means to specify constraints over the dynamic
behavior of a model. This article presents an OCL extension that is consistent
with current OCL and enables modelers to specify state-related time-bounded constraints.
We consider the case study of a flexible manufacturing system and identify typical
real-time constraints. The constraints are presented in our temporal OCL extension
as well as in temporal logic formulae. For general application, we define a semantics
of our OCL extension by means of a time-bounded temporal logic based on Computational
Tree Logic (CTL).
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
citation:
ama: 'Flake S, Müller W. Specification of Real-Time Properties for UML Models. In:
Proceedings of HICSS-35. ; 2002. doi:10.1109/HICSS.2002.994469'
apa: Flake, S., & Müller, W. (2002). Specification of Real-Time Properties for
UML Models. Proceedings of HICSS-35. Proceedings of the 35th Annual Hawaii
International Conference on System Sciences, Big Island, HI, USA . https://doi.org/10.1109/HICSS.2002.994469
bibtex: '@inproceedings{Flake_Müller_2002, place={Big Island, HI, USA }, title={Specification
of Real-Time Properties for UML Models}, DOI={10.1109/HICSS.2002.994469},
booktitle={Proceedings of HICSS-35}, author={Flake, Stephan and Müller, Wolfgang},
year={2002} }'
chicago: Flake, Stephan, and Wolfgang Müller. “Specification of Real-Time Properties
for UML Models.” In Proceedings of HICSS-35. Big Island, HI, USA , 2002.
https://doi.org/10.1109/HICSS.2002.994469.
ieee: 'S. Flake and W. Müller, “Specification of Real-Time Properties for UML Models,”
presented at the Proceedings of the 35th Annual Hawaii International Conference
on System Sciences, Big Island, HI, USA , 2002, doi: 10.1109/HICSS.2002.994469.'
mla: Flake, Stephan, and Wolfgang Müller. “Specification of Real-Time Properties
for UML Models.” Proceedings of HICSS-35, 2002, doi:10.1109/HICSS.2002.994469.
short: 'S. Flake, W. Müller, in: Proceedings of HICSS-35, Big Island, HI, USA ,
2002.'
conference:
location: 'Big Island, HI, USA '
name: Proceedings of the 35th Annual Hawaii International Conference on System Sciences
date_created: 2023-01-24T10:22:12Z
date_updated: 2023-01-24T10:22:16Z
department:
- _id: '672'
doi: 10.1109/HICSS.2002.994469
keyword:
- Unified modeling language
- Logic
- Formal verification
- Real time systems
- Programming profession
- Vehicle dynamics
- Software standards
- Flexible manufacturing systems
- Electronics industry
- Protocols
language:
- iso: eng
place: 'Big Island, HI, USA '
publication: Proceedings of HICSS-35
publication_identifier:
isbn:
- 0-7695-1435-9
status: public
title: Specification of Real-Time Properties for UML Models
type: conference
user_id: '5786'
year: '2002'
...
---
_id: '39925'
author:
- first_name: K.
full_name: Goser, K.
last_name: Goser
- first_name: Ulrich
full_name: Hilleringmann, Ulrich
id: '20179'
last_name: Hilleringmann
- first_name: U.
full_name: Rueckert, U.
last_name: Rueckert
- first_name: K.
full_name: Schumacher, K.
last_name: Schumacher
citation:
ama: Goser K, Hilleringmann U, Rueckert U, Schumacher K. VLSI technologies for artificial
neural networks. IEEE Micro. 2002;9(6):28-44. doi:10.1109/40.42985
apa: Goser, K., Hilleringmann, U., Rueckert, U., & Schumacher, K. (2002). VLSI
technologies for artificial neural networks. IEEE Micro, 9(6), 28–44.
https://doi.org/10.1109/40.42985
bibtex: '@article{Goser_Hilleringmann_Rueckert_Schumacher_2002, title={VLSI technologies
for artificial neural networks}, volume={9}, DOI={10.1109/40.42985},
number={6}, journal={IEEE Micro}, publisher={Institute of Electrical and Electronics
Engineers (IEEE)}, author={Goser, K. and Hilleringmann, Ulrich and Rueckert, U.
and Schumacher, K.}, year={2002}, pages={28–44} }'
chicago: 'Goser, K., Ulrich Hilleringmann, U. Rueckert, and K. Schumacher. “VLSI
Technologies for Artificial Neural Networks.” IEEE Micro 9, no. 6 (2002):
28–44. https://doi.org/10.1109/40.42985.'
ieee: 'K. Goser, U. Hilleringmann, U. Rueckert, and K. Schumacher, “VLSI technologies
for artificial neural networks,” IEEE Micro, vol. 9, no. 6, pp. 28–44,
2002, doi: 10.1109/40.42985.'
mla: Goser, K., et al. “VLSI Technologies for Artificial Neural Networks.” IEEE
Micro, vol. 9, no. 6, Institute of Electrical and Electronics Engineers (IEEE),
2002, pp. 28–44, doi:10.1109/40.42985.
short: K. Goser, U. Hilleringmann, U. Rueckert, K. Schumacher, IEEE Micro 9 (2002)
28–44.
date_created: 2023-01-25T09:33:18Z
date_updated: 2023-03-21T09:57:17Z
department:
- _id: '59'
doi: 10.1109/40.42985
intvolume: ' 9'
issue: '6'
keyword:
- Electrical and Electronic Engineering
- Hardware and Architecture
- Software
language:
- iso: eng
page: 28-44
publication: IEEE Micro
publication_identifier:
issn:
- 0272-1732
publication_status: published
publisher: Institute of Electrical and Electronics Engineers (IEEE)
status: public
title: VLSI technologies for artificial neural networks
type: journal_article
user_id: '20179'
volume: 9
year: '2002'
...
---
_id: '39926'
author:
- first_name: K.
full_name: Goser, K.
last_name: Goser
- first_name: Ulrich
full_name: Hilleringmann, Ulrich
id: '20179'
last_name: Hilleringmann
- first_name: U.
full_name: Rueckert, U.
last_name: Rueckert
- first_name: K.
full_name: Schumacher, K.
last_name: Schumacher
citation:
ama: Goser K, Hilleringmann U, Rueckert U, Schumacher K. VLSI technologies for artificial
neural networks. IEEE Micro. 2002;9(6):28-44. doi:10.1109/40.42985
apa: Goser, K., Hilleringmann, U., Rueckert, U., & Schumacher, K. (2002). VLSI
technologies for artificial neural networks. IEEE Micro, 9(6), 28–44.
https://doi.org/10.1109/40.42985
bibtex: '@article{Goser_Hilleringmann_Rueckert_Schumacher_2002, title={VLSI technologies
for artificial neural networks}, volume={9}, DOI={10.1109/40.42985},
number={6}, journal={IEEE Micro}, publisher={Institute of Electrical and Electronics
Engineers (IEEE)}, author={Goser, K. and Hilleringmann, Ulrich and Rueckert, U.
and Schumacher, K.}, year={2002}, pages={28–44} }'
chicago: 'Goser, K., Ulrich Hilleringmann, U. Rueckert, and K. Schumacher. “VLSI
Technologies for Artificial Neural Networks.” IEEE Micro 9, no. 6 (2002):
28–44. https://doi.org/10.1109/40.42985.'
ieee: 'K. Goser, U. Hilleringmann, U. Rueckert, and K. Schumacher, “VLSI technologies
for artificial neural networks,” IEEE Micro, vol. 9, no. 6, pp. 28–44,
2002, doi: 10.1109/40.42985.'
mla: Goser, K., et al. “VLSI Technologies for Artificial Neural Networks.” IEEE
Micro, vol. 9, no. 6, Institute of Electrical and Electronics Engineers (IEEE),
2002, pp. 28–44, doi:10.1109/40.42985.
short: K. Goser, U. Hilleringmann, U. Rueckert, K. Schumacher, IEEE Micro 9 (2002)
28–44.
date_created: 2023-01-25T09:33:50Z
date_updated: 2023-03-22T10:36:45Z
department:
- _id: '59'
doi: 10.1109/40.42985
intvolume: ' 9'
issue: '6'
keyword:
- Electrical and Electronic Engineering
- Hardware and Architecture
- Software
language:
- iso: eng
page: 28-44
publication: IEEE Micro
publication_identifier:
issn:
- 0272-1732
publication_status: published
publisher: Institute of Electrical and Electronics Engineers (IEEE)
status: public
title: VLSI technologies for artificial neural networks
type: journal_article
user_id: '20179'
volume: 9
year: '2002'
...
---
_id: '45423'
author:
- first_name: Rolf
full_name: Mahnken, Rolf
id: '335'
last_name: Mahnken
citation:
ama: Mahnken R. Improved implementation of an algorithm for non-linear isotropic/kinematic
hardening in elastoplasticity. Communications in Numerical Methods in Engineering.
2002;15(10):745-754. doi:10.1002/(sici)1099-0887(199910)15:10<745::aid-cnm288>3.0.co;2-r
apa: Mahnken, R. (2002). Improved implementation of an algorithm for non-linear
isotropic/kinematic hardening in elastoplasticity. Communications in Numerical
Methods in Engineering, 15(10), 745–754. https://doi.org/10.1002/(sici)1099-0887(199910)15:10<745::aid-cnm288>3.0.co;2-r
bibtex: '@article{Mahnken_2002, title={Improved implementation of an algorithm for
non-linear isotropic/kinematic hardening in elastoplasticity}, volume={15}, DOI={10.1002/(sici)1099-0887(199910)15:10<745::aid-cnm288>3.0.co;2-r},
number={10}, journal={Communications in Numerical Methods in Engineering}, publisher={Wiley},
author={Mahnken, Rolf}, year={2002}, pages={745–754} }'
chicago: 'Mahnken, Rolf. “Improved Implementation of an Algorithm for Non-Linear
Isotropic/Kinematic Hardening in Elastoplasticity.” Communications in Numerical
Methods in Engineering 15, no. 10 (2002): 745–54. https://doi.org/10.1002/(sici)1099-0887(199910)15:10<745::aid-cnm288>3.0.co;2-r.'
ieee: 'R. Mahnken, “Improved implementation of an algorithm for non-linear isotropic/kinematic
hardening in elastoplasticity,” Communications in Numerical Methods in Engineering,
vol. 15, no. 10, pp. 745–754, 2002, doi: 10.1002/(sici)1099-0887(199910)15:10<745::aid-cnm288>3.0.co;2-r.'
mla: Mahnken, Rolf. “Improved Implementation of an Algorithm for Non-Linear Isotropic/Kinematic
Hardening in Elastoplasticity.” Communications in Numerical Methods in Engineering,
vol. 15, no. 10, Wiley, 2002, pp. 745–54, doi:10.1002/(sici)1099-0887(199910)15:10<745::aid-cnm288>3.0.co;2-r.
short: R. Mahnken, Communications in Numerical Methods in Engineering 15 (2002)
745–754.
date_created: 2023-05-31T12:14:42Z
date_updated: 2023-05-31T12:15:12Z
department:
- _id: '9'
- _id: '154'
doi: 10.1002/(sici)1099-0887(199910)15:10<745::aid-cnm288>3.0.co;2-r
intvolume: ' 15'
issue: '10'
keyword:
- Applied Mathematics
- Computational Theory and Mathematics
- General Engineering
- Modeling and Simulation
- Software
language:
- iso: eng
page: 745-754
publication: Communications in Numerical Methods in Engineering
publication_identifier:
issn:
- 1069-8299
- 1099-0887
publication_status: published
publisher: Wiley
quality_controlled: '1'
status: public
title: Improved implementation of an algorithm for non-linear isotropic/kinematic
hardening in elastoplasticity
type: journal_article
user_id: '335'
volume: 15
year: '2002'
...
---
_id: '45427'
abstract:
- lang: eng
text: 'In this work a gradient‐based optimization method is applied in order
to determine material parameters for a viscoplastic model with dynamic yield surface
coupled to damage as presented in 1997. To this end a sensitivity analysis consistent
with the integration scheme presented previously is performed in a systematic
manner, both for strain and stress controlled experiments. The algorithm is tested
in two numerical examples: first, simulated data are used, in order to re‐obtain
parameters for the case of damage under monotonic loading. In the second example
material parameters are obtained based on experimental data for lcf‐testing of
an austenetic stainless steel, thus showing a very good agreement with respect
to hardening, rate and damage effects.'
author:
- first_name: Rolf
full_name: Mahnken, Rolf
id: '335'
last_name: Mahnken
- first_name: Magnus
full_name: Johansson, Magnus
last_name: Johansson
- first_name: Kenneth
full_name: Runesson, Kenneth
last_name: Runesson
citation:
ama: Mahnken R, Johansson M, Runesson K. Parameter estimation for a viscoplastic
damage model using a gradient‐based optimization algorithm. Engineering Computations.
2002;15(7):925-955. doi:10.1108/02644409810236920
apa: Mahnken, R., Johansson, M., & Runesson, K. (2002). Parameter estimation
for a viscoplastic damage model using a gradient‐based optimization algorithm.
Engineering Computations, 15(7), 925–955. https://doi.org/10.1108/02644409810236920
bibtex: '@article{Mahnken_Johansson_Runesson_2002, title={Parameter estimation for
a viscoplastic damage model using a gradient‐based optimization algorithm}, volume={15},
DOI={10.1108/02644409810236920},
number={7}, journal={Engineering Computations}, publisher={Emerald}, author={Mahnken,
Rolf and Johansson, Magnus and Runesson, Kenneth}, year={2002}, pages={925–955}
}'
chicago: 'Mahnken, Rolf, Magnus Johansson, and Kenneth Runesson. “Parameter Estimation
for a Viscoplastic Damage Model Using a Gradient‐based Optimization Algorithm.”
Engineering Computations 15, no. 7 (2002): 925–55. https://doi.org/10.1108/02644409810236920.'
ieee: 'R. Mahnken, M. Johansson, and K. Runesson, “Parameter estimation for a viscoplastic
damage model using a gradient‐based optimization algorithm,” Engineering Computations,
vol. 15, no. 7, pp. 925–955, 2002, doi: 10.1108/02644409810236920.'
mla: Mahnken, Rolf, et al. “Parameter Estimation for a Viscoplastic Damage Model
Using a Gradient‐based Optimization Algorithm.” Engineering Computations,
vol. 15, no. 7, Emerald, 2002, pp. 925–55, doi:10.1108/02644409810236920.
short: R. Mahnken, M. Johansson, K. Runesson, Engineering Computations 15 (2002)
925–955.
date_created: 2023-05-31T12:20:54Z
date_updated: 2023-05-31T12:21:15Z
department:
- _id: '9'
- _id: '154'
doi: 10.1108/02644409810236920
intvolume: ' 15'
issue: '7'
keyword:
- Computational Theory and Mathematics
- Computer Science Applications
- General Engineering
- Software
language:
- iso: eng
page: 925-955
publication: Engineering Computations
publication_identifier:
issn:
- 0264-4401
publication_status: published
publisher: Emerald
quality_controlled: '1'
status: public
title: Parameter estimation for a viscoplastic damage model using a gradient‐based
optimization algorithm
type: journal_article
user_id: '335'
volume: 15
year: '2002'
...
---
_id: '39411'
abstract:
- lang: eng
text: Rapid prototyping based on 3D models is well accepted for several applications.
This article addresses the application of animated virtual 3D prototypes for the
development of computer-based systems supporting early collaboration of the system
designer with the external customer. Our methodology seamlessly integrates illustration
through 3D animation with the main tasks of computer-based real-time systems development,
i.e., implementation and verification. The approach is outlined by the example
of the design of a flexible manufacturing system.
author:
- first_name: Stephan
full_name: Flake, Stephan
last_name: Flake
- first_name: Christian
full_name: Geiger, Christian
last_name: Geiger
- first_name: Wolfgang
full_name: Müller, Wolfgang
id: '16243'
last_name: Müller
- first_name: Jürgen
full_name: Ruf, Jürgen
last_name: Ruf
citation:
ama: 'Flake S, Geiger C, Müller W, Ruf J. Customer-Oriented Systems Design through
Virtual Prototyps. In: Proceedings of IEEE KMN 2001. ; 2001. doi:10.1109/ENABL.2001.953425'
apa: 'Flake, S., Geiger, C., Müller, W., & Ruf, J. (2001). Customer-Oriented
Systems Design through Virtual Prototyps. Proceedings of IEEE KMN 2001.
Proceedings Tenth IEEE International Workshop on Enabling Technologies: Infrastructure
for Collaborative Enterprises. https://doi.org/10.1109/ENABL.2001.953425'
bibtex: '@inproceedings{Flake_Geiger_Müller_Ruf_2001, place={Cambridge, MA, USA
}, title={Customer-Oriented Systems Design through Virtual Prototyps}, DOI={10.1109/ENABL.2001.953425},
booktitle={Proceedings of IEEE KMN 2001}, author={Flake, Stephan and Geiger, Christian
and Müller, Wolfgang and Ruf, Jürgen}, year={2001} }'
chicago: Flake, Stephan, Christian Geiger, Wolfgang Müller, and Jürgen Ruf. “Customer-Oriented
Systems Design through Virtual Prototyps.” In Proceedings of IEEE KMN 2001.
Cambridge, MA, USA , 2001. https://doi.org/10.1109/ENABL.2001.953425.
ieee: 'S. Flake, C. Geiger, W. Müller, and J. Ruf, “Customer-Oriented Systems Design
through Virtual Prototyps,” presented at the Proceedings Tenth IEEE International
Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises,
2001, doi: 10.1109/ENABL.2001.953425.'
mla: Flake, Stephan, et al. “Customer-Oriented Systems Design through Virtual Prototyps.”
Proceedings of IEEE KMN 2001, 2001, doi:10.1109/ENABL.2001.953425.
short: 'S. Flake, C. Geiger, W. Müller, J. Ruf, in: Proceedings of IEEE KMN 2001,
Cambridge, MA, USA , 2001.'
conference:
name: 'Proceedings Tenth IEEE International Workshop on Enabling Technologies: Infrastructure
for Collaborative Enterprises'
date_created: 2023-01-24T10:30:14Z
date_updated: 2023-01-24T10:30:21Z
department:
- _id: '672'
doi: 10.1109/ENABL.2001.953425
keyword:
- Virtual prototyping
- Animation
- Collaboration
- System analysis and design
- Feedback
- Application software
- Power system modeling
- Handicapped aids
- Process design
- Contracts
language:
- iso: eng
place: 'Cambridge, MA, USA '
publication: Proceedings of IEEE KMN 2001
publication_identifier:
isbn:
- 0-7695-1269-0
status: public
title: Customer-Oriented Systems Design through Virtual Prototyps
type: conference
user_id: '5786'
year: '2001'
...
---
_id: '39432'
abstract:
- lang: eng
text: This article presents SAL, a general purpose scripting language for the rapid
development of distributed software agents seamlessly embedded in a visual environment.
Integrated facilities for dynamic visualization provide sample but powerful means
for debugging and domain-oriented animation. SAL agents are arranged on a set
of 2D worksheets which can be distributed over different machines. An agent's
program is defined by the means of a table specifying a set of state transition
rules with a condition and a sequence of actions each. Beyond basic computation
and communication, actions can dynamically modify the agent's depiction, its program,
and spawn arbitrary processes. A couple of examples demonstrate SAL's applicability
in various domains like electronic systems design and process management.
author:
- first_name: Wolfgang
full_name: Müller, Wolfgang
id: '16243'
last_name: Müller
- first_name: A.
full_name: Meyer, A.
last_name: Meyer
- first_name: Henning
full_name: Zabel, Henning
last_name: Zabel
citation:
ama: 'Müller W, Meyer A, Zabel H. A Language for the Rapid Prototyping of Mobile
Evolving Agents. In: Proceedings of the 34th Annual Hawaii International Conference
on System Sciences. ; 2001. doi:10.1109/HICSS.2001.926319'
apa: Müller, W., Meyer, A., & Zabel, H. (2001). A Language for the Rapid Prototyping
of Mobile Evolving Agents. Proceedings of the 34th Annual Hawaii International
Conference on System Sciences. https://doi.org/10.1109/HICSS.2001.926319
bibtex: '@inproceedings{Müller_Meyer_Zabel_2001, place={Maui, HI, USA }, title={A
Language for the Rapid Prototyping of Mobile Evolving Agents}, DOI={10.1109/HICSS.2001.926319},
booktitle={Proceedings of the 34th Annual Hawaii International Conference on System
Sciences}, author={Müller, Wolfgang and Meyer, A. and Zabel, Henning}, year={2001}
}'
chicago: Müller, Wolfgang, A. Meyer, and Henning Zabel. “A Language for the Rapid
Prototyping of Mobile Evolving Agents.” In Proceedings of the 34th Annual Hawaii
International Conference on System Sciences. Maui, HI, USA , 2001. https://doi.org/10.1109/HICSS.2001.926319.
ieee: 'W. Müller, A. Meyer, and H. Zabel, “A Language for the Rapid Prototyping
of Mobile Evolving Agents,” 2001, doi: 10.1109/HICSS.2001.926319.'
mla: Müller, Wolfgang, et al. “A Language for the Rapid Prototyping of Mobile Evolving
Agents.” Proceedings of the 34th Annual Hawaii International Conference on
System Sciences, 2001, doi:10.1109/HICSS.2001.926319.
short: 'W. Müller, A. Meyer, H. Zabel, in: Proceedings of the 34th Annual Hawaii
International Conference on System Sciences, Maui, HI, USA , 2001.'
date_created: 2023-01-24T10:48:09Z
date_updated: 2023-01-24T10:48:14Z
department:
- _id: '672'
doi: 10.1109/HICSS.2001.926319
keyword:
- software prototyping
- distributed programming
- authoring languages
- software agents
- program visualisation
- parallel languages
language:
- iso: eng
place: 'Maui, HI, USA '
publication: Proceedings of the 34th Annual Hawaii International Conference on System
Sciences
publication_identifier:
isbn:
- 0-7695-0981-9
status: public
title: A Language for the Rapid Prototyping of Mobile Evolving Agents
type: conference
user_id: '5786'
year: '2001'
...
---
_id: '39488'
abstract:
- lang: eng
text: CSCW systems like BSCW (Basic Support for Cooperative Work), HyperNews, and
Lotus Notes have been successfully introduced to support the cooperation of geographically
distributed work groups. Unfortunately, some of these software systems are not
flexible enough to be customized easily to the requirements of an individual user.
Most of the environments can only be configured by experts through complex programming.
In this article we introduce VIP space, a shared workspace space in the sense
of exchanging and processing shared objects between members of distributed work
groups. VIP space can be easily adapted to the user's individual views and needs
by means of a visual programming language. In VIP space, objects of the shared
workspace are moved by drag and drop between task fields. Task fields are programmed
by visual "if-then" rules applying a combination of icon- and form-based techniques.
When a document represented by an icon is dropped on a task field its rules are
checked and actions of the selected rules are excited. VIP space is finally demonstrated
in an Internet course application.
author:
- first_name: M.
full_name: Dücker, M.
last_name: Dücker
- first_name: Wolfgang
full_name: Müller, Wolfgang
id: '16243'
last_name: Müller
- first_name: Jessica
full_name: Rubart, Jessica
last_name: Rubart
citation:
ama: 'Dücker M, Müller W, Rubart J. Innovative Concepts for Configurating Shared
Workspaces through Visual Programming. In: Proceedings of the 32nd Annual
Hawaii International Conference on Systems Sciences. ; 1999. doi:10.1109/HICSS.1999.773046'
apa: Dücker, M., Müller, W., & Rubart, J. (1999). Innovative Concepts for Configurating
Shared Workspaces through Visual Programming. Proceedings of the 32nd Annual
Hawaii International Conference on Systems Sciences. Proceedings of the 32nd
Annual Hawaii International Conference on Systems Sciences. 1999. HICSS-32, Maui,
HI, USA . https://doi.org/10.1109/HICSS.1999.773046
bibtex: '@inproceedings{Dücker_Müller_Rubart_1999, place={Maui, HI, USA }, title={Innovative
Concepts for Configurating Shared Workspaces through Visual Programming}, DOI={10.1109/HICSS.1999.773046},
booktitle={ Proceedings of the 32nd Annual Hawaii International Conference on
Systems Sciences}, author={Dücker, M. and Müller, Wolfgang and Rubart, Jessica},
year={1999} }'
chicago: Dücker, M., Wolfgang Müller, and Jessica Rubart. “Innovative Concepts for
Configurating Shared Workspaces through Visual Programming.” In Proceedings
of the 32nd Annual Hawaii International Conference on Systems Sciences. Maui,
HI, USA , 1999. https://doi.org/10.1109/HICSS.1999.773046.
ieee: 'M. Dücker, W. Müller, and J. Rubart, “Innovative Concepts for Configurating
Shared Workspaces through Visual Programming,” presented at the Proceedings of
the 32nd Annual Hawaii International Conference on Systems Sciences. 1999. HICSS-32,
Maui, HI, USA , 1999, doi: 10.1109/HICSS.1999.773046.'
mla: Dücker, M., et al. “Innovative Concepts for Configurating Shared Workspaces
through Visual Programming.” Proceedings of the 32nd Annual Hawaii International
Conference on Systems Sciences, 1999, doi:10.1109/HICSS.1999.773046.
short: 'M. Dücker, W. Müller, J. Rubart, in: Proceedings of the 32nd Annual Hawaii
International Conference on Systems Sciences, Maui, HI, USA , 1999.'
conference:
location: 'Maui, HI, USA '
name: Proceedings of the 32nd Annual Hawaii International Conference on Systems
Sciences. 1999. HICSS-32
date_created: 2023-01-24T11:35:47Z
date_updated: 2023-01-24T11:35:52Z
department:
- _id: '672'
doi: 10.1109/HICSS.1999.773046
keyword:
- Application software
- Electronic mail
- Computer networks
- Collaborative work
- Teleconferencing
- Asynchronous communication
- Software systems
- Internet
- Computer applications
- Discussion forums
language:
- iso: eng
place: 'Maui, HI, USA '
publication: ' Proceedings of the 32nd Annual Hawaii International Conference on Systems
Sciences'
publication_identifier:
isbn:
- 0-7695-0001-3
status: public
title: Innovative Concepts for Configurating Shared Workspaces through Visual Programming
type: conference
user_id: '5786'
year: '1999'
...
---
_id: '39487'
abstract:
- lang: eng
text: This article introduces and discusses different innovative means for visual
specification and animation of complex concurrent systems. It introduces the completely
visual programming language Pictorial Janus (PJ) and its application in the customer-oriented
design process. PJ implements a completely visual programming language with inherent
animation facilities. The article outlines the transformation of purely visual
PJ programs into textual imperative programming languages. The second part of
the article investigates animated 3D-presentations and introduces a novel approach
to an animated 3D programming language for interactive customer-oriented illustrations.
author:
- first_name: Christian
full_name: Geiger, Christian
last_name: Geiger
- first_name: G.
full_name: Lehrenfeld, G.
last_name: Lehrenfeld
- first_name: Wolfgang
full_name: Müller, Wolfgang
id: '16243'
last_name: Müller
citation:
ama: 'Geiger C, Lehrenfeld G, Müller W. Visual Specification, Modeling, and Illustrations
of Complex Systems. In: Proceedings of HICSS-32. ; 1999. doi:10.1109/HICSS.1999.772621'
apa: Geiger, C., Lehrenfeld, G., & Müller, W. (1999). Visual Specification,
Modeling, and Illustrations of Complex Systems. Proceedings of HICSS-32.
Proceedings of the 32nd Annual Hawaii International Conference on Systems Sciences
1999, Maui, Hawaii. https://doi.org/10.1109/HICSS.1999.772621
bibtex: '@inproceedings{Geiger_Lehrenfeld_Müller_1999, place={Maui, Hawaii}, title={Visual
Specification, Modeling, and Illustrations of Complex Systems}, DOI={10.1109/HICSS.1999.772621},
booktitle={Proceedings of HICSS-32}, author={Geiger, Christian and Lehrenfeld,
G. and Müller, Wolfgang}, year={1999} }'
chicago: Geiger, Christian, G. Lehrenfeld, and Wolfgang Müller. “Visual Specification,
Modeling, and Illustrations of Complex Systems.” In Proceedings of HICSS-32.
Maui, Hawaii, 1999. https://doi.org/10.1109/HICSS.1999.772621.
ieee: 'C. Geiger, G. Lehrenfeld, and W. Müller, “Visual Specification, Modeling,
and Illustrations of Complex Systems,” presented at the Proceedings of the 32nd
Annual Hawaii International Conference on Systems Sciences 1999, Maui, Hawaii,
1999, doi: 10.1109/HICSS.1999.772621.'
mla: Geiger, Christian, et al. “Visual Specification, Modeling, and Illustrations
of Complex Systems.” Proceedings of HICSS-32, 1999, doi:10.1109/HICSS.1999.772621.
short: 'C. Geiger, G. Lehrenfeld, W. Müller, in: Proceedings of HICSS-32, Maui,
Hawaii, 1999.'
conference:
location: Maui, Hawaii
name: Proceedings of the 32nd Annual Hawaii International Conference on Systems
Sciences 1999
date_created: 2023-01-24T11:33:05Z
date_updated: 2023-01-24T11:33:35Z
department:
- _id: '672'
doi: 10.1109/HICSS.1999.772621
keyword:
- Animation
- Computer languages
- Object oriented modeling
- Collaboration
- Process design
- Graphical user interfaces
- Jacobian matrices
- Standardization
- Feedback
- Software prototyping
language:
- iso: eng
place: Maui, Hawaii
publication: Proceedings of HICSS-32
publication_identifier:
isbn:
- 0-7695-0001-3
status: public
title: Visual Specification, Modeling, and Illustrations of Complex Systems
type: conference
user_id: '5786'
year: '1999'
...
---
_id: '39493'
abstract:
- lang: eng
text: This article presents the animated visual 3D programming language SAM (Solid
Agents in Motion) for parallel systems specification and animation. A SAM program
is a set of interacting agents synchronously exchanging messages. The agent's
behaviour is specified by means of production rules with a condition and a sequence
of actions each. Actions are linearly ordered and execute when matching a rule.
In SAM, main syntactic objects like agents, rules, and messages are 3D. These
objects can have an abstract and a concrete, solid 3D presentation. While the
abstract representation is for programming and debugging, the concrete representation
is for animated 3D end-user presentations. After outlining the concepts of SAM
this article gives two programming examples of 3D micro worlds and an overview
of the programming environment.
author:
- first_name: Christian
full_name: Geiger, Christian
last_name: Geiger
- first_name: Wolfgang
full_name: Müller, Wolfgang
id: '16243'
last_name: Müller
- first_name: W.
full_name: Rosenbach, W.
last_name: Rosenbach
citation:
ama: 'Geiger C, Müller W, Rosenbach W. SAM - An Animated 3D Programming Language.
In: Proceedings of the IEEE Symposium on Visual Languages. ; 1998. doi:10.1109/VL.1998.706167'
apa: Geiger, C., Müller, W., & Rosenbach, W. (1998). SAM - An Animated 3D Programming
Language. Proceedings of the IEEE Symposium on Visual Languages. 1998 IEEE
Symposium on Visual Languages, Halifax, Canada. https://doi.org/10.1109/VL.1998.706167
bibtex: '@inproceedings{Geiger_Müller_Rosenbach_1998, place={Halifax, Canada}, title={SAM
- An Animated 3D Programming Language}, DOI={10.1109/VL.1998.706167},
booktitle={Proceedings of the IEEE Symposium on Visual Languages}, author={Geiger,
Christian and Müller, Wolfgang and Rosenbach, W.}, year={1998} }'
chicago: Geiger, Christian, Wolfgang Müller, and W. Rosenbach. “SAM - An Animated
3D Programming Language.” In Proceedings of the IEEE Symposium on Visual Languages.
Halifax, Canada, 1998. https://doi.org/10.1109/VL.1998.706167.
ieee: 'C. Geiger, W. Müller, and W. Rosenbach, “SAM - An Animated 3D Programming
Language,” presented at the 1998 IEEE Symposium on Visual Languages, Halifax,
Canada, 1998, doi: 10.1109/VL.1998.706167.'
mla: Geiger, Christian, et al. “SAM - An Animated 3D Programming Language.” Proceedings
of the IEEE Symposium on Visual Languages, 1998, doi:10.1109/VL.1998.706167.
short: 'C. Geiger, W. Müller, W. Rosenbach, in: Proceedings of the IEEE Symposium
on Visual Languages, Halifax, Canada, 1998.'
conference:
location: Halifax, Canada
name: 1998 IEEE Symposium on Visual Languages
date_created: 2023-01-24T11:39:30Z
date_updated: 2023-01-24T11:39:35Z
department:
- _id: '672'
doi: 10.1109/VL.1998.706167
keyword:
- Animation
- Computer languages
- Solids
- Concrete
- Application software
- Virtual reality
- Programming profession
- Switches
- Visualization
- Debugging
language:
- iso: eng
place: Halifax, Canada
publication: Proceedings of the IEEE Symposium on Visual Languages
publication_identifier:
isbn:
- 0-8186-8712-6
status: public
title: SAM - An Animated 3D Programming Language
type: conference
user_id: '5786'
year: '1998'
...
---
_id: '39510'
abstract:
- lang: eng
text: Modeling of human knowledge and reasoning requires the formulation of uncertainty
in its various forms. Fuzzy logic was introduced to directly support these applications
(H. Zimmermann, 1991). Fuzzy control (FC) which is based on fuzzy logic allows
one to control complex systems based on qualitative information like human knowledge
(C. Geiger and G. Lehrenfeld, 1994). In fuzzy logic, fuzzy sets are usually defined
and manipulated by means of complex mathematics, whereas the fuzzy control process
is frequently outlined by visual sketches based on set diagrams in order to enhance
the comprehension of the inference process. The rule based execution of this process
usually follows the lines of rule based visual programming languages (VPLs), i.e.,
languages comparable to Agentsheets and ChemTrains. This strongly indicates that
VPLs are thus well applicable for this use. We first outline the basic concepts
of fuzzy logic and fuzzy control. Thereafter, we sketch a visual language which
integrates fuzzy set diagrams in the visual representation of rules. The basic
concepts are inherited from the complete visual programming language, Pictorial
Janus (PJ). However, we significantly simplify PJ's visual concepts in order to
adapt it for our purpose.
author:
- first_name: M.
full_name: Dücker, M.
last_name: Dücker
- first_name: Christian
full_name: Geiger, Christian
last_name: Geiger
- first_name: Georg
full_name: Lehrenfeld, Georg
last_name: Lehrenfeld
- first_name: Wolfgang
full_name: Müller, Wolfgang
id: '16243'
last_name: Müller
- first_name: C.
full_name: Tahedl, C.
last_name: Tahedl
citation:
ama: 'Dücker M, Geiger C, Lehrenfeld G, Müller W, Tahedl C. A Visual Programming
Language for Qualitative Data. In: Proceedings of the 1997 IEEE Symposium on
Visual Languages. ; 1997. doi:10.1109/VL.1997.626593'
apa: Dücker, M., Geiger, C., Lehrenfeld, G., Müller, W., & Tahedl, C. (1997).
A Visual Programming Language for Qualitative Data. Proceedings of the 1997
IEEE Symposium on Visual Languages. https://doi.org/10.1109/VL.1997.626593
bibtex: '@inproceedings{Dücker_Geiger_Lehrenfeld_Müller_Tahedl_1997, place={Capri,
Italy}, title={A Visual Programming Language for Qualitative Data}, DOI={10.1109/VL.1997.626593},
booktitle={Proceedings of the 1997 IEEE Symposium on Visual Languages}, author={Dücker,
M. and Geiger, Christian and Lehrenfeld, Georg and Müller, Wolfgang and Tahedl,
C.}, year={1997} }'
chicago: Dücker, M., Christian Geiger, Georg Lehrenfeld, Wolfgang Müller, and C.
Tahedl. “A Visual Programming Language for Qualitative Data.” In Proceedings
of the 1997 IEEE Symposium on Visual Languages. Capri, Italy, 1997. https://doi.org/10.1109/VL.1997.626593.
ieee: 'M. Dücker, C. Geiger, G. Lehrenfeld, W. Müller, and C. Tahedl, “A Visual
Programming Language for Qualitative Data,” 1997, doi: 10.1109/VL.1997.626593.'
mla: Dücker, M., et al. “A Visual Programming Language for Qualitative Data.” Proceedings
of the 1997 IEEE Symposium on Visual Languages, 1997, doi:10.1109/VL.1997.626593.
short: 'M. Dücker, C. Geiger, G. Lehrenfeld, W. Müller, C. Tahedl, in: Proceedings
of the 1997 IEEE Symposium on Visual Languages, Capri, Italy, 1997.'
date_created: 2023-01-24T11:51:04Z
date_updated: 2023-01-24T11:51:08Z
department:
- _id: '672'
doi: 10.1109/VL.1997.626593
keyword:
- Computer languages
- Fuzzy control
- Fuzzy sets
- Animation
- Visualization
- Fires
- Application software
- Pattern matching
- Impedance matching
- Domain specific languages
language:
- iso: eng
place: Capri, Italy
publication: Proceedings of the 1997 IEEE Symposium on Visual Languages
publication_identifier:
isbn:
- 0-8186-8144-6
status: public
title: A Visual Programming Language for Qualitative Data
type: conference
user_id: '5786'
year: '1997'
...
---
_id: '39505'
abstract:
- lang: eng
text: '3D-graphics are becoming popular in a steadily increasing number of areas
such as entertainment, scientific visualization, simulation, and virtual reality.
Despite this rapid growth the generation of animated 3D scenes is by no means
trivial. Since animated 3D objects evolve over time the authors denote these objects
as 4D. The article presents a novel approach to the rapid prototyping of 4D models.
They introduce the AAL (Animated Agent Layer) system. AAL is an interpreter-based
approach covering a textual (AAL-PR) as well as a visual command language (AAL-VL)
for the specification of the dynamics in 4D scenes. AAL provides support for different
levels of abstraction: primitives, structured objects, animated objects, and animated
(autonomous) agents.'
author:
- first_name: M.
full_name: Dücker, M.
last_name: Dücker
- first_name: Christian
full_name: Geiger, Christian
last_name: Geiger
- first_name: R.
full_name: Hunstock, R.
last_name: Hunstock
- first_name: Georg
full_name: Lehrenfeld, Georg
last_name: Lehrenfeld
- first_name: Wolfgang
full_name: Müller, Wolfgang
id: '16243'
last_name: Müller
citation:
ama: 'Dücker M, Geiger C, Hunstock R, Lehrenfeld G, Müller W. Visual-Textual Prototyping
of 4D Scenes. In: Proceedings of the 1997 IEEE Symposium on Visual Languages.
; 1997. doi:10.1109/VL.1997.626601'
apa: Dücker, M., Geiger, C., Hunstock, R., Lehrenfeld, G., & Müller, W. (1997).
Visual-Textual Prototyping of 4D Scenes. Proceedings of the 1997 IEEE Symposium
on Visual Languages. 1997 IEEE Symposium on Visual Languages. https://doi.org/10.1109/VL.1997.626601
bibtex: '@inproceedings{Dücker_Geiger_Hunstock_Lehrenfeld_Müller_1997, place={Capri,
Italy}, title={Visual-Textual Prototyping of 4D Scenes}, DOI={10.1109/VL.1997.626601},
booktitle={Proceedings of the 1997 IEEE Symposium on Visual Languages}, author={Dücker,
M. and Geiger, Christian and Hunstock, R. and Lehrenfeld, Georg and Müller, Wolfgang},
year={1997} }'
chicago: Dücker, M., Christian Geiger, R. Hunstock, Georg Lehrenfeld, and Wolfgang
Müller. “Visual-Textual Prototyping of 4D Scenes.” In Proceedings of the 1997
IEEE Symposium on Visual Languages. Capri, Italy, 1997. https://doi.org/10.1109/VL.1997.626601.
ieee: 'M. Dücker, C. Geiger, R. Hunstock, G. Lehrenfeld, and W. Müller, “Visual-Textual
Prototyping of 4D Scenes,” presented at the 1997 IEEE Symposium on Visual Languages,
1997, doi: 10.1109/VL.1997.626601.'
mla: Dücker, M., et al. “Visual-Textual Prototyping of 4D Scenes.” Proceedings
of the 1997 IEEE Symposium on Visual Languages, 1997, doi:10.1109/VL.1997.626601.
short: 'M. Dücker, C. Geiger, R. Hunstock, G. Lehrenfeld, W. Müller, in: Proceedings
of the 1997 IEEE Symposium on Visual Languages, Capri, Italy, 1997.'
conference:
name: 1997 IEEE Symposium on Visual Languages
date_created: 2023-01-24T11:48:57Z
date_updated: 2023-01-24T11:49:01Z
department:
- _id: '672'
doi: 10.1109/VL.1997.626601
keyword:
- Prototypes
- Layout
- Animation
- Command languages
- Application software
- Libraries
- Virtual reality
- Computer graphics
- Hardware
- Context modeling
language:
- iso: eng
place: Capri, Italy
publication: Proceedings of the 1997 IEEE Symposium on Visual Languages
publication_identifier:
isbn:
- 0-8186-8144-6
status: public
title: Visual-Textual Prototyping of 4D Scenes
type: conference
user_id: '5786'
year: '1997'
...