Author of the publication

Requirements Specification and Automated Evaluation of Dynamic Properties of a Component-Based Design.

, , and . AID, page 547-570. Springer, (2002)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Modeling Human Behavior in Human-Robot Interactions., , , and . HRI, page 1296-1297. IEEE / ACM, (2022)Development and Application of Rich Cognitive Models and the Role of Agent-Based Simulation for Policy Making.. Web Intelligence, page 3. IEEE Computer Society, (2011)Diagnosis of the Dynamics within an Organization by Trace Checking of Behavioural Requirements., , and . AOSE, volume 2222 of Lecture Notes in Computer Science, page 17-32. Springer, (2001)Automated Configuration of Negotiation Strategies., , and . AAMAS, page 1116-1124. International Foundation for Autonomous Agents and Multiagent Systems, (2020)The Fundamental Principle of Coactive Design: Interdependence Must Shape Autonomy., , , , , and . COIN@AAMAS&MALLOW, volume 6541 of Lecture Notes in Computer Science, page 172-191. Springer, (2010)Shared Mental Models - A Conceptual Analysis., , and . COIN@AAMAS&MALLOW, volume 6541 of Lecture Notes in Computer Science, page 132-151. Springer, (2010)Does Personalization Help? Predicting How Social Situations Affect Personal Values., , and . HHAI, volume 354 of Frontiers in Artificial Intelligence and Applications, page 157-170. IOS Press, (2022)HyEnA: A Hybrid Method for Extracting Arguments from Opinions., , , , , and . HHAI, volume 354 of Frontiers in Artificial Intelligence and Applications, page 17-31. IOS Press, (2022)Building Appropriate Trust in AI: The Significance of Integrity-Centered Explanations., , , and . HHAI, volume 368 of Frontiers in Artificial Intelligence and Applications, page 436-439. IOS Press, (2023)The Windmill Method for Setting up Support for Resolving Sparse Incidents in Communication Networks., , and . CASoN, page 137-142. IEEE Computer Society, (2009)