Author of the publication

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

Computer Aided Prototyping System., , and . SEKE, page 499. Knowledge Systems Institute, (1995)Genetic Algorithms for the Development of Real-Time Multi-Heuristic Search Strategies., and . ICGA, page 565-572. Morgan Kaufmann, (1993)Rapid runtime system verification using automatic source code instrumentation., , and . SoSE, page 1-6. IEEE, (2011)Cloud to cloud interoperability., , , and . SoSE, page 258-263. IEEE, (2011)Verification and Validation for Trustworthy Software Systems., , , and . IEEE Software, 28 (6): 86-92 (2011)Creation and evaluation of formal specifications for system-of-systems development., and . SMC, page 1864-1869. IEEE, (2005)Hazard Analysis and Validation Metrics Framework for System of Systems Software Safety., , , and . IEEE Syst. J., 4 (2): 186-197 (2010)Architectural Re-engineering of Janus using Object Modeling and Rapid Prototyping., , , , and . Des. Autom. Embed. Syst., 5 (3-4): 251-263 (2000)Environment behavior models for automation of testing and assessment of system safety., , and . Inf. Softw. Technol., 48 (10): 971-980 (2006)On Optimal Guillotine Partitions Approximating Optimal D-box Partitions., , , and . Comput. Geom., (1994)