Sciweavers

Share
TASE
2007
IEEE
9 years 4 months ago
Dynamics of Control
Jeff W. Sanders, Matteo Turilli
TASE
2007
IEEE
9 years 4 months ago
A Certified Thread Library for Multithreaded User Programs
Yu Guo, Xinyu Jiang, Yiyun Chen, Chunxiao Lin
TASE
2007
IEEE
9 years 4 months ago
Model Checking Software at Compile Time
Software has been under scrutiny by the verification community from various angles in the recent past. There are two major algorithmic approaches to ensure the correctness of and...
Ansgar Fehnker, Ralf Huuck, Patrick Jayet, Michel ...
TASE
2007
IEEE
9 years 4 months ago
Commutability of Design Pattern Instantiation and Integration
Design patterns capture expert design experience in generic design structure and behavior. A design pattern needs to be instantiated before using. It can be integrated with other ...
Jing Dong, Tu Peng, Zongyan Qiu
TASE
2007
IEEE
9 years 4 months ago
Varieties of Static Analyzers: A Comparison with ASTREE
Patrick Cousot, Radhia Cousot, Jérôme...
TASE
2007
IEEE
9 years 4 months ago
Design of a Certifying Compiler Supporting Proof of Program Safety
Safety is an important property of high-assurance software, and one of the hot research topics on it is the verification method for software to meet its safety policies. In our p...
Yiyun Chen, Lin Ge, Baojian Hua, Zhaopeng Li, Chen...
TASE
2007
IEEE
9 years 4 months ago
Synthesis Of Optimal-Cost Dynamic Observers for Fault Diagnosis of Discrete-Event Systems
Fault diagnosis consists in synthesizing a diagnoser that observes a given plant through a set of observable events, and identifies faults which are not observable as soon as pos...
Franck Cassez, Stavros Tripakis, Karine Altisen
TASE
2007
IEEE
9 years 4 months ago
Constraint-Based Policy Negotiation and Enforcement for Telco Services
Telco services are evolving under several aspects: for instance, services may combine different telecommunication features (messaging, multi-media, etc.) and may be activated and...
Maria Grazia Buscemi, Laura Ferrari, Corrado Moiso...
TASE
2007
IEEE
9 years 4 months ago
A Logical Framework for Monitoring and Evolving Software Components
Howard Barringer, David E. Rydeheard, Dov M. Gabba...
books