Search Sciweavers | Sciweavers

194 search results - page 7 / 39

» Rule-Based Runtime Verification

click to vote

FROCOS
2009
Springer

133views Control Systems» more FROCOS 2009»

Runtime Verification Using a Temporal Description Logic

14 years 4 months ago

Download disi.unitn.it

Franz Baader, Andreas Bauer 0002, Marcel Lippmann

claim paper

Read More »

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

14 years 4 months ago

Download swerl.tudelft.nl

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

claim paper

Read More »

click to vote

RV
2007
Springer

100views Hardware» more RV 2007»

Towards a Tool for Generating Aspects from MEDL and PEDL Specifications for Runtime Verification

14 years 3 months ago

Download www.cs.utep.edu

Omar Ochoa, Irbis Gallegos, Steve Roach, Ann Q. Ga...

claim paper

Read More »

click to vote

SEW
2006
IEEE

108views Software Engineering» more SEW 2006»

An Eclipse Plug-in for the Java PathFinder Runtime Verification System

14 years 3 months ago

Download essere.disco.unimib.it

Francesca Arcelli Fontana, Claudia Raibulet, Ivano...

claim paper

Read More »

click to vote

TAICPART
2006
IEEE

104views Education» more TAICPART 2006»

Enabling Run-Time System Verification through Built-In Testing

14 years 3 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers