Robert France | Academic Influence

Robert France's AcademicInfluence.com Rankings

Robert France

Computer Science

#1485

World Rank

#1537

Historical Rank

#730

USA Rank

Software Engineering

#145

World Rank

#146

Historical Rank

#64

USA Rank

Database

#4256

World Rank

#4426

Historical Rank

#687

USA Rank

computer-science Degrees

Download Badge

Computer Science

Robert France's Degrees

PhD Computer Science University of California, Irvine
Masters Computer Science University of California, Irvine
Bachelors Computer Science University of the West Indies

Similar Degrees You Can Earn

Why Is Robert France Influential?

(Suggest an Edit or Addition)

According to Wikipedia, Robert Bertrand France was a Jamaica-born American computer scientist. Robert B. France was born in Jamaica on October 8, 1960, the eldest son of Robert W. and Jeanette France. He attended high school in Guyana and studied for a BSc degree in Natural Sciences at the University of the West Indies in Saint Augustine, Trinidad and Tobago, majoring in Computer Science and Mathematics and receiving a first class degree in 1984. He then attended Massey University in New Zealand funded by a Commonwealth Scholarship, where he achieved a PhD degree in computer science in 1990. During the same year, he married Sheriffa R. Soleyn in Saint Vincent. They emigrated to the United States together and in due course moved to Fort Collins, Colorado.

(See a Problem?)

Robert France's Published Works

Number of citations in a given year to any of this author's works

Total number of citations to an author for the works they published in a given year. This highlights publication of the most important work(s) by the author

Published Works

Model-driven Development of Complex Software: A Research Roadmap (2007) (1244)
Models@ run.time (2009) (539)
A UML-based pattern specification technique (2004) (326)
The UML as a formal modeling notation (1998) (326)
Domain specific modeling (2005) (320)
Assumptions Underlying Agile Software-Development Processes (2005) (235)
Model-driven development using UML 2.0: promises and pitfalls (2006) (218)
Limitations of Agile Software Processes (2014) (202)
FAMILIAR: A domain-specific language for large scale management of feature models (2013) (199)
Aspect-oriented approach to early design modelling (2004) (172)
Directives for Composing Aspect-Oriented Design Class Models (2006) (166)
Test adequacy criteria for UML design models (2003) (159)
A Generic Approach for Automatic Model Composition (2008) (150)
Barriers to systematic model transformation testing (2010) (145)
Using uml to visualize role-based access control constraints (2004) (129)
The Relevance of Model-Driven Engineering Thirty Years from Now (2014) (128)
Using aspects to design a secure system (2002) (117)
Integrated Structured Analysis and Formal Specification Techniques (1992) (110)
Towards a formalization of UML class structures in Z (1997) (109)
An aspect-based approach to modeling access control concerns (2004) (108)
Composing Feature Models (2009) (101)
Challenges and directions in formalizing the semantics of modeling languages (2011) (94)
A Metamodeling Approach to Pattern-Based Model Refactoring (2003) (91)
Repository for Model Driven Development (ReMoDD) (2006) (91)
Model Composition Directives (2004) (88)
Globalizing Modeling Languages (2014) (81)
Providing Support for Model Composition in Metamodels (2007) (80)
Model Composition-A Signature-Based Approach (2005) (80)
Meta-Modelling Semantics of UML (2014) (79)
Slicing feature models (2011) (78)
An aspect oriented model driven framework (2005) (71)
An Aspect-Oriented Approach to Early Design Modeling (2004) (70)
Comparing Approaches to Implement Feature Model Composition (2010) (67)
Multi-view software evolution: a UML-based framework for evolving object-oriented software (2001) (67)
A role-based metamodeling approach to specifying design patterns (2003) (65)
Rigorous Testing by Merging Structural and Behavioral UML Representations (2003) (65)
A Systematic Approach to Generate Inputs to Test UML Design Models (2006) (59)
An Integrated Object-Oriented and Formal Modeling Environment (1997) (57)
Separation of concerns in feature modeling: support and applications (2012) (53)
Cost-benefit trade-off analysis using BBN for aspect-oriented risk-driven development (2005) (51)
Mechanisms for Leveraging Models at Runtime in Self-adaptive Software (2014) (51)
Semantically Extended Data Flow Diagrams: A Formal Specification Tool (1992) (50)
Modeling Role-Based Access Control Using Parameterized UML Models (2004) (50)
A tool-supported approach to testing UML design models (2005) (48)
Using aspect oriented techniques to support separation of concerns in model driven development (2005) (47)
Verifiable composition of access control and application features (2005) (47)
From Application Models to Filmstrip Models: An Approach to Automatic Validation of Model Dynamics (2014) (46)
Performance analysis of security aspects by weaving scenarios extracted from UML models (2009) (46)
Test adequacy assessment for UML design model testing (2003) (45)
A UML-based language for specifying domain-specific patterns (2004) (43)
Using Parameterized UML to Specify and Compose Access Control Models (2003) (42)
Testing UML designs (2007) (41)
Reifying Concurrency for Executable Metamodeling (2013) (40)
Managing Variability in Workflow with Feature Model Composition Operators (2010) (40)
Repository for model driven development (ReMoDD) (2012) (40)
Scenario-Based Static Analysis of UML Class Models (2008) (39)
Using Alloy and UML/OCL to Specify Run-Time Configuration Management: A Case Study (2001) (39)
Performance analysis of security aspects in UML models (2007) (38)
Composing multiple variability artifacts to assemble coherent workflows (2012) (37)
Construction and Execution of Adaptable Applications Using an Aspect-Oriented and Model Driven Approach (2007) (37)
Summary of the workshop models@run.time at MoDELS 2006 (2006) (33)
A domain-specific language for managing feature models (2011) (33)
Teaching modeling: why, when, what? (2009) (32)
A problem-oriented analysis of basic UML static requirements modeling concepts (1999) (31)
Models@run.time (Dagstuhl Seminar 11481) (2011) (30)
Using Role-Based Modeling Language (RBML) to characterize model families (2002) (29)
Defining Precise Semantics for UML (2000) (29)
From structured analysis to formal specifications: state of the theory (1994) (28)
From domain models to architecture frameworks (1997) (28)
Rigorous Analysis of UML Access Control Policy Models (2011) (28)
Specification, Validation, and Enforcement of a Generalized Spatio-Temporal Role-Based Access Control Model (2013) (28)
Generating test cases from an OO model with an AI planning system (1999) (28)
Measuring the effort for creating and using domain-specific models (2010) (27)
ACTRESS: domain-specific modeling of self-adaptive software architectures (2014) (27)
A Two-Dimensional View of Integrated Formal and Informal Specification Techniques (1995) (27)
Composing Your Compositions of Variability Models (2013) (27)
A reference process for model composition (2008) (26)
Designing High Integrity Systems Using Aspects (2002) (25)
On the Contributions of an End-to-End AOSD Testbed (2007) (25)
Generating test-cases from an object-oriented model with an artifical-intelligence planning system (2000) (24)
A Rigorous Approach to Uncovering Security Policy Violations in UML Designs (2009) (24)
Synergy between Activity Theory and goal/scenario modeling for requirements elicitation, analysis, and evolution (2015) (22)
Improving the UML Metamodel to Rigorously Specify Aggregation and Composition (2001) (20)
Integration and Transformation of UML Models (2002) (20)
Rigorous Object-Oriented Modeling: Integrating Formal and Informal Notations (1997) (20)
Workflow Design Using Fragment Composition - Crisis Management System Design through ADORE (2010) (20)
A Formal Specification of an Authorization Model for Object-Oriented Databases (1995) (19)
Model-based development (2007) (19)
Developing the UML as a Formal Modelling Notation (2014) (19)
A method engineering approach to developing aspect-oriented modelling processes based on the OPEN process framework (2007) (18)
Developing Distributed Services Using an Aspect Oriented Model Driven Framework (2006) (17)
Towards the Model Driven Organization (2014) (17)
Tool Support for Aspect-Oriented Design (2002) (17)
Understanding the Role of Formal Specification Techniques in Requirements Engineering (1995) (17)
Fine-Grained Software Evolution Using UML Activity and Class Models (2013) (17)
Fine-Grained Semi-automated Runtime Evolution (2014) (16)
An Approach to Checking Consistency between UML Class Model and Its Java Implementation (2016) (16)
A domain‐specific modeling approach to realizing user‐centric communication (2012) (16)
SIGMA: Scala Internal Domain-Specific Languages for Model Manipulations (2014) (15)
Using Model Types to Support Contract-Aware Model Substitutability (2013) (15)
A middleware‐transparent approach to developing distributed applications (2005) (14)
A Tool for Rigorous Analysis of Object (1996) (14)
Manipulating models using internal domain-specific languages (2014) (14)
Specification and analysis of access control policies for mobile applications (2013) (14)
Model-driven engineering and optimizing compilers: a bridge too far? (2011) (14)
An Approach to Analyzing Temporal Properties in UML Class Models (2013) (14)
UMLAnT: an Eclipse plugin for animating and testing UML designs (2005) (14)
A metamodeling approach to model transformation (2003) (13)
On the Globalization of Domain-Specific Languages (2014) (13)
The evolution of modeling research challenges (2013) (13)
Decomposing feature models: language, environment, and applications (2011) (13)
UML Aspect Specification Using Role Models (2002) (13)
Hypervisor Event Logs as a Source of Consistent Virtual Machine Evidence for Forensic Cloud Investigations (2013) (12)
Specifying Cross-Cutting Requirement Concerns (2004) (12)
Variability in UML language and semantics (2011) (12)
Modeling Fault Tolerant Concerns Using Aspects Technical Report 02-102 (12)
Extending Aggregation Constructs in UML (1998) (12)
Towards a rigorous object-oriented analysis and design method (1997) (12)
Managing Multiple Software Product Lines Using Merging Techniques (2010) (12)
Actor-based runtime model of adaptable feedback control loops (2012) (12)
Using Roles for Pattern-Based Model Refactoring (2002) (12)
Assessing composition in modeling approaches (2012) (12)
A light-weight static approach to analyzing UML behavioral properties (2007) (12)
Contract-Aware Slicing of UML Class Models (2013) (11)
A Framework for Design Tradeoffs (2005) (10)
Managing feature models with familiar: a demonstration of the language and its tool support (2011) (10)
Meta-Modeling Semantics of UML (2014) (10)
Guidelines for Formalizing Fusion Object-Oriented Analysis Methods (1996) (10)
Why it is so hard to use models in software development: observations (2013) (10)
Modeling in Software Engineering (2007) (10)
The 2014 “State of the Journal” report (2015) (10)
Reasoning about VHD3L and VHDL-AMS using denotational semantics (1999) (9)
4th international workshop on models@run.time (2009) (9)
Towards an Internet‐based Education Model for Caribbean Countries (2000) (9)
Formal specification of real-time dependable systems (1995) (9)
The 2013 “State of the Journal” report (2014) (9)
Supporting rigorous evolution of UML models (2004) (9)
Object-Oriented Theories for Model Driven Architecture (2002) (9)
Towards a Model-Driven Approach to Reuse (2001) (9)
Systematic Scenario-Based Analysis of UML Design Class Models (2012) (8)
Teaching Programming Students how to Model: Challenges & Opportunities (2011) (8)
A Metamodeling Approach to Model Refactoring (2003) (7)
Evaluating the Usability of a Visual Feature Modeling Notation (2014) (7)
Analysis of a Relationship Based Access Control Model (2015) (7)
Summary of the 7th International Workshop on Models@run.time (2010) (7)
Using Models to Validate Unanticipated, Fine-Grained Adaptations at Runtime (2016) (7)
Devising the Future of the Models@run.time Workshop (2015) (7)
Critical Systems Development Using Modeling Languages (CSDUML-04): Current Developments and Future Challenges (Report on the Third International Workshop) (2004) (7)
Model-Driven Approaches to Software Development (2002) (7)
On the relationship between modeling and programming languages (2012) (7)
Modeling for the cloud (2010) (6)
Applying domain analysis and modeling: an industrial experience (1995) (6)
Aspect Oriented Modeling of Component Architectures Using AADL (2008) (6)
Rigorous Analysis of Temporal Access Control Properties in Mobile Systems (2013) (6)
Does model driven engineering tame complexity? (2007) (6)
Domain Globalization: Using Languages to Support Technical and Social Coordination (2014) (6)
An Aspect Oriented Approach to Analyzing Dependability Features (6)
Service-oriented architecture modeling: bridging the gap between structure and behavior (2011) (6)
Formal Specification Using Structured Systems Analysis (1989) (6)
A Semantic Comparison of Fusion and Syntropy (2000) (6)
Globalizing Domain-Specific Languages (Dagstuhl Seminar 14412) (2014) (6)
A software engineering research repository (2004) (6)
Report on the First Workshop On the Globalization of Modeling Languages (GEMOC 2013) (2013) (5)
Supporting Effective Software Modeling (2003) (5)
Comparing Six Modeling Approaches (2011) (5)
Using models to dynamically refactor runtime code (2014) (5)
Modeling Paradigms (2005) (5)
Formal Parameterization of Log Synchronization Events within a Distributed Forensic Compute Cloud Database Environment (2011) (5)
Analyzing Behavioral Refactoring of Class Models (2013) (5)
An Approach to Testing Java Implementation against Its UML Class Model (2013) (4)
Integrated Informal Object-Oriented and Formal Modeling Techniques (1997) (4)
The 2012 “State of the Journal” Report (2013) (4)
Modeling and Integrating Aspects into Component Architectures (2007) (4)
Towards Formal Reasoning with UML (1999) (4)
Analyzing Behavioral Aspects of UML Design Class Models against Temporal Properties (2014) (4)
UML2Z: An UML-Based Object-Oriented Modeling Tool for an Internet Integrated Formalization Process (2000) (4)
Editorial First Issue of the International Journal on Software and Systems Modeling (2002) (4)
Using Slicing to Improve the Performance of Model Invariant Checking (2015) (4)
Modeling to improve quality or efficiency? An automotive domain perspective (2012) (4)
A predicative basis for structured analysis specification tools (1993) (4)
A DSML for Coordinating User-Centric Communication Services (2011) (4)
Flexibility and Rigour in Structured Analysis (1989) (4)
Towards the use of slicing techniques for an efficient invariant checking (2015) (4)
Assessing model quality (2004) (4)
Creating Security Mechanism Aspect Models from Abstract Security Aspect Models (2003) (3)
Modeling of Online Social Network Policies Using an Attribute-Based Access Control Framework (2015) (3)
Modeling to improve quality or efficiency? An automotive domain perspective (2012) (3)
Model-Driven Software Adaptation (2007) (3)
What Does the Term Semantics Mean in the Context of UML (1999) (3)
Open Models as a Foundation of Future Enterprise Systems (Dagstuhl Seminar 12131) (2012) (3)
Middleware Transparent Software Development & the MDA (2003) (3)
EPTUD: An Eclipse Plugin for Testing UML Designs (2004) (3)
Modeling Approach Comparison Criteria for MODELS 2011 (2011) (3)
Requirements trade-offs during UML design (2004) (3)
Supporting Iterative Development of Robust Operation Contracts in UML Requirements Models (2011) (3)
Taming the Octopus: using formal models to integrate the Octopus object oriented analysis models (1997) (3)
International Workshop on Models @ run . time (2008) (3)
Why Johnny can’t model (2009) (3)
Meta-Modeling Model-Based Engineering Tools (Dagstuhl Seminar 13182) (2013) (3)
Fair treatment of evaluations in reviews (2008) (2)
Using Integrated Formal and Informal Modeling Techniques To Analyze Software Requirements: A Petri-Net/SART Case Study (1996) (2)
Analysing Requirements to Detect Latent Security Vulnerabilities (2014) (2)
Guidel ines for Formalizing Fusion Object-Oriented Analysis Models (2005) (2)
A domain model of WWW browsers (1996) (2)
RIGR - A Repository Model Based Approach to Management (2001) (2)
Model-based lifecycle management of software-intensive systems, applications, and services (2013) (2)
A real-time specification environment based on Z and graphical object-oriented modeling techniques (1996) (2)
Third International Workshop on Models@run.time (2008) (2)
Extending the UML to support evolution management (2001) (1)
Modeling big smart data (2014) (1)
Editorial (2012) (1)
A newly introduced Industry Voice Column (2013) (1)
Correct development of real time and embedded systems (2008) (1)
UML for software engineers (2001) (1)
Meta-Modeling Model-Based Engineering Tools (2013) (1)
Essentials of the 5th educators' symposium at MODELS 2009 (2009) (1)
Using Role Models as Precise Characterizations of Model Families (2002) (1)
Bridging The Formal Techniques and Model-Driven Engineering Divide Robert France (2010) (1)
Model aesthetics (2005) (1)
Towards CASE tool support for rigorous structured analysis (1993) (1)
In search of effective design abstractions (2004) (1)
Composing multiple variability artifacts to assemble coherent workflows (2011) (1)
Workshop on modeling in software engineering at ICSE 2009 (2009) (1)
Supporting Community-Driven Evolution of Model-Driven Development Knowledge Using ReMoDD (2011) (1)
Data warehouse concepts for model artifacts? (2012) (1)
A Z-based approach to specifying and analyzing complex systems (1996) (1)
Educators' Symposium at MODELS 2009 (2009) (1)
Model engineering (2003) (1)
SoSyM at 7 years (2009) (1)
The 2012 “State of the Journal” Report (2013) (0)
Special section of SoSyM dedicated to 50 years of Petri nets (2015) (0)
Editorial (2003) (0)
Data warehouse concepts for model artifacts? (2012) (0)
5th International workshop on Modeling in Software Engineering (MiSE 2013) (2013) (0)
Six years of modeling in SoSyM (2006) (0)
Linking models and their storage artifacts (2011) (0)
Modeling the Complex Living World (2006) (0)
The 2014 “State of the Journal” report (2015) (0)
Special section of SoSyM dedicated to 50 years of Petri nets (2014) (0)
Modeling in software engineering (2008) (0)
The journal on Software and Systems Modeling Matures (2012) (0)
A Model-based approach to Managing Enterprise Information Systems (2016) (0)
Pattern-based Model Refactoring a Metamodeling Approach to Pattern-based Model Refactoring Our Approach (0)
SoSyM at three (2004) (0)
The evolution of modeling research challenges (2013) (0)
The 2013 “State of the Journal” report (2014) (0)
Editorial for the SoSyM issue 2014/04 (2014) (0)
Editorial (2003) (0)
The 2011 “State of the Journal” Report (2012) (0)
Second International Workshop on Models@run.time (2007) (0)
The 8th Annual State of SoSyM Report (2009) (0)
Editorial for the SoSyM issue 2006/02 (2006) (0)
Towards semantic-based object-oriented CASE tools (1997) (0)
Five years of modeling in SoSyM (2006) (0)
9 USING ROLES TO CHARACTERIZE MODEL FAMILIES (2003) (0)
R&i N 20/2006 Title Proceedings of the 5th International Workshop on Critical Systems Development Using Modeling Languages (csduml 2006) Author(s) (2006) (0)
Feedback on our editorials (2007) (0)
Runtime adaptation mechanisms that leverage (0)
Towards a Framework for the Development of PreciseSemantics for the UMLR (2000) (0)
GlobalDSL'13: First Workshop on the Globalization of Domain Specific Languages (2013) (0)
INTRODUCTION (1982) (0)
Is a Precise Semantics Desirable? For What Purpose? (1999) (0)
Discovering Potential Interaction Violations among Requirements (2016) (0)
2 Related Work 2 . 1 Related Work on UML-based Pattern Formalization (0)
Model-driven Software Adaptation : Report on the WS M-ADAPT at ECOOP ’ 07 (2007) (0)
Critical systems development using modeling languages: CSDUML 2006 workshop report (2006) (0)
Realizing the Model Driven Engineering Vision (2007) (0)
On the relationship between modeling and programming languages (2011) (0)
Modeling in Software Engineering (MiSE 09) (2009) (0)
26 March 1996 Paper : A Tale of Two Case Studies : Using Integrated Methods to Support Rigorous Requirements Specification (1996) (0)
The journal on Software and Systems Modeling Matures (2012) (0)
Model-based lifecycle management of software-intensive systems, applications, and services (2013) (0)
The 2011 “State of the Journal” Report (2011) (0)
Why it is so hard to use models in software development: observations (2013) (0)
SUDA: a scenario-based UML design analysis approach (2012) (0)

This paper list is powered by the following services:

Other Resources About Robert France

en.wikipedia.org

What Schools Are Affiliated With Robert France?

Robert France is affiliated with the following schools:

Image Attributions

Image Source for Robert France