|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 23 occurrences of 14 keywords
|
|
|
|
|
Results
Found 13 publication records. Showing 13 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Frank Zeyda, Marcel Oliveira, Ana Cavalcanti |
Mechanised support for sound refinement tactics.  |
Formal Asp. Comput.  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Marcel Oliveira, Frank Zeyda, Ana Cavalcanti |
A tactic language for refinement of state-rich concurrent specifications. |
Sci. Comput. Program. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jim Woodcock, Marcel Oliveira, Alan Burns, Kun Wei |
Modelling and Implementing Complex Systems with Timebands. |
SSIRI |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Marcel Oliveira, Ana Cavalcanti, Jim Woodcock |
A UTP semantics for Circus. |
Formal Asp. Comput. |
2009 |
DBLP DOI BibTeX RDF |
Concurrency, Theorem proving, Relational model, Refinement calculus |
| 1 | Frank Zeyda, Marcel Oliveira, Ana Cavalcanti |
Supporting ArcAngel in ProofPower. |
Electr. Notes Theor. Comput. Sci. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Marcel Oliveira, Ana Cavalcanti |
ArcAngelC: a Refinement Tactic Language for Circus. |
Electr. Notes Theor. Comput. Sci. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Marcel Oliveira, Ana Cavalcanti, Jim Woodcock |
A Denotational Semantics for Circus. |
Electr. Notes Theor. Comput. Sci. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Marcel Oliveira, Jim Woodcock |
Automatic Generation of Verified Concurrent Hardware. |
ICFEM |
2007 |
DBLP DOI BibTeX RDF |
FPGA, concurrency, refinement, CSP, tool support, program development, Handel-C, automatic compilation |
| 1 | Marcel Oliveira, Ana Cavalcanti, Jim Woodcock |
Unifying Theories in ProofPower-Z. |
UTP |
2006 |
DBLP DOI BibTeX RDF |
Unifying Theories of Programming, theorem prover |
| 1 | Marcel Oliveira, Ana Cavalcanti, Jim Woodcock |
Formal development of industrial-scale systems in Circus. |
ISSE |
2005 |
DBLP DOI BibTeX RDF |
Concurrency, Object-orientation, Refinement, Program development |
| 1 | Marcel Oliveira, Ana Cavalcanti |
From Circus to JCSP. |
ICFEM |
2004 |
DBLP DOI BibTeX RDF |
concurrency, object-orientation, program development |
| 1 | Marcel Oliveira, Manuela Xavier, Ana Cavalcanti |
Refine and Gabriel: Support for Refinement and Tactics. |
SEFM |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Marcel Oliveira, Ana Cavalcanti, Jim Woodcock |
ArcAngel: a Tactic Language for Refinement. |
Formal Asp. Comput. |
2003 |
DBLP DOI BibTeX RDF |
ensp, Formal methods, Refinement calculus, Program development |
Displaying result #1 - #13 of 13 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")