Formal Specification Using Structured Systems Analysis. - Robert B. France; Thomas W. G. Docker (ESEC, 1989)

Flexibility and Rigour in Structured Analysis. - Thomas W. G. Docker; Robert B. France (IFIP Congress, 1989)

Integrated Structured Analysis and Formal Specification Techniques. - Lesley Semmens; Robert B. France; Thomas W. G. Docker (Comput. J., 1992)

Semantically Extended Data Flow Diagrams: A Formal Specification Tool. - Robert B. France (IEEE Trans. Software Eng., 1992)

Towards CASE Tool Support for Rigorous Structured Analysis. - Robert B. France; Thomas W. G. Docker (ICCI, 1993)

A predicative basis for structured analysis specification tools. - Robert B. France (Inf. Softw. Technol., 1993)

From Structured Analysis to Formal Specifications: State of the Theory. - Robert B. France; Maria M. Larrondo-Petrie (ACM Conference on Computer Science, 1994)

Understanding the Role of Formal Specification Techniques in Requirements Engineering. - Robert B. France; Maria M. Larrondo-Petrie (CSEE, 1995)

A Formal Specification of an Authorization Model for Object-Oriented Databases. - Eduardo B. Fernández; Robert B. France; D. Wei (DBSec, 1995)

Formal specification of real-time dependable systems. - Eduardo B. Fernández; Robert B. France (ICECCS, 1995)

Applying Domain Analysis and Modeling: An Industrial Experience. - Robert B. France; Thomas B. Horton (SSR, 1995)

A Two-Dimensional View of Integrated Formal and Informal Specification Techniques. - Robert B. France; Maria M. Larrondo-Petrie (ZUM, 1995)

Guidelines for Formalizing Fusion Object-Oriented Analysis Methods . - B. W. Bates; Jean-Michel Bruel; Robert B. France; Maria M. Larrondo-Petrie (CAiSE, 1996)

A Z-based Approach to Specifying and Analyzing Complex Systems. - Jean-Michel Bruel; Robert B. France; Abdelmalek Benzekri (ICECCS, 1996)

Rigorous Object-Oriented Modeling: Integrating Formal and Informal Notations. - Robert B. France; Jean-Michel Bruel; Maria M. Larrondo-Petrie; Emanuel S. Grant (AMAST, 1997)

Towards a formalization of UML class structures in Z. - Malcolm Shroff; Robert B. France (COMPSAC, 1997)

Integrated Informal Object-Oriented and Formal Modeling Techniques. - Robert B. France; Jean-Michel Bruel (ECOOP Workshops, 1997)

Towards a Rigorous Object-Oriented Analysis and Design Method. - Robert B. France; Jean-Michel Bruel; Maria M. Larrondo-Petrie; Emanuel S. Grant; Minika Saksena (ICFEM, 1997)

Towards Semantic-Based Object-Oriented CASE Tools. - Robert B. France; Matthew P. Evett; Emanuel S. Grant (ASE, 1997)

From Domain Models to Architecture Frameworks. - Jacques Meekel; Thomas B. Horton; Robert B. France; Charlie Mellone; Sajid Dalvi (SSR, 1997)

An Integrated Object-Oriented and Formal Modeling Environment. - Robert B. France; Jean-Michel Bruel; Maria M. Larrondo-Petrie (J. Object Oriented Program., 1997)

Extending Aggregation Constructs in UML. - Minika Saksena; Maria M. Larrondo-Petrie; Robert B. France; Matthew P. Evett (UML, 1998)

The UML as a formal modeling notation. - Robert B. France; Andy Evans; Kevin Lano; Bernhard Rumpe (Comput. Stand. Interfaces, 1998)

Meta-Modelling Semantics of UML. - Andy Evans; Robert B. France; Kevin Lano; Bernhard Rumpe (Behavioral Specifications of Businesses and Systems, 1999)

Reasoning about VHDL and VHDL-AMS using Denotational Semantics. - Peter T. Breuer; Natividad Martínez Madrid; Jonathan P. Bowen; Robert B. France; Maria M. Larrondo-Petrie; Carlos Delgado Kloos (DATE, 1999)

Aggregation. - Andy Evans; Robert B. France; Guy Genilloud; Brian Henderson-Sellers; Perdita Stevens (ECOOP Workshops, 1999)

Is a Precise Semantics Desirable? For What Purpose? - Stuart Kent 001; Bernhard Rumpe; Andy Evans; Robert B. France (ECOOP Workshops, 1999)

What Does the Term Semantics Mean in the Context of UML. - Bernhard Rumpe; Stuart Kent 001; Andy Evans; Robert B. France (ECOOP Workshops, 1999)

Generating test cases from an OO model with an AI planning system. - Anneliese von Mayrhauser; Robert B. France (ISSRE, 1999)

A Problem-Oriented Analysis of Basic UML Static Requirements Modeling Concepts. - Robert B. France (OOPSLA, 1999)

Defining Precise Semantics for UML. - Jean-Michel Bruel; Johan Lilius; Ana M. D. Moreira; Robert B. France (ECOOP Workshops, 2000)

UML2Z: An UML-Based Object-Oriented Modeling Tool for an Internet Integrated Formalization Process. - Emanuel S. Grant; Robert B. France; Ramchander Varadarajan; Adam Carheden; Jean-Michel Bruel (OOIS, 2000)

A Semantic Comparison of Fusion and Syntropy. - Kevin Lano; Robert B. France; Jean-Michel Bruel (Comput. J., 2000)

Generating test-cases from an object-oriented model with an artifical-intelligence planning system. - Anneliese von Mayrhauser; Robert B. France; Michael Scheetz; Eric Dahlman (IEEE Trans. Reliab., 2000)

UML for Software Engineers. - Robert B. France; Cris Kobryn (ICSE, 2001)

Multi-View Software Evolution: A UML-based Framework for Evolving Object-Oriented Software. - Robert B. France; James M. Bieman (ICSM, 2001)

Extending the UML to Support Evolution Management. - Robert B. France; James M. Bieman; Ray Trask (ICSM, 2001)

Improving the UML Metamodel to Rigorously Specify Aggregation and Composition. - Jean-Michel Bruel; Brian Henderson-Sellers; Franck Barbier; Annig Le Parc; Robert B. France (OOIS, 2001)

Towards a Model-Driven Approach to Reuse. - Robert B. France; Sudipto Ghosh 001; Daniel E. Turk (OOIS, 2001)

Using Alloy and UML/OCL to Specify Run-Time Configuration Management: A Case Study. - Geri Georg; Jores Bieman; Robert B. France (pUML, 2001)

RIGR - A Repository Model Based Approach to Management. - Ray Trask; Robert B. France (pUML, 2001)

Integration and Transformation of UML Models. - João Araújo 001; Jonathan Whittle 001; José Ambrosio Toval Álvarez; Robert B. France (ECOOP Workshops, 2002)

Using Aspects to Design a Secure System. - Geri Georg; Indrakshi Ray; Robert B. France (ICECCS, 2002)

Using Role-Based Modeling Language (RBML) to Characterize Model Families. - Dae-Kyoo Kim; Robert B. France; Sudipto Ghosh 001; Eunjee Song (ICECCS, 2002)

Object-Oriented Theories for Model Driven Architecture. - Tony Clark 001; Andy Evans; Robert B. France (OOIS Workshops, 2002)

UML Aspect Specification Using Role Models. - Geri Georg; Robert B. France (OOIS, 2002)

Tool Support for Aspect-Oriented Design. - François Mekerke; Geri Georg; Robert B. France (OOIS Workshops, 2002)

Model-Driven Approaches to Software Development. - Daniel E. Turk; Robert B. France; Bernhard Rumpe; Geri Georg (OOIS Workshops, 2002)

Designing High Integrity Systems Using Aspects. - Geri Georg; Robert B. France; Indrakshi Ray (IICIS, 2002)

First Issue of the International Journal on Software and Systems Modeling. - Robert B. France; Bernhard Rumpe (Softw. Syst. Model., 2002)

A Role-Based Metamodeling Approach to Specifying Design Patterns. - Dae-Kyoo Kim; Robert B. France; Sudipto Ghosh 001; Eunjee Song (COMPSAC, 2003)

Test Adequacy Assessment for UML Design Model Testing. - Sudipto Ghosh 001; Robert B. France; Conrad Braganza; Nilesh Kawane; Anneliese Amschler Andrews; Orest Pilskalns (ISSRE, 2003)

A metamodeling approach to model transformation. - Sheena R. Judson; Doris L. Carver; Robert B. France (OOPSLA Companion, 2003)

Using Parameterized UML to Specify and Compose Access Control Models. - Indrakshi Ray; Na Li; Dae-Kyoo Kim; Robert B. France (IICIS, 2003)

Rigorous Testing by Merging Structural and Behavioral UML Representations. - Orest Pilskalns; Anneliese Amschler Andrews; Sudipto Ghosh 001; Robert B. France (UML, 2003)

Supporting Effective Software Modeling. - Robert B. France; Sudipto Ghosh 001; Daniel E. Turk (Obj. Logiciel Base données Réseaux, 2003)

A Metamodeling Approach to Pattern-Based Model Refactoring. - Robert B. France; Sudipto Ghosh 001; Eunjee Song; Dae-Kyoo Kim (IEEE Softw., 2003)

Editorial - Model engineering. - Robert B. France; Bernhard Rumpe (Softw. Syst. Model., 2003)

Editorial. - Robert B. France; Bernhard Rumpe (Softw. Syst. Model., 2003)

Test adequacy criteria for UML design models. - Anneliese Amschler Andrews; Robert B. France; Sudipto Ghosh 001; Gerald Craig (Softw. Test. Verification Reliab., 2003)

Requirements Trade-offs During UML Design. - Anneliese Amschler Andrews; Per Runeson; Robert B. France (ECBS, 2004)

Modeling Role-Based Access Control Using Parameterized UML Models. - Dae-Kyoo Kim; Indrakshi Ray; Robert B. France; Na Li (FASE, 2004)

Supporting Rigorous Evolution of UML Models. - Sheena R. Judson; Robert B. France; Doris L. Carver (ICECCS, 2004)

Using uml to visualize role-based access control constraints. - Indrakshi Ray; Na Li; Robert B. France; Dae-Kyoo Kim (SACMAT, 2004)

EPTUD: An Eclipse Plugin for Testing UML Designs. - Trung T. Dinh-Trong; Nilesh Kawane; Sudipto Ghosh 001; Robert B. France; Anneliese Amschler Andrews (UML Satellite Activities, 2004)

Specifying Cross-Cutting Requirement Concerns. - Geri Georg; Raghu Reddy; Robert B. France (UML, 2004)

Critical Systems Development Using Modeling Languages (CSDUML-04): Current Developments and Future Challenges (Report on the Third International Workshop). - Jan Jürjens; Eduardo B. Fernández; Robert B. France; Bernhard Rumpe; Constance L. Heitmeyer (UML Satellite Activities, 2004)

Model Composition Directives. - Greg Straw; Geri Georg; Eunjee Song; Sudipto Ghosh 001; Robert B. France; James M. Bieman (UML, 2004)

Aspect-oriented approach to early design modelling. - Robert B. France; Indrakshi Ray; Geri Georg; Sudipto Ghosh 001 (IEE Proc. Softw., 2004)

An aspect-based approach to modeling access control concerns. - Indrakshi Ray; Robert B. France; Na Li; Geri Georg (Inf. Softw. Technol., 2004)

A software engineering research repository. - Roger T. Alexander; James M. Bieman; Robert B. France (ACM SIGSOFT Softw. Eng. Notes, 2004)

In search of effective design abstractions. - Robert B. France; Bernhard Rumpe (Softw. Syst. Model., 2004)

Assessing model quality. - Robert B. France; Bernhard Rumpe (Softw. Syst. Model., 2004)

SoSyM at three. - Robert B. France; Bernhard Rumpe (Softw. Syst. Model., 2004)

A UML-Based Pattern Specification Technique. - Robert B. France; Dae-Kyoo Kim; Sudipto Ghosh 001; Eunjee Song (IEEE Trans. Software Eng., 2004)

A UML-based language for specifying domain-specific patterns. - Dae-Kyoo Kim; Robert B. France; Sudipto Ghosh 001 (J. Vis. Lang. Comput., 2004)

Using Aspect Oriented Techniques to Support Separation of Concerns in Model Driven Development. - Arnor Solberg; Devon M. Simmonds; Raghu Reddy; Sudipto Ghosh 001; Robert B. France (COMPSAC (1), 2005)

UMLAnT: an Eclipse plugin for animating and testing UML designs. - Trung T. Dinh-Trong; Sudipto Ghosh 001; Robert B. France; Michael Hamilton; Brent Wilkins (eTX, 2005)

An Aspect Oriented Model Driven Framework. - Devon M. Simmonds; Raghu Reddy; Robert B. France; Sudipto Ghosh 001; Arnor Solberg (EDOC, 2005)

A Tool-Supported Approach to Testing UML Design Models. - Trung T. Dinh-Trong; Nilesh Kawane; Sudipto Ghosh 001; Robert B. France; Anneliese Amschler Andrews (ICECCS, 2005)

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 Jürjens (ICECCS, 2005)

Verifiable composition of access control and application features. - Eunjee Song; Raghu Reddy; Robert B. France; Indrakshi Ray; Geri Georg; Roger T. Alexander (SACMAT, 2005)

A Model-based approach to Managing Enterprise Information Systems. - Robert B. France; Roger Burkhart; Charmaine DeLisser (WSMDEIS, 2005)

Assumptions Underlying Agile Software-Development Processes. - Daniel E. Turk; Robert B. France; Bernhard Rumpe (J. Database Manag., 2005)

Domain specific modeling. - Robert B. France; Bernhard Rumpe (Softw. Syst. Model., 2005)

Model aesthetics. - Robert B. France; Bernhard Rumpe (Softw. Syst. Model., 2005)

Modeling Paradigms. - Robert B. France; Bernhard Rumpe (Softw. Syst. Model., 2005)

A middleware-transparent approach to developing distributed applications. - Sudipto Ghosh 001; Robert B. France; Devon M. Simmonds; Abhijit Bare; Brahmila Kamalakar; Roopashree P. Shankar; Gagan Tandon; Peter Vile; Shuxin Yin (Softw. Pract. Exp., 2005)

A Framework for Design Tradeoffs. - Anneliese Amschler Andrews; Ed Mancebo; Per Runeson; Robert B. France (Softw. Qual. J., 2005)

A Systematic Approach to Generate Inputs to Test UML Design Models. - Trung T. Dinh-Trong; Sudipto Ghosh 001; Robert B. France (ISSRE, 2006)

Summary of the Workshop Models@run.time at MoDELS 2006. - Nelly Bencomo; Gordon S. Blair; Robert B. France (MoDELS (Workshops), 2006)

Repository for Model Driven Development (ReMoDD). - Robert B. France; James M. Bieman; Betty H. C. Cheng (MoDELS (Workshops), 2006)

Critical Systems Development Using Modeling Languages - CSDUML 2006 Workshop Report. - Geri Georg; Siv Hilde Houmb; Robert B. France; Steffen Zschaler; Dorina C. Petriu; Jan Jürjens (MoDELS (Workshops), 2006)

Model-Driven Development Using UML 2.0: Promises and Pitfalls. - Robert B. France; Sudipto Ghosh 001; Trung T. Dinh-Trong; Arnor Solberg (Computer, 2006)

Developing Distributed Services Using an Aspect Oriented Model Driven Framework. - Arnor Solberg; Devon M. Simmonds; Raghu Reddy; Robert B. France; Sudipto Ghosh 001; Jan Øyvind Aagedal (Int. J. Cooperative Inf. Syst., 2006)

Modeling the Complex Living World. - Robert B. France; Bernhard Rumpe (Softw. Syst. Model., 2006)

Editorial for the SoSyM issue 2006/02. - Robert B. France; Bernhard Rumpe (Softw. Syst. Model., 2006)

Five years of modeling in SoSyM. - Robert B. France; Bernhard Rumpe (Softw. Syst. Model., 2006)

Directives for Composing Aspect-Oriented Design Class Models. - Y. Raghu Reddy; Sudipto Ghosh 001; Robert B. France; Greg Straw; James M. Bieman; Nathan McEachen; Eunjee Song; Geri Georg (LNCS Trans. Aspect Oriented Softw. Dev., 2006)

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 (DAIS, 2007)

Model-Driven Software Adaptation. - Nelly Bencomo; Gordon S. Blair; Robert B. France (ECOOP Workshops, 2007)

Providing Support for Model Composition in Metamodels. - Robert B. France; Franck Fleurey; Raghu Reddy; Benoit Baudry; Sudipto Ghosh 001 (EDOC, 2007)

Modeling and Integrating Aspects into Component Architectures. - Lydia Michotte; Robert B. France; Franck Fleurey (EDOC, 2007)

A light-weight static approach to analyzing UML behavioral properties. - Lijun Yu; Robert B. France; Indrakshi Ray; Kevin Lano (ICECCS, 2007)

Modeling in Software Engineering. - Joanne M. Atlee; Robert B. France; Geri Georg; Ana Moreira 001; Bernhard Rumpe; Steffen Zschaler (ICSE Companion, 2007)

Model-driven Development of Complex Software: A Research Roadmap. - Robert B. France; Bernhard Rumpe (FOSE, 2007)

On the Contributions of an End-to-End AOSD Testbed. - Phil Greenwood; Alessandro F. Garcia 001; Awais Rashid; Eduardo Figueiredo 001; Cláudio Sant'Anna; Nélio Cacho; Américo Sampaio; Sérgio Soares; Paulo Borba; Marcos Dósea; Ricardo Argenton Ramos; Uirá Kulesza; et al. (EA@ICSE, 2007)

Realizing the Model Driven Engineering Vision. - Robert B. France (LMO, 2007)

Second International Workshop on Models@run.time. - Nelly Bencomo; Robert B. France; Gordon S. Blair (MoDELS (Workshops), 2007)

A Generic Approach for Automatic Model Composition. - Franck Fleurey; Benoit Baudry; Robert B. France; Sudipto Ghosh 001 (MoDELS (Workshops), 2007)

Performance analysis of security aspects in UML models. - Dorina C. Petriu; C. Murray Woodside; Dorin Bogdan Petriu; Jing Xu 024; Toqeer Israr; Geri Georg; Robert B. France; James M. Bieman; Siv Hilde Houmb; Jan Jürjens (WOSP, 2007)

A method engineering approach to developing aspect-oriented modelling processes based on the OPEN process framework. - Brian Henderson-Sellers; Robert B. France; Geri Georg; Raghu Reddy (Inf. Softw. Technol., 2007)

Testing UML designs. - Orest Pilskalns; Anneliese Amschler Andrews; Andrew Knight; Sudipto Ghosh 001; Robert B. France (Inf. Softw. Technol., 2007)

Does model driven engineering tame complexity? - Robert B. France; Bernhard Rumpe (Softw. Syst. Model., 2007)

Feedback on our editorials. - Robert B. France; Bernhard Rumpe (Softw. Syst. Model., 2007)

Six years of modeling in SoSyM. - Robert B. France; Bernhard Rumpe (Softw. Syst. Model., 2007)

A reference process for model composition. - Cédric Jeanneret; Robert B. France; Benoit Baudry (AOM@AOSD, 2008)

Modeling in software engineering. - Joanne M. Atlee; Robert B. France; Geri Georg; Ana Moreira 001; Bernhard Rumpe; Steven Völkel; Steffen Zschaler (ICSE Companion, 2008)

Third International Workshop on Models@run.time. - Nelly Bencomo; Gordon S. Blair; Robert B. France; Freddy Muñoz; Cédric Jeanneret (MoDELS (Workshops), 2008)

Scenario-Based Static Analysis of UML Class Models. - Lijun Yu; Robert B. France; Indrakshi Ray (MoDELS, 2008)

Aspect Oriented Modeling of Component Architectures Using AADL. - Lydia Michotte; Thomas Vergnaud; Peter H. Feiler; Robert B. France (NTMS, 2008)

Fair treatment of evaluations in reviews. - Robert B. France (Softw. Syst. Model., 2008)

Model-based development. - Robert B. France; Bernhard Rumpe (Softw. Syst. Model., 2008)

Correct development of real time and embedded systems. - Robert B. France; Bernhard Rumpe (Softw. Syst. Model., 2008)

A Rigorous Approach to Uncovering Security Policy Violations in UML Designs. - Lijun Yu; Robert B. France; Indrakshi Ray; Sudipto Ghosh 001 (ICECCS, 2009)

Modeling in Software Engineering (MiSE 09). - Robert Baillargeon; Bernhard Rumpe; Steven Völkel; Robert B. France; Geri Georg; Steffen Zschaler (ICSE Companion, 2009)

4th International Workshop on Models@run.time. - Nelly Bencomo; Gordon S. Blair; Robert B. France; Freddy Muñoz; Cédric Jeanneret (MoDELS (Workshops), 2009)

Teaching Modeling: Why, When, What? - Jean Bézivin; Robert B. France; Martin Gogolla; Øystein Haugen; Gabriele Taentzer; Dániel Varró (MoDELS (Workshops), 2009)

Educators' Symposium at MODELS 2009. - Robert B. France; Martin Gogolla (MoDELS, 2009)

Essentials of the 5th Educators' Symposium at MODELS 2009. - Robert B. France; Martin Gogolla (MoDELS (Workshops), 2009)

Composing Feature Models. - Mathieu Acher; Philippe Collet; Philippe Lahire; Robert B. France (SLE, 2009)

Models@ run.time. - Gordon S. Blair; Nelly Bencomo; Robert B. France (Computer, 2009)

Performance analysis of security aspects by weaving scenarios extracted from UML models. - C. Murray Woodside; Dorina C. Petriu; Dorin Bogdan Petriu; Jing Xu 024; Tauseef A. Israr; Geri Georg; Robert B. France; James M. Bieman; Siv Hilde Houmb; Jan Jürjens (J. Syst. Softw., 2009)

Workshop on modeling in software engineering at ICSE 2009. - Robert Baillargeon; Robert B. France; Steffen Zschaler; Bernhard Rumpe; Steven Völkel; Geri Georg (ACM SIGSOFT Softw. Eng. Notes, 2009)

Why Johnny can't model. - Robert B. France (Softw. Syst. Model., 2009)

SoSyM at 7 years. - Robert B. France; Bernhard Rumpe; Martin Schindler (Softw. Syst. Model., 2009)

Comparing Approaches to Implement Feature Model Composition. - Mathieu Acher; Philippe Collet; Philippe Lahire; Robert B. France (ECMFA, 2010)

Measuring the effort for creating and using domain-specific models. - Yali Wu; Frank Hernandez; Francisco R. Ortega 001; Peter J. Clarke; Robert B. France (DSM@SPLASH, 2010)

Managing Variability in Workflow with Feature Model Composition Operators. - Mathieu Acher; Philippe Collet; Philippe Lahire; Robert B. France (SC@TOOLS, 2010)

Barriers to systematic model transformation testing. - Benoit Baudry; Sudipto Ghosh 001; Franck Fleurey; Robert B. France; Yves Le Traon; Jean-Marie Mottu (Commun. ACM, 2010)

The 8th Annual State of SoSyM Report. - Robert B. France; Bernhard Rumpe (Softw. Syst. Model., 2010)

Modeling for the cloud. - Robert B. France; Bernhard Rumpe (Softw. Syst. Model., 2010)

Workflow Design Using Fragment Composition - Crisis Management System Design through ADORE. - Sébastien Mosser 001; Mireille Blay-Fornarino; Robert B. France (LNCS Trans. Aspect Oriented Softw. Dev., 2010)

A DSML for Coordinating User-Centric Communication Services. - Yali Wu; Frank Hernandez; Peter J. Clarke; Robert B. France (COMPSAC, 2011)

Mechanisms for Leveraging Models at Runtime in Self-adaptive Software. - Amel Bennaceur; Robert B. France; Giordano Tamburrelli; Thomas Vogel 001; Pieter J. Mosterman; Walter Cazzola; Fábio M. Costa; Alfonso Pierantonio; Matthias Tichy; Mehmet Aksit; Pär Emmanuelson; Gang Huang 001; et al. (Models@run.time@Dagstuhl, 2011)

Fine-Grained Semi-automated Runtime Evolution. - Walter Cazzola; Nicole Alicia Rossini; Phillipa Bennett; Sai Pradeep Mandalaparty; Robert B. France (Models@run.time@Dagstuhl, 2011)

Supporting Community-Driven Evolution of Model-Driven Development Knowledge Using ReMoDD. - Robert B. France (ECBS, 2011)

Supporting Iterative Development of Robust Operation Contracts in UML Requirements Models. - Wuliang Sun; Robert B. France; Indrakshi Ray (HASE, 2011)

Formal Parameterization of Log Synchronization Events within a Distributed Forensic Compute Cloud Database Environment. - Sean S. E. Thorpe; Indrakshi Ray; Indrajit Ray; Tyrone Grandison; Abbie Barbir; Robert B. France (ICDF2C, 2011)

Slicing feature models. - Mathieu Acher; Philippe Collet; Philippe Lahire; Robert B. France (ASE, 2011)

Decomposing feature models: language, environment, and applications. - Mathieu Acher; Philippe Collet; Philippe Lahire; Robert B. France (ASE, 2011)

Summary of the 6th International Workshop on Models@run.time. - Nelly Bencomo; Gordon S. Blair; Robert B. France; Betty H. C. Cheng; Cédric Jeanneret (MoDELS (Workshops), 2011)

Service-Oriented Architecture Modeling: Bridging the Gap between Structure and Behavior. - Mickael Clavreul; Sébastien Mosser 001; Mireille Blay-Fornarino; Robert B. France (MoDELS, 2011)

Model-Driven Engineering and Optimizing Compilers: A Bridge Too Far? - Antoine Floch; Tomofumi Yuki; Clément Guy; Steven Derrien; Benoît Combemale; Sanjay V. Rajopadhye; Robert B. France (MoDELS, 2011)

Comparing Six Modeling Approaches. - Gunter Mussbacher; Wisam Al Abed; Omar Alam; Shaukat Ali 001; Antoine Beugnard; Valentin Bonnet; Rolv Bræk; Alfredo Capozucca; Betty H. C. Cheng; Urooj Fatima; Robert B. France; Geri Georg; et al. (MoDELS (Workshops), 2011)

Rigorous Analysis of UML Access Control Policy Models. - Wuliang Sun; Robert B. France; Indrakshi Ray (POLICY, 2011)

A domain-specific language for managing feature models. - Mathieu Acher; Philippe Collet; Philippe Lahire; Robert B. France (SAC, 2011)

Managing feature models with familiar: a demonstration of the language and its tool support. - Mathieu Acher; Philippe Collet; Philippe Lahire; Robert B. France (VaMoS, 2011)

Challenges and directions in formalizing the semantics of modeling languages. - Barrett R. Bryant; Jeff Gray 001; Marjan Mernik; Peter J. Clarke; Robert B. France; Gabor Karsai (Comput. Sci. Inf. Syst., 2011)

Models@run.time (Dagstuhl Seminar 11481). - Uwe Aßmann; Nelly Bencomo; Betty H. C. Cheng; Robert B. France (Dagstuhl Reports, 2011)

Teaching Programming Students how to Model: Challenges & Opportunities. - Robert B. France (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2011)

Linking models and their storage artifacts. - Bernhard Rumpe; Robert B. France (Softw. Syst. Model., 2011)

Variability in UML language and semantics. - Bernhard Rumpe; Robert B. France (Softw. Syst. Model., 2011)

Separation of concerns in feature modeling: support and applications. - Mathieu Acher; Philippe Collet; Philippe Lahire; Robert B. France (AOSD, 2012)

Systematic Scenario-Based Analysis of UML Design Class Models. - Lijun Yu; Robert B. France; Indrakshi Ray; Wuliang Sun (ICECCS, 2012)

Repository for Model Driven Development (ReMoDD). - Robert B. France; James M. Bieman; Sai Pradeep Mandalaparty; Betty H. C. Cheng; Adam C. Jensen (ICSE, 2012)

Actor-based runtime model of adaptable feedback control loops. - Filip Krikava; Philippe Collet; Robert B. France (Models@run.time, 2012)

Open Models as a Foundation of Future Enterprise Systems (Dagstuhl Seminar 12131). - Robert B. France; Ulrich Frank; Andreas Oberweis; Matti Rossi; Stefan Strecker (Dagstuhl Reports, 2012)

The 2011 "State of the Journal" Report - Editorial for the SoSyM Issue 2012/01: Part 2. - Robert B. France; Geri Georg; Bernhard Rumpe; Martin Schindler (Softw. Syst. Model., 2012)

Data warehouse concepts for model artifacts? - Robert B. France; Bernhard Rumpe (Softw. Syst. Model., 2012)

Modeling to improve quality or efficiency? An automotive domain perspective. - Robert B. France; Bernhard Rumpe (Softw. Syst. Model., 2012)

The journal on Software and Systems Modeling Matures. - Robert B. France; Bernhard Rumpe (Softw. Syst. Model., 2012)

On the relationship between modeling and programming languages - Editorial for the SoSyM Issue 2012/01: Part 1. - Bernhard Rumpe; Robert B. France (Softw. Syst. Model., 2012)

A domain-specific modeling approach to realizing user-centric communication. - Yali Wu; Andrew A. Allen; Frank Hernandez; Robert B. France; Peter J. Clarke (Softw. Pract. Exp., 2012)

Composing multiple variability artifacts to assemble coherent workflows. - Mathieu Acher; Philippe Collet; Alban Gaignard; Philippe Lahire; Johan Montagnat; Robert B. France (Softw. Qual. J., 2012)

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 (DBSec, 2013)

Using Model Types to Support Contract-Aware Model Substitutability. - Wuliang Sun; Benoît Combemale; Steven Derrien; Robert B. France (ECMFA, 2013)

GlobalDSL 2013: First Workshop on the Globalization of Domain Specific Languages. - Benoît Combemale; Walter Cazzola; Robert B. France (GlobalDSL@ECOOP, 2013)

Rigorous Analysis of Temporal Access Control Properties in Mobile Systems. - Mustafa Al-Lail; Ramadan Abdunabi; Robert B. France; Indrakshi Ray (ICECCS, 2013)

5th international workshop on modeling in software engineering (MiSE 2013). - Joanne M. Atlee; Robert Baillargeon; Marsha Chechik; Robert B. France; Jeff Gray 001; Richard F. Paige; Bernhard Rumpe (ICSE, 2013)

Composing Your Compositions of Variability Models. - Mathieu Acher; Benoît Combemale; Philippe Collet; Olivier Barais; Philippe Lahire; Robert B. France (MoDELS, 2013)

An Approach to Analyzing Temporal Properties in UML Class Models. - Mustafa Al-Lail; Ramadan Abdunabi; Robert B. France; Indrakshi Ray (MoDeVVa@MoDELS, 2013)

Introduction. - Balbir Barn; Tony Clark 001; Robert B. France; Ulrich Frank; Vinay Kulkarni 001; Dan Turk (GEMOC+AMINO@MoDELS, 2013)

Summary of the 8th International Workshop on Models @ Run.time. - Nelly Bencomo; Robert B. France; Sebastian Götz; Bernhard Rumpe (Models@run.time, 2013)

Fine-Grained Software Evolution Using UML Activity and Class Models. - Walter Cazzola; Nicole Alicia Rossini; Mohammed Al-Refai; Robert B. France (MoDELS, 2013)

An Approach to Testing Java Implementation against Its UML Class Model. - Hector Miguel Chavez; Wuwei Shen; Robert B. France; Benjamin A. Mechling (MoDELS, 2013)

Report on the First Workshop On the Globalization of Modeling Languages (GEMOC 2013). - Benoît Combemale; Julien DeAntoni; Robert B. France; Frédéric Boulanger; Sébastien Mosser 001; Marc Pantel; Bernhard Rumpe; Rick Salay; Martin Schindler (GEMOC+AMINO@MoDELS, 2013)

Contract-Aware Slicing of UML Class Models. - Wuliang Sun; Robert B. France; Indrakshi Ray (MoDELS, 2013)

Analyzing Behavioral Refactoring of Class Models. - Wuliang Sun; Robert B. France; Indrakshi Ray (ME@MoDELS, 2013)

Specification and analysis of access control policies for mobile applications. - Ramadan Abdunabi; Indrakshi Ray; Robert B. France (SACMAT, 2013)

Reifying Concurrency for Executable Metamodeling. - Benoît Combemale; Julien De Antoni; Matias Vara Larsen; Frédéric Mallet; Olivier Barais; Benoit Baudry; Robert B. France (SLE, 2013)

Editorial. - Radu Calinescu; Robert B. France; Carlo Ghezzi (Computing, 2013)

Meta-Modeling Model-Based Engineering Tools (Dagstuhl Seminar 13182). - Tony Clark 001; Robert B. France; Martin Gogolla; Bran Selic (Dagstuhl Reports, 2013)

FAMILIAR: A domain-specific language for large scale management of feature models. - Mathieu Acher; Philippe Collet; Philippe Lahire; Robert B. France (Sci. Comput. Program., 2013)

Specification, Validation, and Enforcement of a Generalized Spatio-Temporal Role-Based Access Control Model. - Ramadan Abdunabi; Mustafa Al-Lail; Indrakshi Ray; Robert B. France (IEEE Syst. J., 2013)

A newly introduced Industry Voice Column. - Tony Clark 001; Gabor Karsai; Roel J. Wieringa; Robert B. France; Bernhard Rumpe (Softw. Syst. Model., 2013)

The 2012 "State of the Journal" Report. - Robert B. France; Geri Georg; Bernhard Rumpe; Martin Schindler (Softw. Syst. Model., 2013)

The evolution of modeling research challenges. - Robert B. France; Bernhard Rumpe (Softw. Syst. Model., 2013)

Model-based lifecycle management of software-intensive systems, applications, and services. - Robert B. France; Bernhard Rumpe (Softw. Syst. Model., 2013)

Why it is so hard to use models in software development: observations. - Robert B. France; Bernhard Rumpe; Martin Schindler (Softw. Syst. Model., 2013)

On the Globalization of Domain-Specific Languages. - Betty H. C. Cheng; Benoît Combemale; Robert B. France; Jean-Marc Jézéquel; Bernhard Rumpe (Globalizing Domain-Specific Languages, 2014)

Domain Globalization: Using Languages to Support Technical and Social Coordination. - Julien Deantoni; Cédric Brun; Benoît Caillaud; Robert B. France; Gabor Karsai; Oscar Nierstrasz; Eugene Syriani (Globalizing Domain-Specific Languages, 2014)

Towards the Model Driven Organization. - Tony Clark 001; Vinay Kulkarni 001; Balbir Barn; Robert B. France; Ulrich Frank; Dan Turk (HICSS, 2014)

From Application Models to Filmstrip Models: An Approach to Automatic Validation of Model Dynamics. - Martin Gogolla; Lars Hamann; Frank Hilken; Mirco Kuhlmann; Robert B. France (Modellierung, 2014)

SIGMA: Scala Internal Domain-Specific Languages for Model Manipulations. - Filip Krikava; Philippe Collet; Robert B. France (MoDELS, 2014)

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; Benoît Combemale; Robert B. France; Rogardt Heldal; James H. Hill; Jörg Kienzle; Matthias Schöttle; et al. (MoDELS, 2014)

Analyzing Behavioral Aspects of UML Design Class Models against Temporal Properties. - Mustafa Al-Lail; Wuliang Sun; Robert B. France (QSIC, 2014)

Using models to dynamically refactor runtime code. - Mohammed Al-Refai; Walter Cazzola; Robert B. France (SAC, 2014)

ACTRESS: domain-specific modeling of self-adaptive software architectures. - Filip Krikava; Philippe Collet; Robert B. France (SAC, 2014)

Manipulating models using internal domain-specific languages. - Filip Krikava; Philippe Collet; Robert B. France (SAC, 2014)

Evaluating the Usability of a Visual Feature Modeling Notation. - Aleksandar Jaksic; Robert B. France; Philippe Collet; Sudipto Ghosh 001 (SLE, 2014)

Analysing Requirements to Detect Latent Security Vulnerabilities. - Curtis C. R. Busby Earle; Robert B. France; Indrakshi Ray (SERE (Companion), 2014)

Globalizing Modeling Languages. - Benoît Combemale; Julien DeAntoni; Benoit Baudry; Robert B. France; Jean-Marc Jézéquel; Jeff Gray 001 (Computer, 2014)

Report on the First Workshop On the Globalization of Modeling Languages. - Benoît Combemale; Julien De Antoni; Robert B. France; Frédéric Boulanger; Sébastien Mosser 001; Marc Pantel; Bernhard Rumpe; Rick Salay; Martin Schindler (CoRR, 2014)

Developing the UML as a Formal Modelling Notation. - Andy Evans; Robert B. France; Kevin Lano; Bernhard Rumpe (CoRR, 2014)

Meta-Modeling Semantics of UML. - Andy Evans; Kevin Lano; Robert B. France; Bernhard Rumpe (CoRR, 2014)

Limitations of Agile Software Processes. - Dan Turk; Robert B. France; Bernhard Rumpe (CoRR, 2014)

Globalizing Domain-Specific Languages (Dagstuhl Seminar 14412). - Betty H. C. Cheng; Benoît Combemale; Robert B. France; Jean-Marc Jézéquel; Bernhard Rumpe (Dagstuhl Reports, 2014)

The 2013 "State of the Journal" report. - Robert B. France; Geri Georg; Bernhard Rumpe; Martin Schindler (Softw. Syst. Model., 2014)

Modeling big smart data. - Robert B. France; Bernhard Rumpe (Softw. Syst. Model., 2014)

Editorial for the SoSyM issue 2014/04. - Robert B. France; Bernhard Rumpe (Softw. Syst. Model., 2014)

Towards the use of slicing techniques for an efficient invariant checking. - Wuliang Sun; Benoît Combemale; Robert B. France (MODULARITY (Companion), 2015)

Analysis of a Relationship Based Access Control Model. - Phillipa Bennett; Indrakshi Ray; Robert B. France (C3S2E, 2015)

Modeling of Online Social Network Policies Using an Attribute-Based Access Control Framework. - Phillipa Bennett; Indrakshi Ray; Robert B. France (ICISS, 2015)

Synergy between Activity Theory and goal/scenario modeling for requirements elicitation, analysis, and evolution. - Geri Georg; Gunter Mussbacher; Daniel Amyot; Dorina C. Petriu; Lucy J. Troup; Saul Lozano-Fuentes; Robert B. France (Inf. Softw. Technol., 2015)

Using Slicing to Improve the Performance of Model Invariant Checking. - Wuliang Sun; Benoît Combemale; Robert B. France; Arnaud Blouin; Benoit Baudry; Indrakshi Ray (J. Object Technol., 2015)

Devising the Future of the Models@run.time Workshop. - Sebastian Götz; Nelly Bencomo; Robert B. France (ACM SIGSOFT Softw. Eng. Notes, 2015)

The 2014 "State of the Journal" report. - Robert B. France; Geri Georg; Bernhard Rumpe; Martin Schindler (Softw. Syst. Model., 2015)

Special section of SoSyM dedicated to 50 years of Petri nets. - Robert B. France; Bernhard Rumpe (Softw. Syst. Model., 2015)

Discovering Potential Interaction Violations among Requirements. - Curtis C. R. Busby Earle; Robert B. France (CAiSE Workshops, 2016)

Using Models to Validate Unanticipated, Fine-Grained Adaptations at Runtime. - Mohammed Al-Refai; Walter Cazzola; Sudipto Ghosh 001; Robert B. France (HASE, 2016)

An Approach to Checking Consistency between UML Class Model and Its Java Implementation. - Hector Miguel Chavez; Wuwei Shen; Robert B. France; Benjamin A. Mechling; Guangyuan Li (IEEE Trans. Software Eng., 2016)