|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 4 occurrences of 4 keywords
|
|
|
|
|
Results
Found 4 publication records. Showing 4 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Arup K. Ghosh, Faraz Hussain, Sumit Kumar Jha, Christopher James Langmead, Susmit Jha |
Decision procedure based discovery of rare behaviors in Stochastic Differential Equation models of biological systems.  |
ICCABS  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Faraz Hussain, Raj Gautam Dutta, Sumit Kumar Jha, Christopher James Langmead, Susmit Jha |
Parameter discovery for stochastic biological models against temporal behavioral specifications using an SPRT based Metric for simulated annealing. |
ICCABS |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Faraz Hussain, Gary T. Leavens |
temporaljmlc: A JML Runtime Assertion Checker Extension for Specification and Checking of Temporal Properties. |
SEFM |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Ghaith Haddad, Faraz Hussain, Gary T. Leavens |
The design of SafeJML, a specification language for SCJ with support for WCET specification. |
JTRES |
2010 |
DBLP DOI BibTeX RDF |
SafeJML, java modeling language (JML), safety critical Java (SCJ), performance, WCET, timing behavior, duration |
Displaying result #1 - #4 of 4 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")