![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
Chris George
Person information
Refine list
![note](https://dblp.uni-trier.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
Journal Articles
- 2021
- [j9]Juan Luis Lechuga-Crespo
, Sabine Sauvage, Estilita Ruiz-Romera, Chris George, José-Miguel Sánchez-Pérez:
SWATLitho: A hydrogeochemical model to estimate daily geochemical loads at the catchment scale. Environ. Model. Softw. 135: 104893 (2021) - [j8]Javier Senent-Aparicio
, Chris George, Raghavan Srinivasan:
Introducing a new post-processing tool for the SWAT+ model to evaluate environmental flows. Environ. Model. Softw. 136: 104944 (2021) - 2020
- [j7]Celray James Chawanda
, Chris George, Wim Thiery
, Ann van Griensven
, Jaclyn Tech, Jeffrey Arnold, Raghavan Srinivasan:
User-friendly workflows for catchment modelling: Towards reproducible SWAT+ model studies. Environ. Model. Softw. 134: 104812 (2020) - 2016
- [j6]Yihun T. Dile
, Prasad Daggupati
, Chris George, Raghavan Srinivasan
, Jeffrey G. Arnold:
Introducing a new open source GIS user interface for the SWAT model. Environ. Model. Softw. 85: 129-138 (2016) - 2013
- [j5]Juan Ignacio Perna, Chris George:
Model checking RAISE applicative specifications. Formal Aspects Comput. 25(3): 365-388 (2013) - 2008
- [j4]Chris George, Anne E. Haxthausen
:
Specification, proof, and model checking of the Mondex electronic purse using RAISE. Formal Aspects Comput. 20(1): 101-116 (2008) - 2003
- [j3]Chris George, Anne E. Haxthausen:
The Logic of the RAISE Specification Language. Comput. Artif. Intell. 22(3-4): 323-350 (2003) - 1992
- [j2]Chris George:
The NDB Database Specified in the RAISE Specification Language. Formal Aspects Comput. 4(1): 48-75 (1992) - 1989
- [j1]Mogens Nielsen, Klaus Havelund, Kim Ritter Wagner, Chris George:
The RAISE Language, Method and Tools. Formal Aspects Comput. 1(1): 85-114 (1989)
Conference and Workshop Papers
- 2012
- [c23]Wen Chen, Asif Iqbal, Akbar Abdrakhmanov, Jay Parlar, Chris George, Mark Lawford, Tom Maibaum, Alan Wassyng:
Large-Scale Enterprise Systems: Changes and Impacts. ICEIS 2012: 274-290 - [c22]Wen Chen, Asif Iqbal, Akbar Abdrakhmanov, Jay Parlar, Chris George, Mark Lawford, T. S. E. Maibaum, Alan Wassyng:
Change Impact Analysis for Large-scale Enterprise Systems. ICEIS (2) 2012: 359-368 - 2009
- [c21]Abigail Parisaca Vargas, Ana Gabriela Garis, Silvia Lizeth Tapia Tarifa, Chris George:
Model Checking LTL Formulae in RAISE with FDR. IFM 2009: 231-245 - 2008
- [c20]Abigail Parisaca Vargas, Silvia Lizeth Tapia Tarifa, Chris George:
A Translation from RSL to CSP. SCCC 2008: 119-126 - 2007
- [c19]Chris George:
Applicative Modelling with RAISE. Domain Modeling and the Duration Calculus 2007: 51-118 - [c18]Chris George, Padmanabhan Krishnan, Percy Antonio Pari Salas, Jeff W. Sanders:
Specification for Testing. Formal Methods and Hybrid Real-Time Systems 2007: 280-299 - [c17]Juan Ignacio Perna, Chris George:
Model Checking RAISE Applicative Specifications. SEFM 2007: 257-268 - 2006
- [c16]Bernhard K. Aichernig
, Chris George:
When Model-based Testing Fails. MBT 2006: 115-128 - 2005
- [c15]Satyajit Acharya, Chris George, Hrushikesha Mohanty:
Domain Consistency in Requirements Specification. QSIC 2005: 231-240 - 2004
- [c14]Dines Bjørner, Chris George, Anne E. Haxthausen, Christian Krog Madsen, Steffen Holmslykke, Martin Pnika:
"UML-ising' Formal Techniques. SoftSpez Final Report 2004: 423-450 - [c13]Aristides Dasso, Chris George:
Automating software development by cross-utilization of specification tools. IASTED Conf. on Software Engineering and Applications 2004: 368-373 - [c12]Satyajit Acharya, Chris George, Hrushikesha Mohanty:
Specifying a Mobile Computing Infrastructure and Services. ICDCIT 2004: 244-254 - [c11]Chris George:
Tutorial on the RAISE Language, Method and Tools. ICFEM 2004: 3-4 - 2002
- [c10]Yanjie Wang, Chris George:
Supporting Collaborative Design. FMOODS 2002: 249-262 - [c9]Chris George:
The Development of the RAISE Tools. 10th Anniversary Colloquium of UNU/IIST 2002: 49-64 - 2000
- [c8]Shuguang Li, Qing Jiang, Chris George:
Combining case-based and model-based reasoning: a formal specification. APSEC 2000: 416-420 - 1999
- [c7]Xia Yong, Chris George:
An Operational Semantics for Timed RAISE. World Congress on Formal Methods 1999: 1008-1027 - 1997
- [c6]Chris George, Do Tien Dung:
Combining and Distributing Hierarchical Systems. Requirements Targeting Software and Systems Engineering 1997: 133-153 - 1996
- [c5]Chris George:
A Theory of Distributing Train Rescheduling. FME 1996: 499-517 - 1993
- [c4]Anne E. Haxthausen, Chris George:
A Concurrency Case Study Using RAISE. FME 1993: 367-387 - 1991
- [c3]Chris George:
The RAISE Specification Langiage: A Tutorial. VDM Europe (2) 1991: 238-319 - 1988
- [c2]Mogens Nielsen, Klaus Havelund, Kim Ritter Wagner, Chris George:
The RAISE Language, Method and Tools. VDM Europe 1988: 376-405 - 1987
- [c1]Chris George:
Heap Storage Specification and Development. VDM Europe 1987: 97-105
Editorship
- 2007
- [e2]Chris George, Zhiming Liu, Jim Woodcock
:
Domain Modeling and the Duration Calculus, International Training School, Shanghai, China, September 17-21. 2007, Advanced Lectures. Lecture Notes in Computer Science 4710, Springer 2007, ISBN 978-3-540-74963-9 [contents] - 2002
- [e1]Chris George, Huaikou Miao:
Formal Methods and Software Engineering, 4th International Conference on Formal Engineering Methods, ICFEM 2002 Shanghai, China, October 21-25, 2002, Proceedings. Lecture Notes in Computer Science 2495, Springer 2002, ISBN 3-540-00029-1 [contents]
Coauthor Index
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-24 22:47 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint