Analysis of Dynamic Social and Technological Networks (Dagstuhl Seminar 11452) Coding Theory (Dagstuhl Seminar 11461)
Holger Giese, Bernhard Rumpe, Bernhard Schätz, Janos Sztipanovits, Lars Elden, Andreas, Vito Latora, Cecilia Mascolo, Mirco, Joachim Rosenthal, M Shokrollahi, Judy
2011
Science and Engineering of Cyber-Physical Systems
unpublished
We recently proposed a formulation for the Requirements Problem of SAS (revisiting foundational work by Zave et. al., TOSEM'97, and a more recent one by Jureta et al., RE'08), as a dynamic problem (Qureshi ...
This motivates our interest in M@RT, and especially in continuous re-appraisal of requirements at run-time, which calls for effective and light-way methods for model representation and reasoning at run-time ...
size polynomial in n, obtained by the symmetrization of a general program, which itself can be viewed as the Lovász theta number of a certain graph [3] . ...
fatcat:bwnjnbq2bjbolk52twaysozyxu