NFM
2014
8 years 1 months ago
2014
Abstract. RTCA DO-333, Formal Methods Supplement to DO-178C and DO278A, provides guidance for software developers wishing to use formal methods in the certification of airborne sys...
FORTE
2013
8 years 11 months ago
2013
Abstract. Since software systems are becoming increasingly more concurrent and distributed, modeling and analysis of interactions among their components is a crucial problem. In se...
FMICS
2013
Springer
8 years 11 months ago
2013
Springer
FORMATS
2013
Springer
10 years 1 days ago
2013
Springer
Quantifying the robustness of a real-time system consists in measuring the maximum extension of the timing delays such that the system still satisfies its specification. In this ...
TOCL
2012
11 years 7 months ago
2012
racting these leads us to introduce the notion of a path object category. This is a relatively simple axiomatic framework, which is nonetheless sufficiently strong to allow the con...
TOCL
2012
11 years 7 months ago
2012
TOCL
2012
11 years 7 months ago
2012
TOCL
2012
11 years 7 months ago
2012
TKDE
2012
11 years 7 months ago
2012
—Traditional clustering techniques are inapplicable to problems where the relationships between data points evolve over time. Not only is it important for the clustering algorith...
TKDE
2012
11 years 7 months ago
2012
—The pairwise constraints specifying whether a pair of samples should be grouped together or not have been successfully incorporated into the conventional clustering methods such...