|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 31 occurrences of 24 keywords
|
|
|
|
|
Results
Found 27 publication records. Showing 27 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Abigail Parisaca Vargas, Ana Gabriela Garis, Silvia Lizeth Tapia Tarifa, Chris George |
Model Checking LTL Formulae in RAISE with FDR.  |
IFM  |
2009 |
DBLP DOI BibTeX RDF |
model checking, formal methods, refinement, tools, CSP, LTL, FDR, RAISE, RSL |
| 1 | Chris George, Anne Elisabeth Haxthausen |
Specification, proof, and model checking of the Mondex electronic purse using RAISE. |
Formal Asp. Comput. |
2008 |
DBLP DOI BibTeX RDF |
Verification, Formal methods, PVS, SAL, RAISE, Mondex |
| 1 | Abigail Parisaca Vargas, Silvia Lizeth Tapia Tarifa, Chris George |
A Translation from RSL to CSP. |
SCCC |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Juan Ignacio Perna, Chris George |
Model Checking RAISE Applicative Specifications. |
SEFM |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Chris George, Padmanabhan Krishnan, Percy Antonio Pari Salas, Jeff W. Sanders |
Specification for Testing. |
Formal Methods and Hybrid Real-Time Systems |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Chris George, Zhiming Liu, Jim Woodcock (eds.) |
Domain Modeling and the Duration Calculus, International Training School, Shanghai, China, September 17-21. 2007, Advanced Lectures |
Domain Modeling and the Duration Calculus |
2007 |
DBLP BibTeX RDF |
|
| 1 | Chris George |
Applicative Modelling with RAISE. |
Domain Modeling and the Duration Calculus |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Bernhard K. Aichernig, Chris George |
When Model-based Testing Fails. |
Electr. Notes Theor. Comput. Sci. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Satyajit Acharya, Chris George, Hrushikesha Mohanty |
Domain Consistency in Requirements Specification. |
QSIC |
2005 |
DBLP DOI BibTeX RDF |
Consistency Conditions, Testing, Specification, RAISE, RSL |
| 1 | Chris George |
Tutorial on the RAISE Language, Method and Tools. |
ICFEM |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Aristides Dasso, Chris George |
Automating software development by cross-utilization of specification tools. |
IASTED Conf. on Software Engineering and Applications |
2004 |
DBLP BibTeX RDF |
|
| 1 | Satyajit Acharya, Chris George, Hrushikesha Mohanty |
Specifying a Mobile Computing Infrastructure and Services. |
ICDCIT |
2004 |
DBLP DOI BibTeX RDF |
Mobicharts, Mobile Computing, Testing, Specification, RSL |
| 1 | Dines Bjørner, Chris George, Anne Elisabeth Haxthausen, Christian Krog Madsen, Steffen Holmslykke, Martin Pnika |
"UML-ising' Formal Techniques. |
SoftSpez Final Report |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Chris George, Anne Elisabeth Haxthausen |
The Logic of the RAISE Specification Language. |
Computers and Artificial Intelligence |
2003 |
DBLP BibTeX RDF |
|
| 1 | Yanjie Wang, Chris George |
Supporting Collaborative Design. |
FMOODS |
2002 |
DBLP BibTeX RDF |
|
| 1 | Chris George, Huaikou Miao (eds.) |
Formal Methods and Software Engineering, 4th International Conference on Formal Engineering Methods, ICFEM 2002 Shanghai, China, October 21-25, 2002, Proceedings |
ICFEM |
2002 |
DBLP BibTeX RDF |
|
| 1 | Chris George |
The Development of the RAISE Tools. |
10th Anniversary Colloquium of UNU/IIST |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Li Shuguang, Jiang Qing, Chris George |
Combining case-based and model-based reasoning: a formal specification. |
APSEC |
2000 |
DBLP DOI BibTeX RDF |
generalised design information, rule language, formal specification, formal specification, data structures, retrieval, selection, case-based reasoning, case-based reasoning, model-based reasoning, model-based reasoning, intelligent design assistants, abstraction mechanism |
| 1 | Xia Yong, Chris George |
An Operational Semantics for Timed RAISE. |
World Congress on Formal Methods |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Chris George, Do Tien Dung |
Combining and Distributing Hierarchical Systems. |
Requirements Targeting Software and Systems Engineering |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Chris George |
A Theory of Distributing Train Rescheduling. |
FME |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Anne Elisabeth Haxthausen, Chris George |
A Concurrency Case Study Using RAISE. |
FME |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Chris George |
The NDB Database Specified in the RAISE Specification Language. |
Formal Asp. Comput. |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Chris George |
The RAISE Specification Langiage: A Tutorial. |
VDM Europe |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | Mogens Nielsen, Klaus Havelund, Kim Ritter Wagner, Chris George |
The RAISE Language, Method and Tools. |
Formal Asp. Comput. |
1989 |
DBLP DOI BibTeX RDF |
|
| 1 | Mogens Nielsen, Klaus Havelund, Kim Ritter Wagner, Chris George |
The RAISE Language, Method and Tools. |
VDM Europe |
1988 |
DBLP DOI BibTeX RDF |
|
| 1 | Chris George |
Heap Storage Specification and Development. |
VDM Europe |
1987 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #27 of 27 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")