Robert B. France

Publication Activity (10 Years)

Years Active: 1989-2016
Publications (10 Years): 3

Top Venues

Softw. Syst. Model.

CoRR

MoDELS

Dagstuhl Reports

Publications

Mohammed Al-Refai, Walter Cazzola, Sudipto Ghosh, Robert B. France
Using Models to Validate Unanticipated, Fine-Grained Adaptations at Runtime. HASE (2016)
Hector Miguel Chavez, Wuwei Shen, Robert B. France, Benjamin A. Mechling, Guangyuan Li
An Approach to Checking Consistency between UML Class Model and Its Java Implementation. IEEE Trans. Software Eng. 42 (4) (2016)
Curtis C. R. Busby Earle, Robert B. France
Discovering Potential Interaction Violations among Requirements. CAiSE Workshops (2016)
Robert B. France, Bernhard Rumpe
Special section of SoSyM dedicated to 50 years of Petri nets. Softw. Syst. Model. 14 (2) (2015)
Phillipa Bennett, Indrakshi Ray, Robert B. France
Analysis of a Relationship Based Access Control Model. C3S2E (2015)
Phillipa Bennett, Indrakshi Ray, Robert B. France
Modeling of Online Social Network Policies Using an Attribute-Based Access Control Framework. ICISS (2015)
Wuliang Sun, Benoît Combemale, Robert B. France
Towards the use of slicing techniques for an efficient invariant checking. MODULARITY (Companion) (2015)
Wuliang Sun, Benoît Combemale, Robert B. France, Arnaud Blouin, Benoit Baudry, Indrakshi Ray
Using Slicing to Improve the Performance of Model Invariant Checking. J. Object Technol. 14 (4) (2015)
Robert B. France, Geri Georg, Bernhard Rumpe, Martin Schindler
The 2014 "State of the Journal" report. Softw. Syst. Model. 14 (1) (2015)
Geri Georg, Gunter Mussbacher, Daniel Amyot, Dorina C. Petriu, Lucy J. Troup, Saul Lozano-Fuentes, Robert B. France
Synergy between Activity Theory and goal/scenario modeling for requirements elicitation, analysis, and evolution. Inf. Softw. Technol. 59 (2015)
Sebastian Götz, Nelly Bencomo, Robert B. France
Devising the Future of the Models@run.time Workshop. ACM SIGSOFT Softw. Eng. Notes 40 (1) (2015)
Filip Krikava, Philippe Collet, Robert B. France
ACTRESS: domain-specific modeling of self-adaptive software architectures. SAC (2014)
Aleksandar Jaksic, Robert B. France, Philippe Collet, Sudipto Ghosh
Evaluating the Usability of a Visual Feature Modeling Notation. SLE (2014)
Andy Evans, Kevin Lano, Robert B. France, Bernhard Rumpe
Meta-Modeling Semantics of UML. CoRR (2014)
Andy Evans, Robert B. France, Kevin Lano, Bernhard Rumpe
The UML as a Formal Modeling Notation. CoRR (2014)
Betty H. C. Cheng, Benoît Combemale, Robert B. France, Jean-Marc Jézéquel, Bernhard Rumpe
Globalizing Domain-Specific Languages (Dagstuhl Seminar 14412). Dagstuhl Reports 4 (10) (2014)
Andy Evans, Robert B. France, Kevin Lano, Bernhard Rumpe
Developing the UML as a Formal Modelling Notation. CoRR (2014)
Benoît Combemale, Julien De Antoni, Robert B. France, Frédéric Boulanger, Sébastien Mosser, Marc Pantel, Bernhard Rumpe, Rick Salay, Martin Schindler
Report on the First Workshop On the Globalization of Modeling Languages. CoRR (2014)
Martin Gogolla, Lars Hamann, Frank Hilken, Mirco Kuhlmann, Robert B. France
From Application Models to Filmstrip Models: An Approach to Automatic Validation of Model Dynamics. Modellierung (2014)
Dan Turk, Robert B. France, Bernhard Rumpe
Limitations of Agile Software Processes. CoRR (2014)
Filip Krikava, Philippe Collet, Robert B. France
SIGMA: Scala Internal Domain-Specific Languages for Model Manipulations. MoDELS (2014)
Robert B. France, Geri Georg, Bernhard Rumpe, Martin Schindler
The 2013 "State of the Journal" report. Softw. Syst. Model. 13 (1) (2014)
Julien Deantoni, Cédric Brun, Benoît Caillaud, Robert B. France, Gabor Karsai, Oscar Nierstrasz, Eugene Syriani
Domain Globalization: Using Languages to Support Technical and Social Coordination. Globalizing Domain-Specific Languages (2014)
Robert B. France, Bernhard Rumpe
Editorial for the SoSyM issue 2014/04. Softw. Syst. Model. 13 (4) (2014)
Betty H. C. Cheng, Benoît Combemale, Robert B. France, Jean-Marc Jézéquel, Bernhard Rumpe
On the Globalization of Domain-Specific Languages. Globalizing Domain-Specific Languages (2014)
Benoît Combemale, Julien DeAntoni, Benoit Baudry, Robert B. France, Jean-Marc Jézéquel, Jeff Gray
Globalizing Modeling Languages. Computer 47 (6) (2014)
Robert B. France, Bernhard Rumpe
Model-Driven Development of Complex Software: A Research Roadmap. CoRR (2014)
Gunter Mussbacher, Daniel Amyot, Ruth Breu, Jean-Michel Bruel, Betty H. C. Cheng, Philippe Collet, Benoît Combemale, Robert B. France, Rogardt Heldal, James H. Hill, Jörg Kienzle, Matthias Schöttle, Friedrich Steimann, Dave R. Stikkolorum, Jon Whittle
The Relevance of Model-Driven Engineering Thirty Years from Now. MoDELS (2014)
Tony Clark, Vinay Kulkarni, Balbir Barn, Robert B. France, Ulrich Frank, Dan Turk
Towards the Model Driven Organization. HICSS (2014)
Dan Turk, Robert B. France, Bernhard Rumpe
Assumptions Underlying Agile Software Development Processes. CoRR (2014)
Jan Jürjens, Eduardo B. Fernández, Robert B. France, Bernhard Rumpe, Constance L. Heitmeyer
Critical Systems Development Using Modeling Languages. (CSDUML-04): Current Developments and Future Challenges (Report on the Third International Workshop). CoRR (2014)
Robert B. France, Bernhard Rumpe
Modeling big smart data. Softw. Syst. Model. 13 (2) (2014)
Curtis C. R. Busby Earle, Robert B. France, Indrakshi Ray
Analysing Requirements to Detect Latent Security Vulnerabilities. SERE (Companion) (2014)
Mohammed Al-Refai, Walter Cazzola, Robert B. France
Using models to dynamically refactor runtime code. SAC (2014)
Filip Krikava, Philippe Collet, Robert B. France
Manipulating models using internal domain-specific languages. SAC (2014)
Mustafa Al-Lail, Wuliang Sun, Robert B. France
Analyzing Behavioral Aspects of UML Design Class Models against Temporal Properties. QSIC (2014)
Ramadan Abdunabi, Indrakshi Ray, Robert B. France
Specification and analysis of access control policies for mobile applications. SACMAT (2013)
Nelly Bencomo, Robert B. France, Sebastian Götz, Bernhard Rumpe
Summary of the 8th International Workshop on Models @ Run.time. Models@run.time (2013)
Hector Miguel Chavez, Wuwei Shen, Robert B. France, Benjamin A. Mechling
An Approach to Testing Java Implementation against Its UML Class Model. MoDELS (2013)
Sean S. E. Thorpe, Indrajit Ray, Tyrone Grandison, Abbie Barbir, Robert B. France
Hypervisor Event Logs as a Source of Consistent Virtual Machine Evidence for Forensic Cloud Investigations. DBSec (2013)
Ramadan Abdunabi, Mustafa Al-Lail, Indrakshi Ray, Robert B. France
Specification, Validation, and Enforcement of a Generalized Spatio-Temporal Role-Based Access Control Model. IEEE Syst. J. 7 (3) (2013)
Wuliang Sun, Robert B. France, Indrakshi Ray
Analyzing Behavioral Refactoring of Class Models. ME@MoDELS (2013)
Mathieu Acher, Philippe Collet, Philippe Lahire, Robert B. France
FAMILIAR: A domain-specific language for large scale management of feature models. Sci. Comput. Program. 78 (6) (2013)
Benoît Combemale, Walter Cazzola, Robert B. France
GlobalDSL 2013: First Workshop on the Globalization of Domain Specific Languages. GlobalDSL@ECOOP (2013)
Joanne M. Atlee, Robert Baillargeon, Marsha Chechik, Robert B. France, Jeff Gray, Richard F. Paige, Bernhard Rumpe
5th international workshop on modeling in software engineering (MiSE 2013). ICSE (2013)
Robert B. France, Bernhard Rumpe
Model-based lifecycle management of software-intensive systems, applications, and services. Softw. Syst. Model. 12 (3) (2013)
Wuliang Sun, Robert B. France, Indrakshi Ray
Contract-Aware Slicing of UML Class Models. MoDELS (2013)
Mustafa Al-Lail, Ramadan Abdunabi, Robert B. France, Indrakshi Ray
An Approach to Analyzing Temporal Properties in UML Class Models. MoDeVVa@MoDELS (2013)
Balbir Barn, Tony Clark, Robert B. France, Ulrich Frank, Vinay Kulkarni, Dan Turk
Introduction. GEMOC+AMINO@MoDELS (2013)
Robert B. France, Geri Georg, Bernhard Rumpe, Martin Schindler
The 2012 "State of the Journal" Report. Softw. Syst. Model. 12 (1) (2013)
Benoît Combemale, Julien De Antoni, Matias Vara Larsen, Frédéric Mallet, Olivier Barais, Benoit Baudry, Robert B. France
Reifying Concurrency for Executable Metamodeling. SLE (2013)
Robert B. France, Bernhard Rumpe, Martin Schindler
Why it is so hard to use models in software development: observations. Softw. Syst. Model. 12 (4) (2013)
Wuliang Sun, Benoît Combemale, Steven Derrien, Robert B. France
Using Model Types to Support Contract-Aware Model Substitutability. ECMFA (2013)
Mustafa Al-Lail, Ramadan Abdunabi, Robert B. France, Indrakshi Ray
Rigorous Analysis of Temporal Access Control Properties in Mobile Systems. ICECCS (2013)
Robert B. France, Bernhard Rumpe
The evolution of modeling research challenges. Softw. Syst. Model. 12 (2) (2013)
Walter Cazzola, Nicole Alicia Rossini, Mohammed Al-Refai, Robert B. France
Fine-Grained Software Evolution Using UML Activity and Class Models. MoDELS (2013)
Radu Calinescu, Robert B. France, Carlo Ghezzi
Editorial. Computing 95 (3) (2013)
Mathieu Acher, Benoît Combemale, Philippe Collet, Olivier Barais, Philippe Lahire, Robert B. France
Composing Your Compositions of Variability Models. MoDELS (2013)
Tony Clark, Robert B. France, Martin Gogolla, Bran Selic
Meta-Modeling Model-Based Engineering Tools (Dagstuhl Seminar 13182). Dagstuhl Reports 3 (4) (2013)
Tony Clark, Gabor Karsai, Roel J. Wieringa, Robert B. France, Bernhard Rumpe
A newly introduced Industry Voice Column. Softw. Syst. Model. 12 (3) (2013)
Benoît Combemale, Julien DeAntoni, Robert B. France, Frédéric Boulanger, Sébastien Mosser, Marc Pantel, Bernhard Rumpe, Rick Salay, Martin Schindler
Report on the First Workshop On the Globalization of Modeling Languages (GEMOC 2013). GEMOC+AMINO@MoDELS (2013)
Bernhard Rumpe, Robert B. France
On the relationship between modeling and programming languages - Editorial for the SoSyM Issue 2012/01: Part 1. Softw. Syst. Model. 11 (1) (2012)
Mathieu Acher, Philippe Collet, Alban Gaignard, Philippe Lahire, Johan Montagnat, Robert B. France
Composing multiple variability artifacts to assemble coherent workflows. Softw. Qual. J. 20 (3-4) (2012)
Robert B. France, Bernhard Rumpe
The journal on Software and Systems Modeling Matures. Softw. Syst. Model. 11 (4) (2012)
Robert B. France, Ulrich Frank, Andreas Oberweis, Matti Rossi, Stefan Strecker
Open Models as a Foundation of Future Enterprise Systems (Dagstuhl Seminar 12131). Dagstuhl Reports 2 (3) (2012)
Filip Krikava, Philippe Collet, Robert B. France
Actor-based runtime model of adaptable feedback control loops. Models@run.time (2012)
Robert B. France, James M. Bieman, Sai Pradeep Mandalaparty, Betty H. C. Cheng, Adam C. Jensen
Repository for Model Driven Development (ReMoDD). ICSE (2012)
Lijun Yu, Robert B. France, Indrakshi Ray, Wuliang Sun
Systematic Scenario-Based Analysis of UML Design Class Models. ICECCS (2012)
Robert B. France, Bernhard Rumpe
Modeling to improve quality or efficiency? An automotive domain perspective. Softw. Syst. Model. 11 (3) (2012)
Robert B. France, Geri Georg, Bernhard Rumpe, Martin Schindler
The 2011 "State of the Journal" Report - Editorial for the SoSyM Issue 2012/01: Part 2. Softw. Syst. Model. 11 (1) (2012)
Robert B. France, Bernhard Rumpe
Data warehouse concepts for model artifacts? Softw. Syst. Model. 11 (2) (2012)
Mathieu Acher, Philippe Collet, Philippe Lahire, Robert B. France
Separation of concerns in feature modeling: support and applications. AOSD (2012)
Yali Wu, Andrew A. Allen, Frank Hernandez, Robert B. France, Peter J. Clarke
A domain-specific modeling approach to realizing user-centric communication. Softw. Pract. Exp. 42 (3) (2012)
Yali Wu, Frank Hernandez, Peter J. Clarke, Robert B. France
A DSML for Coordinating User-Centric Communication Services. COMPSAC (2011)
Mathieu Acher, Philippe Collet, Philippe Lahire, Robert B. France
Managing feature models with familiar: a demonstration of the language and its tool support. VaMoS (2011)
Gunter Mussbacher, Wisam Al Abed, Omar Alam, Shaukat Ali, Antoine Beugnard, Valentin Bonnet, Rolv Bræk, Alfredo Capozucca, Betty H. C. Cheng, Urooj Fatima, Robert B. France, Geri Georg, Nicolas Guelfi, Paul Istoan, Jean-Marc Jézéquel, Jörg Kienzle, Jacques Klein, Jean-Baptiste Lézoray, Somayeh Malakuti, Ana Moreira, An Phung-Khac, Lucy J. Troup
Comparing Six Modeling Approaches. MoDELS (Workshops) (2011)
Bernhard Rumpe, Robert B. France
Variability in UML language and semantics. Softw. Syst. Model. 10 (4) (2011)
Walter Cazzola, Nicole Alicia Rossini, Phillipa Bennett, Sai Pradeep Mandalaparty, Robert B. France
Fine-Grained Semi-automated Runtime Evolution. Models@run.time@Dagstuhl (2011)
Robert B. France
Supporting Community-Driven Evolution of Model-Driven Development Knowledge Using ReMoDD. ECBS (2011)
Sean S. E. Thorpe, Indrakshi Ray, Indrajit Ray, Tyrone Grandison, Abbie Barbir, Robert B. France
Formal Parameterization of Log Synchronization Events within a Distributed Forensic Compute Cloud Database Environment. ICDF2C (2011)
Mickael Clavreul, Sébastien Mosser, Mireille Blay-Fornarino, Robert B. France
Service-Oriented Architecture Modeling: Bridging the Gap between Structure and Behavior. MoDELS (2011)
Amel Bennaceur, Robert B. France, Giordano Tamburrelli, Thomas Vogel, Pieter J. Mosterman, Walter Cazzola, Fábio M. Costa, Alfonso Pierantonio, Matthias Tichy, Mehmet Aksit, Pär Emmanuelson, Gang Huang, Nikolaos Georgantas, David Redlich
Mechanisms for Leveraging Models at Runtime in Self-adaptive Software. Models@run.time@Dagstuhl (2011)
Bernhard Rumpe, Robert B. France
Linking models and their storage artifacts. Softw. Syst. Model. 10 (3) (2011)
Antoine Floch, Tomofumi Yuki, Clement Guy, Steven Derrien, Benoît Combemale, Sanjay V. Rajopadhye, Robert B. France
Model-Driven Engineering and Optimizing Compilers: A Bridge Too Far? MoDELS (2011)
Wuliang Sun, Robert B. France, Indrakshi Ray
Rigorous Analysis of UML Access Control Policy Models. POLICY (2011)
Mathieu Acher, Philippe Collet, Philippe Lahire, Robert B. France
A domain-specific language for managing feature models. SAC (2011)
Nelly Bencomo, Gordon S. Blair, Robert B. France, Betty H. C. Cheng, Cédric Jeanneret
Summary of the 6th International Workshop on Models@run.time. MoDELS (Workshops) (2011)
Barrett R. Bryant, Jeff Gray, Marjan Mernik, Peter J. Clarke, Robert B. France, Gabor Karsai
Challenges and directions in formalizing the semantics of modeling languages. Comput. Sci. Inf. Syst. 8 (2) (2011)
Mathieu Acher, Philippe Collet, Philippe Lahire, Robert B. France
Slicing feature models. ASE (2011)
Mathieu Acher, Philippe Collet, Philippe Lahire, Robert B. France
Decomposing feature models: language, environment, and applications. ASE (2011)
Robert B. France
Teaching Programming Students how to Model: Challenges & Opportunities. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 52 (2011)
Uwe Aßmann, Nelly Bencomo, Betty H. C. Cheng, Robert B. France
Models@run.time (Dagstuhl Seminar 11481). Dagstuhl Reports 1 (11) (2011)
Wuliang Sun, Robert B. France, Indrakshi Ray
Supporting Iterative Development of Robust Operation Contracts in UML Requirements Models. HASE (2011)
Robert B. France, Bernhard Rumpe
The 8th Annual State of SoSyM Report. Softw. Syst. Model. 9 (1) (2010)
Yali Wu, Frank Hernandez, Francisco Ortega, Peter J. Clarke, Robert B. France
Measuring the effort for creating and using domain-specific models. DSM@SPLASH (2010)
Robert B. France, Bernhard Rumpe
Modeling for the cloud. Softw. Syst. Model. 9 (2) (2010)
Sébastien Mosser, Mireille Blay-Fornarino, Robert B. France
Workflow Design Using Fragment Composition - Crisis Management System Design through ADORE. LNCS Trans. Aspect Oriented Softw. Dev. 7 (2010)
Benoit Baudry, Sudipto Ghosh, Franck Fleurey, Robert B. France, Yves Le Traon, Jean-Marie Mottu
Barriers to systematic model transformation testing. Commun. ACM 53 (6) (2010)
Mathieu Acher, Philippe Collet, Philippe Lahire, Robert B. France
Managing Variability in Workflow with Feature Model Composition Operators. SC@TOOLS (2010)
Mathieu Acher, Philippe Collet, Philippe Lahire, Robert B. France
Comparing Approaches to Implement Feature Model Composition. ECMFA (2010)

Robert B. France.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Robert B. France