Sciweavers

Share
NFM
2014
4 years 3 months ago
DO-333 Certification Case Studies
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...
Darren D. Cofer, Steven M. Miller
FORTE
2013
5 years 1 months ago
Analyzing Interactions of Asynchronously Communicating Software Components - (Invited Paper)
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...
Tevfik Bultan
FORMATS
2013
Springer
6 years 2 months ago
Precise Robustness Analysis of Time Petri Nets with Inhibitor Arcs
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 ...
Étienne André, Giuseppe Pellegrino, Laur...
TOCL
2012
235views Formal Methods» more  TOCL 2012»
7 years 9 months ago
Topological and Simplicial Models of Identity Types
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...
Benno van den Berg, Richard Garner
TOCL
2012
233views Formal Methods» more  TOCL 2012»
7 years 9 months ago
On the Expressive Power of Multiple Heads in CHR
Cinzia Di Giusto, Maurizio Gabbrielli, Maria Chiar...
TOCL
2012
202views Formal Methods» more  TOCL 2012»
7 years 9 months ago
Reachability Problems in Piecewise FIFO Systems
Naghmeh Ghafari, Arie Gurfinkel, Nils Klarlund, Ri...
TOCL
2012
241views Formal Methods» more  TOCL 2012»
7 years 9 months ago
Model Checking of Recursive Probabilistic Systems
Kousha Etessami, Mihalis Yannakakis
TKDE
2012
270views Formal Methods» more  TKDE 2012»
7 years 9 months ago
Low-Rank Kernel Matrix Factorization for Large-Scale Evolutionary Clustering
—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...
Lijun Wang, Manjeet Rege, Ming Dong, Yongsheng Din...
TKDE
2012
245views Formal Methods» more  TKDE 2012»
7 years 9 months ago
Semi-Supervised Maximum Margin Clustering with Pairwise Constraints
—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...
Hong Zeng, Yiu-ming Cheung
books