|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 12 occurrences of 7 keywords
|
|
|
|
|
Results
Found 10 publication records. Showing 10 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Pablo F. Castro, Cecilia Kilmurray, Araceli Acosta, Nazareno Aguirre |
dCTL: A Branching Time Temporal Logic for Fault-Tolerant System Verification.  |
SEFM  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Pablo F. Castro, Nazareno Aguirre, Carlos Gustavo López Pombo, T. S. E. Maibaum |
Towards Managing Dynamic Reconfiguration of Software Systems in a Categorical Setting. |
ICTAC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Pablo F. Castro, T. S. E. Maibaum |
Characterizing Locality (Encapsulation) with Bisimulation. |
ICTAC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Pablo F. Castro, T. S. E. Maibaum |
Towards a First-Order Deontic Action Logic. |
WADT |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Pablo F. Castro, T. S. E. Maibaum |
Deontic Logic, Contrary to Duty Reasoning and Fault Tolerance. |
Electr. Notes Theor. Comput. Sci. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Pablo F. Castro, T. S. E. Maibaum |
Deontic action logic, atomic boolean algebras and fault-tolerance. |
J. Applied Logic |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Pablo F. Castro, T. S. E. Maibaum |
Reasoning about System-Degradation and Fault-Recovery with Deontic Logic. |
Methods, Models and Tools for Fault Tolerance |
2009 |
DBLP DOI BibTeX RDF |
Fault-Tolerance, Formal Specification, Software Design, Deontic Logics |
| 1 | Pablo F. Castro, T. S. E. Maibaum |
A Tableaux System for Deontic Action Logic. |
DEON |
2008 |
DBLP DOI BibTeX RDF |
Deontic Action Logic, Tableaux Systems, Fault-tolerance, Modal Logic, Software Specification |
| 1 | Pablo F. Castro, T. S. E. Maibaum |
An ought-to-do deontic logic for reasoning about fault-tolerance: the diarrheic philosophers. |
SEFM |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Pablo F. Castro, T. S. E. Maibaum |
A Complete and Compact Propositional Deontic Logic. |
ICTAC |
2007 |
DBLP DOI BibTeX RDF |
Fault tolerance, Temporal Logic, Modal Logic, Software Specification, Deontic Logic |
Displaying result #1 - #10 of 10 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")