Author of the publication

Providing Early Feedback in the Development Cycle Through Automated Application of Model Checking to Software Architectures.

, , and . ASE, page 341-345. IEEE Computer Society, (2001)

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

Early Multi-Level Software Architecture Performance Evaluations., , and . SEKE, page 561-569. (2003)Design of an experience-based assembly sequence planner for mechanical assemblies., , and . Robotica, 16 (3): 265-283 (1998)Empirical Analysis for Agent System Comprehension and Verification., , and . IAT, page 723-729. IEEE Computer Society, (2006)Identifying Optimal Jobs to Work On: The Role of Attitude in Job Selection., , and . IAT, page 356-362. IEEE Computer Society, (2007)Enabling Iterative Software Architecture Derivation Using Early Non-Functional Property Evaluation., , and . ASE, page 172-182. IEEE Computer Society, (2002)Representing Technology to Promote Reuse in the Software Design Process., and . ASE, page 285-288. IEEE Computer Society, (2000)Conflict detection during plan integration for multi-agent systems., , and . IEEE Trans. Systems, Man, and Cybernetics, Part B, 31 (4): 616-628 (2001)Analysis of human communication during assembly tasks., and . ICRA, page 1524-1529. IEEE, (1987)Application of Action Selection, Information Gathering, and Information Evaluation Technologies to UAV Target Tracking., , , and . DAMAS, volume 3890 of Lecture Notes in Computer Science, page 66-79. Springer, (2005)Security applications of trust in multi-agent systems., and . Journal of Computer Security, 19 (1): 57-99 (2011)