Search Sciweavers | Sciweavers

5255 search results - page 290 / 1051

» Formal Methods for Privacy

143

click to vote

CAV
2009
Springer

123views Hardware» more CAV 2009»

Generating and Analyzing Symbolic Traces of Simulink/Stateflow Models

16 years 7 months ago

Download www.cis.upenn.edu

Aditya Kanade, Rajeev Alur, Franjo Ivancic, S. Ram...

claim paper

Read More »

144

click to vote

FM
2009
Springer

90views Formal Methods» more FM 2009»

Fair Model Checking with Process Counter Abstraction

16 years 1 months ago

Download www.comp.nus.edu.sg

Jun Sun 0001, Yang Liu 0003, Abhik Roychoudhury, S...

claim paper

Read More »

141

click to vote

MEMOCODE
2007
IEEE

116views Formal Methods» more MEMOCODE 2007»

Software/Hardware Engineering with the Parallel Object-Oriented Specification Language

16 years 1 months ago

Download www.ics.ele.tue.nl

Bart D. Theelen, Oana Florescu, Marc Geilen, Jinfe...

claim paper

Read More »

186

click to vote

CAV
2005
Springer

101views Hardware» more CAV 2005»

Algorithmic Algebraic Model Checking I: Challenges from Systems Biology

16 years 24 days ago

Download cs.nyu.edu

Carla Piazza, Marco Antoniotti, Venkatesh Mysore, ...

claim paper

Read More »

148

click to vote

SFM
2005
Springer

97views Formal Methods» more SFM 2005»

Dealing with Node Mobility in Ad Hoc Wireless Network

16 years 22 days ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers