|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
No Growbag Graphs found.
|
|
|
|
|
Results
Found 18 publication records. Showing 18 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Yliès Falcone, Jean-Claude Fernandez, Laurent Mounier |
On the Expressiveness of some Runtime Validation Techniques.  |
HOWARD-60  |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Timothy L. Hinrichs, A. Prasad Sistla, Lenore D. Zuck |
Model Check What You Can, Runtime Verify the Rest. |
HOWARD-60 |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Murdoch James Gabbay |
Stone duality for first-order logic: a nominal approach to logic and topology. |
HOWARD-60 |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Marta Z. Kwiatkowska, David Parker 0001, Hongyang Qu 0001, Mateusz Ujma |
On Incremental Quantitative Verification for Probabilistic Systems. |
HOWARD-60 |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Clare Dixon, Michael Fisher 0001 |
On and On the Temporal Way. |
HOWARD-60 |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Doron A. Peled, Sven Schewe |
Distributed Control Synthesis. |
HOWARD-60 |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Leo Freitas, Cliff B. Jones, Andrius Velykis |
Can a system learn from interactive proofs? |
HOWARD-60 |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Klaus Havelund |
Closing the Gap Between Specification and Programming: VDM++ and Scala. |
HOWARD-60 |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Graham M. Birtwistle, Kenneth S. Stevens |
A Design Space and its Patterns: Modelling 2phase Asynchronous Pipelines. |
HOWARD-60 |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Gabbay 0001 |
A simple and complete model theory for intensional and extensional untyped λ-equality. |
HOWARD-60 |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Ronald Middelkoop, Cornelis Huizing, Ruurd Kuiper 0001, Erik J. Luit |
Pandora's Box. |
HOWARD-60 |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Abraham, Dov M. Gabbay, Uri J. Schild |
The Handling of Loops in Talmudic Logic, with Application to Odd and Even Loops in Argumentation. |
HOWARD-60 |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Philip J. Armstrong, Gavin Lowe, Joël Ouaknine, Bill Roscoe |
Model checking Timed CSP. |
HOWARD-60 |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Klaus Havelund |
Howard Barringer: the Man who Invented the Past. |
HOWARD-60 |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Simon Thompson |
Extended Abstract: Getting Engaged. |
HOWARD-60 |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Colin Stirling |
A Tableau Proof System with Names for Modal Mu-calculus. |
HOWARD-60 |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Howard Bowman, Li Su 0002 |
Cognition, Concurrency Theory and Reverberations in the Brain: in Search of a Calculus of Communicating (Recurrent) Neural Systems. |
HOWARD-60 |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | David E. Rydeheard, Jesús Héctor Domínguez Sánchez |
A note on first-order reasoning for minimum models. |
HOWARD-60 |
2014 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #18 of 18 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license