58 search results - page 8 / 12 » Automated analysis of compositional multi-agent systems |
163
Voted
DATE
2008
IEEE
16 years 8 days ago
2008
IEEE
Failure Mode and Effects Analysis (FMEA) is a wellknown technique widely used for safety assessment in the area of safety-critical systems. However, FMEA is traditionally done man...
162
Voted
FM
2005
Springer
15 years 11 months ago
2005
Springer
This paper presents an automated and compositional procedure to solve the substitutability problem in the context of evolving software systems. Our solution contributes two techniq...
164
Voted
TSMC
2010
15 years 15 days ago
2010
Abstract--It is critical to use automated generators for synthetic models and data, given the sparsity of benchmark models for empirical analysis and the cost of generating models ...
144
Voted
DAC
2003
ACM
16 years 6 months ago
2003
ACM
Exploring a large portion of the microprocessor design space requires the rapid development of efficient simulators. While some systems support rapid model development through the...
161
Voted
CCS
2008
ACM
15 years 7 months ago
2008
ACM
This paper presents the first type system for statically analyzing security protocols that are based on zero-knowledge proofs. We show how several properties offered by zero-knowl...