Search Sciweavers | Sciweavers

290 search results - page 9 / 58

» entcs 2006

108

click to vote

ENTCS
2006

119views more ENTCS 2006»

Cloning and Expanding Graph Transformation Rules for Refactoring

15 years 4 months ago

Download tfs.cs.tu-berlin.de

Berthold Hoffmann, Dirk Janssens, Niels Van Eetvel...

claim paper

Read More »

click to vote

ENTCS
2006

100views more ENTCS 2006»

Quantitative Analysis With the Probabilistic Model Checker PRISM

15 years 4 months ago

Download www.prismmodelchecker.org

Marta Z. Kwiatkowska, Gethin Norman, David Parker

claim paper

Read More »

click to vote

ENTCS
2006

107views more ENTCS 2006»

Monitoring Interfaces for Faults

15 years 4 months ago

Download cs.nyu.edu

Amir Pnueli, Aleksandr Zaks, Lenore D. Zuck

claim paper

Read More »

105

click to vote

ENTCS
2006

131views more ENTCS 2006»

Automatic Parameterisation of Stochastic Petri Net Models of Biological Networks

15 years 4 months ago

Download www.cs.ncl.ac.uk

Oliver Shaw, L. Jason Steggles, Anil Wipat

claim paper

Read More »

click to vote

ENTCS
2006

132views more ENTCS 2006»

A Domain-Specific Language for Generating Dataflow Analyzers

15 years 4 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers