Robert B. France
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
80
Venues
19
Active years
1993–2016
Best venue rank
A*
Where they publish
Papers
80 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2016 | CaiSE | Discovering Potential Interaction Violations among Requirements. | Curtis C. R. Busby Earle, Robert B. France |
| 2015 | ICISS | Modeling of Online Social Network Policies Using an Attribute-Based Access Control Framework. | Phillipa Bennett, Indrakshi Ray, Robert B. France |
| 2014 | MODELS | SIGMA: Scala Internal Domain-Specific Languages for Model Manipulations. | Filip Krikava, Philippe Collet, Robert B. France |
| 2014 | MODELS | The Relevance of Model-Driven Engineering Thirty Years from Now. | Gunter Mussbacher, Daniel Amyot, Ruth Breu, Jean-Michel Bruel, Betty H. C. Cheng, Philippe Collet, Benot Combemale, Robert B. France, Rogardt Heldal, James H. Hill, Jrg Kienzle, Matthias Schttle, Friedrich Steimann, Dave R. Stikkolorum, Jon Whittle |
| 2014 | SAC | Using models to dynamically refactor runtime code. | Mohammed Al-Refai, Walter Cazzola, Robert B. France |
| 2014 | SAC | ACTRESS: domain-specific modeling of self-adaptive software architectures. | Filip Krikava, Philippe Collet, Robert B. France |
| 2014 | SAC | Manipulating models using internal domain-specific languages. | Filip Krikava, Philippe Collet, Robert B. France |
| 2014 | SLE | Evaluating the Usability of a Visual Feature Modeling Notation. | Aleksandar Jaksic, Robert B. France, Philippe Collet, Sudipto Ghosh |
| 2013 | DBSEC | Hypervisor Event Logs as a Source of Consistent Virtual Machine Evidence for Forensic Cloud Investigations. | Sean S. E. Thorpe, Indrajit Ray, Tyrone Grandison, Abbie Barbir, Robert B. France |
| 2013 | ECOOP | GlobalDSL 2013: First Workshop on the Globalization of Domain Specific Languages. | Benot Combemale, Walter Cazzola, Robert B. France |
| 2013 | ICECCS | Rigorous Analysis of Temporal Access Control Properties in Mobile Systems. | Mustafa Al-Lail, Ramadan Abdunabi, Robert B. France, Indrakshi Ray |
| 2013 | ICSE | 5th international workshop on modeling in software engineering (MiSE 2013). | Joanne M. Atlee, Robert Baillargeon, Marsha Chechik, Robert B. France, Jeff Gray, Richard F. Paige, Bernhard Rumpe |
| 2013 | MODELS | Composing Your Compositions of Variability Models. | Mathieu Acher, Benot Combemale, Philippe Collet, Olivier Barais, Philippe Lahire, Robert B. France |
| 2013 | MODELS | An Approach to Analyzing Temporal Properties in UML Class Models. | Mustafa Al-Lail, Ramadan Abdunabi, Robert B. France, Indrakshi Ray |
| 2013 | MODELS | Introduction. | Balbir Barn, Tony Clark, Robert B. France, Ulrich Frank, Vinay Kulkarni, Dan Turk |
| 2013 | MODELS | Summary of the 8th International Workshop on Models @ Run.time. | Nelly Bencomo, Robert B. France, Sebastian Gtz, Bernhard Rumpe |
| 2013 | MODELS | Fine-Grained Software Evolution Using UML Activity and Class Models. | Walter Cazzola, Nicole Alicia Rossini, Mohammed Al-Refai, Robert B. France |
| 2013 | MODELS | An Approach to Testing Java Implementation against Its UML Class Model. | Hector Miguel Chavez, Wuwei Shen, Robert B. France, Benjamin A. Mechling |
| 2013 | MODELS | Report on the First Workshop On the Globalization of Modeling Languages (GEMOC 2013). | Benot Combemale, Julien DeAntoni, Robert B. France, Frdric Boulanger, Sbastien Mosser, Marc Pantel, Bernhard Rumpe, Rick Salay, Martin Schindler |
| 2013 | MODELS | Contract-Aware Slicing of UML Class Models. | Wuliang Sun, Robert B. France, Indrakshi Ray |
| 2013 | MODELS | Analyzing Behavioral Refactoring of Class Models. | Wuliang Sun, Robert B. France, Indrakshi Ray |
| 2013 | SACMAT | Specification and analysis of access control policies for mobile applications. | Ramadan Abdunabi, Indrakshi Ray, Robert B. France |
| 2013 | SLE | Reifying Concurrency for Executable Metamodeling. | Benot Combemale, Julien De Antoni, Matias Vara Larsen, Frdric Mallet, Olivier Barais, Benoit Baudry, Robert B. France |
| 2012 | ICECCS | Systematic Scenario-Based Analysis of UML Design Class Models. | Lijun Yu, Robert B. France, Indrakshi Ray, Wuliang Sun |
| 2012 | ICSE | Repository for Model Driven Development (ReMoDD). | Robert B. France, James M. Bieman, Sai Pradeep Mandalaparty, Betty H. C. Cheng, Adam C. Jensen |
| 2012 | MODELS | Actor-based runtime model of adaptable feedback control loops. | Filip Krikava, Philippe Collet, Robert B. France |
| 2011 | COMPSAC | A DSML for Coordinating User-Centric Communication Services. | Yali Wu, Frank Hernandez, Peter J. Clarke, Robert B. France |
| 2011 | MODELS | Summary of the 6th International Workshop on Models@run.time. | Nelly Bencomo, Gordon S. Blair, Robert B. France, Betty H. C. Cheng, Cdric Jeanneret |
| 2011 | MODELS | Service-Oriented Architecture Modeling: Bridging the Gap between Structure and Behavior. | Mickael Clavreul, Sbastien Mosser, Mireille Blay-Fornarino, Robert B. France |
| 2011 | MODELS | Model-Driven Engineering and Optimizing Compilers: A Bridge Too Far? | Antoine Floch, Tomofumi Yuki, Clment Guy, Steven Derrien, Benot Combemale, Sanjay V. Rajopadhye, Robert B. France |
| 2011 | MODELS | Comparing Six Modeling Approaches. | Gunter Mussbacher, Wisam Al Abed, Omar Alam, Shaukat Ali, Antoine Beugnard, Valentin Bonnet, Rolv Brk, Alfredo Capozucca, Betty H. C. Cheng, Urooj Fatima, Robert B. France, Geri Georg, Nicolas Guelfi, Paul Istoan, Jean-Marc Jzquel, Jrg Kienzle, Jacques Klein, Jean-Baptiste Lzoray, Somayeh Malakuti, Ana Moreira, An Phung-Khac, Lucy J. Troup |
| 2011 | SAC | A domain-specific language for managing feature models. | Mathieu Acher, Philippe Collet, Philippe Lahire, Robert B. France |
| 2010 | OOPSLA | Measuring the effort for creating and using domain-specific models. | Yali Wu, Frank Hernandez, Francisco R. Ortega, Peter J. Clarke, Robert B. France |
| 2009 | ICECCS | A Rigorous Approach to Uncovering Security Policy Violations in UML Designs. | Lijun Yu, Robert B. France, Indrakshi Ray, Sudipto Ghosh |
| 2009 | ICSE | Modeling in Software Engineering (MiSE 09). | Robert Baillargeon, Bernhard Rumpe, Steven Vlkel, Robert B. France, Geri Georg, Steffen Zschaler |
| 2009 | MODELS | 4 | Nelly Bencomo, Gordon S. Blair, Robert B. France, Freddy Muoz, Cdric Jeanneret |
| 2009 | MODELS | Teaching Modeling: Why, When, What? | Jean Bzivin, Robert B. France, Martin Gogolla, ystein Haugen, Gabriele Taentzer, Dniel Varr |
| 2009 | MODELS | Educators' Symposium at MODELS 2009. | Robert B. France, Martin Gogolla |
| 2009 | MODELS | Essentials of the 5th Educators' Symposium at MODELS 2009. | Robert B. France, Martin Gogolla |
| 2009 | SLE | Composing Feature Models. | Mathieu Acher, Philippe Collet, Philippe Lahire, Robert B. France |
| 2008 | ICSE | Modeling in software engineering. | Joanne M. Atlee, Robert B. France, Geri Georg, Ana Moreira, Bernhard Rumpe, Steven Vlkel, Steffen Zschaler |
| 2008 | MODELS | Third International Workshop on Models@run.time. | Nelly Bencomo, Gordon S. Blair, Robert B. France, Freddy Muoz, Cdric Jeanneret |
| 2008 | MODELS | Scenario-Based Static Analysis of UML Class Models. | Lijun Yu, Robert B. France, Indrakshi Ray |
| 2007 | DAIS | Construction and Execution of Adaptable Applications Using an Aspect-Oriented and Model Driven Approach. | Sten A. Lundesgaard, Arnor Solberg, Jon Oldevik, Robert B. France, Jan yvind Aagedal, Frank Eliassen |
| 2007 | EDOC | Providing Support for Model Composition in Metamodels. | Robert B. France, Franck Fleurey, Raghu Reddy, Benoit Baudry, Sudipto Ghosh |
| 2007 | EDOC | Modeling and Integrating Aspects into Component Architectures. | Lydia Michotte, Robert B. France, Franck Fleurey |
| 2007 | ICECCS | A light-weight static approach to analyzing UML behavioral properties. | Lijun Yu, Robert B. France, Indrakshi Ray, Kevin Lano |
| 2007 | ICSE | Modeling in Software Engineering. | Joanne M. Atlee, Robert B. France, Geri Georg, Ana Moreira, Bernhard Rumpe, Steffen Zschaler |
| 2007 | ICSE | Model-driven Development of Complex Software: A Research Roadmap. | Robert B. France, Bernhard Rumpe |
| 2007 | ICSE | On the Contributions of an End-to-End AOSD Testbed. | Phil Greenwood, Alessandro F. Garcia, Awais Rashid, Eduardo Figueiredo, Cludio Sant'Anna, Nlio Cacho, Amrico Sampaio, Srgio Soares, Paulo Borba, Marcos Dsea, Ricardo Argenton Ramos, Uir Kulesza, Thiago T. Bartolomei, Mnica Pinto, Lidia Fuentes, Nadia Gmez, Ana Moreira, Joo Arajo, Thas Batista, Ana Luisa Medeiros, Francisco Dantas, Lyrene Fernandes da Silva, Jan Wloka, Christina Chavez, Robert B. France, Isabel Sofia Brito |
| 2007 | MODELS | Second International Workshop on Models@run.time. | Nelly Bencomo, Robert B. France, Gordon S. Blair |
| 2007 | MODELS | A Generic Approach for Automatic Model Composition. | Franck Fleurey, Benoit Baudry, Robert B. France, Sudipto Ghosh |
| 2006 | ISSRE | A Systematic Approach to Generate Inputs to Test UML Design Models. | Trung T. Dinh-Trong, Sudipto Ghosh, Robert B. France |
| 2006 | MODELS | Summary of the Workshop Models@run.time at MoDELS 2006. | Nelly Bencomo, Gordon S. Blair, Robert B. France |
| 2006 | MODELS | Repository for Model Driven Development (ReMoDD). | Robert B. France, James M. Bieman, Betty H. C. Cheng |
| 2006 | MODELS | Critical Systems Development Using Modeling Languages - CSDUML 2006 Workshop Report. | Geri Georg, Siv Hilde Houmb, Robert B. France, Steffen Zschaler, Dorina C. Petriu, Jan Jrjens |
| 2005 | COMPSAC | Using Aspect Oriented Techniques to Support Separation of Concerns in Model Driven Development. | Arnor Solberg, Devon M. Simmonds, Raghu Reddy, Sudipto Ghosh, Robert B. France |
| 2005 | EDOC | An Aspect Oriented Model Driven Framework. | Devon M. Simmonds, Raghu Reddy, Robert B. France, Sudipto Ghosh, Arnor Solberg |
| 2005 | ICECCS | A Tool-Supported Approach to Testing UML Design Models. | Trung T. Dinh-Trong, Nilesh Kawane, Sudipto Ghosh, Robert B. France, Anneliese Amschler Andrews |
| 2005 | ICECCS | Cost-Benefit Trade-Off Analysis Using BBN for Aspect-Oriented Risk-Driven Development. | Siv Hilde Houmb, Geri Georg, Robert B. France, James M. Bieman, Jan Jrjens |
| 2005 | SACMAT | Verifiable composition of access control and application features. | Eunjee Song, Raghu Reddy, Robert B. France, Indrakshi Ray, Geri Georg, Roger T. Alexander |
| 2004 | FASE | Modeling Role-Based Access Control Using Parameterized UML Models. | Dae-Kyoo Kim, Indrakshi Ray, Robert B. France, Na Li |
| 2004 | ICECCS | Supporting Rigorous Evolution of UML Models. | Sheena R. Judson, Robert B. France, Doris L. Carver |
| 2004 | SACMAT | Using uml to visualize role-based access control constraints. | Indrakshi Ray, Na Li, Robert B. France, Dae-Kyoo Kim |
| 2003 | COMPSAC | A Role-Based Metamodeling Approach to Specifying Design Patterns. | Dae-Kyoo Kim, Robert B. France, Sudipto Ghosh, Eunjee Song |
| 2003 | ISSRE | Test Adequacy Assessment for UML Design Model Testing. | Sudipto Ghosh, Robert B. France, Conrad Braganza, Nilesh Kawane, Anneliese Amschler Andrews, Orest Pilskalns |
| 2003 | OOPSLA | A metamodeling approach to model transformation. | Sheena R. Judson, Doris L. Carver, Robert B. France |
| 2002 | ICECCS | Using Aspects to Design a Secure System. | Geri Georg, Indrakshi Ray, Robert B. France |
| 2002 | ICECCS | Using Role-Based Modeling Language (RBML) to Characterize Model Families. | Dae-Kyoo Kim, Robert B. France, Sudipto Ghosh, Eunjee Song |
| 2001 | ICSE | UML for Software Engineers. | Robert B. France, Cris Kobryn |
| 1999 | DATE | Reasoning about VHDL and VHDL-AMS using Denotational Semantics. | Peter T. Breuer, Natividad Martnez Madrid, Jonathan P. Bowen, Robert B. France, Maria M. Larrondo-Petrie, Carlos Delgado Kloos |
| 1999 | ISSRE | Generating test cases from an OO model with an AI planning system. | Anneliese von Mayrhauser, Robert B. France |
| 1999 | OOPSLA | A Problem-Oriented Analysis of Basic UML Static Requirements Modeling Concepts. | Robert B. France |
| 1997 | COMPSAC | Towards a formalization of UML class structures in Z. | Malcolm Shroff, Robert B. France |
| 1997 | ICFEM | Towards a Rigorous Object-Oriented Analysis and Design Method. | Robert B. France, Jean-Michel Bruel, Maria M. Larrondo-Petrie, Emanuel S. Grant, Minika Saksena |
| 1996 | CaiSE | Guidelines for Formalizing Fusion Object-Oriented Analysis Methods . | B. W. Bates, Jean-Michel Bruel, Robert B. France, Maria M. Larrondo-Petrie |
| 1996 | ICECCS | A Z-based Approach to Specifying and Analyzing Complex Systems. | Jean-Michel Bruel, Robert B. France, Abdelmalek Benzekri |
| 1995 | DBSEC | A Formal Specification of an Authorization Model for Object-Oriented Databases. | Eduardo B. Fernndez, Robert B. France, D. Wei |
| 1995 | ICECCS | Formal specification of real-time dependable systems. | Eduardo B. Fernndez, Robert B. France |
| 1993 | ICCI | Towards CASE Tool Support for Rigorous Structured Analysis. | Robert B. France, Thomas W. G. Docker |