Author of the publication

Towards Formalizing Behavioral Substitutability in Component Frameworks.

, , and . SEFM, page 122-131. IEEE Computer Society, (2004)

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

An approach based on feature models and quality criteria for adapting component-based systems., , , , and . J. Softw. Eng. Res. Dev., (2015)Knowledge Management by Reusing Experience (Short Paper)., and . EKAW, volume 1937 of Lecture Notes in Computer Science, page 304-311. Springer, (2000)Tackling high variability in video surveillance systems through a model transformation approach., , , and . MiSE@ICSE, page 44-49. IEEE Computer Society, (2009)Intelligent monitoring of software components.. RAISE@ICSE, page 17-21. IEEE, (2012)A Formal Probabilistic Model of the Inhibitory Control Circuit in the Brain., , , , and . BIOINFORMATICS, page 146-154. SCITEPRESS, (2023)Réutilisation et générateurs de systèmes à base de connaissances : le framework BLOCKS (Reuse and knowledge based systems : the BLOCKS Framework).. Technique et Science Informatiques, 20 (4): 513-538 (2001)Knowledge-based control of vision systems., , , , and . Image Vis. Comput., 17 (9): 667-683 (1999)An Approach for Managing Quality Attributes at Runtime Using Feature Models., , , , and . SBCARS, page 11-20. IEEE Computer Society, (2014)Knowledge Modeling of Program Supervision Task., , and . IEA/AIE (Vol. 1), volume 1415 of Lecture Notes in Computer Science, page 124-133. Springer, (1998)A Model-based Approach to the Verification of Program Supervision Systems., , and . EUROVAV, page 231-241. Katholieke Universiteit Leuven, Belgium, (1997)