Search Sciweavers | Sciweavers

2687 search results - page 48 / 538

» Formal Analysis of PKCS

112

click to vote

SEKE
2005
Springer

98views Software Engineering» more SEKE 2005»

Formal Analysis of Workflow Systems with Security Considerations

15 years 11 months ago

Download www.jaist.ac.jp

Weiqiang Kong, Kazuhiro Ogata, Kokichi Futatsugi

claim paper

Read More »

139

click to vote

SAFECOMP
2004
Springer

73views Security Privacy» more SAFECOMP 2004»

Modular Formal Analysis of the Central Guardian in the Time-Triggered Architecture

15 years 11 months ago

Download www.uni-ulm.de

Holger Pfeifer, Friedrich W. von Henke

claim paper

Read More »

156

click to vote

SPIN
2004
Springer

112views Theoretical Computer Science» more SPIN 2004»

Formal Analysis of Processor Timing Models

15 years 11 months ago

Download spinroot.com

Hard real-time systems need methods to determine upper bounds for their execution times, usually called worst-case execution

Reinhard Wilhelm

claim paper

Read More »

122

click to vote

ICFEM
2003
Springer

102views Software Engineering» more ICFEM 2003»

A Relational Model for Formal Object-Oriented Requirement Analysis in UML

15 years 11 months ago

Download www.iist.unu.edu

Zhiming Liu, Jifeng He, Xiaoshan Li, Yifeng Chen

claim paper

Read More »

108

click to vote

DSD
2002
IEEE

95views Hardware» more DSD 2002»

Reachability Analysis for Formal Verification of SystemC

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers