Search Sciweavers | Sciweavers

1109 search results - page 16 / 222

» Software verification for TinyOS

116

click to vote

ICST
2010
IEEE

112views Software Engineering» more ICST 2010»

Challenges with Software Verification and Validation Activities in the Space Industry

15 years 2 months ago

Download www.cse.chalmers.se

Robert Feldt, Richard Torkar, Ehsan Ahmad, Bilal R...

claim paper

Read More »

136

click to vote

SIGSOFT
2009
ACM

91views Software Engineering» more SIGSOFT 2009»

Behavioral automata composition for automatic topology independent verification of parameterized systems

16 years 5 months ago

Download goedel.cs.uiowa.edu

Youssef Hanna, Samik Basu, Hridesh Rajan

claim paper

Read More »

116

click to vote

SEFM
2009
IEEE

151views Software Engineering» more SEFM 2009»

Completeness of Pointer Program Verification by Separation Logic

15 years 11 months ago

Download research.nii.ac.jp

Makoto Tatsuta, Wei-Ngan Chin, Mahmudul Faisal Al ...

claim paper

Read More »

112

click to vote

KBSE
2008
IEEE

128views Software Engineering» more KBSE 2008»

Architecture support for runtime integration and verification of component-based Systems of Systems

15 years 11 months ago

Download swerl.tudelft.nl

Alberto González 0002, Éric Piel, Ha...

claim paper

Read More »

110

click to vote

ICSEA
2007
IEEE

92views Software Engineering» more ICSEA 2007»

Verification Algorithm of Evidence Life Cycles in Extended UML Activity Diagrams

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers