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

FDIR Architectures for Autonomous Spacecraft: Specification and Assessment with Event-B., , and . ABZ, volume 5238 of Lecture Notes in Computer Science, page 358. Springer, (2008)Deriving Safety Software Requirements from an AltaRica System Model., , , and . SAFECOMP, volume 5219 of Lecture Notes in Computer Science, page 320-331. Springer, (2008)Combination of Fault Tree Analysis and Model Checking for Safety Assessment of Complex System., , and . EDCC, volume 2485 of Lecture Notes in Computer Science, page 19-31. Springer, (2002)Perception Strategy for a Surveillance System., , , , , and . ECAI, page 627-631. John Wiley and Sons, (1998)FDIR Strategies for Autonomous Satellite Formations - A Preliminary Report., , , , and . AAAI Fall Symposium: Spacecraft Autonomy, volume FS-06-07 of AAAI Technical Report, page 35-42. AAAI Press, (2006)Dealing with Uncertainty in Situation Assessment: towards a Symbolic Approach, , and . CoRR, (2013)Safe Allocation of Avionics Shared Resources., , , , and . HASE, page 25-33. IEEE Computer Society, (2005)First Order C-Cubes for the Interpretation of Petri Nets: An Application to Dynamic Scene Understanding., , and . ICTAI, page 366-373. IEEE Computer Society, (1996)Dealing with Uncertainty in Situation Assessment: towards a Symbolic Approach., , and . UAI, page 61-68. Morgan Kaufmann, (1998)