☰

Robert B. France - Publications

Affiliations: 
Colorado State University, Fort Collins, CO 
Area:
Computer Science
Tree Info Similar researchers PubMed Report error

46 high-probability publications. We are testing a new system for linking publications to authors. You can help! If you notice any inaccuracies, please sign in and mark papers as correct or incorrect matches. If you identify any major omissions or other inaccuracies in the publication list, please let us know.

Year Citation  Score
2016 Chavez HM, Shen W, France RB, Mechling BA, Li G. An Approach to Checking Consistency between UML Class Model and Its Java Implementation Ieee Transactions On Software Engineering. 42: 322-344. DOI: 10.1109/Tse.2015.2488645  0.453
2015 Sun W, Combemale B, France RB, Blouin A, Baudry B, Ray I. Using slicing to improve the performance of model invariant checking Journal of Object Technology. 14: 1-28. DOI: 10.5381/Jot.2015.14.4.A1  0.359
2015 Sun W, Combemale B, France RB. Towards the use of slicing techniques for an efficient invariant checking Acm International Conference Proceeding Series. 2015: 23-24. DOI: 10.1145/2735386.2735926  0.372
2014 Křikava F, Collet P, France RB. Manipulating models using internal domain-specific languages Proceedings of the Acm Symposium On Applied Computing. 1612-1614. DOI: 10.1145/2554850.2555127  0.348
2014 Křikava F, Collet P, France RB. ACTRESS: Domain-specific modeling of self-adaptive software architectures Proceedings of the Acm Symposium On Applied Computing. 391-398. DOI: 10.1145/2554850.2555020  0.365
2014 Al-Lail M, Sun W, France RB. Analyzing behavioral aspects of UML design class models against temporal properties Proceedings - International Conference On Quality Software. 196-201. DOI: 10.1109/QSIC.2014.56  0.365
2014 Křikava F, Collet P, France RB. SIGMA: Scala internal domain-specific languages for model manipulations Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 8767: 569-585.  0.322
2013 Abdunabi R, Al-Lail M, Ray I, France RB. Specification, validation, and enforcement of a generalized spatio-temporal role-based access control model Ieee Systems Journal. 7: 501-515. DOI: 10.1109/Jsyst.2013.2242751  0.391
2013 Sun W, France RB, Ray I. Contract-aware slicing of UML class models Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 8107: 724-739. DOI: 10.1007/978-3-642-41533-3_44  0.369
2013 Acher M, Combemale B, Collet P, Barais O, Lahire P, France RB. Composing your compositions of variability models Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 8107: 352-369. DOI: 10.1007/978-3-642-41533-3_22  0.304
2013 Cazzola W, Rossini NA, Al-Refai M, France RB. Fine-grained software evolution using UML activity and class models Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 8107: 271-286. DOI: 10.1007/978-3-642-41533-3_17  0.32
2013 Chavez HM, Shen W, France RB, Mechling BA. An approach to testing Java implementation against its UML class model Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 8107: 220-236. DOI: 10.1007/978-3-642-41533-3_14  0.435
2013 Combemale B, De Antoni J, France RB, Boulanger F, Mosser S, Pantel M, Rumpe B, Salay R, Schindler M. First workshop on the globalization of modeling languages (GEMOC 2013) Ceur Workshop Proceedings. 1102: 3-13.  0.344
2013 Al-Lail M, Abdunabi R, France RB, Ray I. An approach to analyzing temporal properties in UML Class Models Ceur Workshop Proceedings. 1069: 77-86.  0.365
2013 Sun W, France RB, Ray I. Analyzing behavioral refactoring of class models Ceur Workshop Proceedings. 1090: 70-79.  0.387
2012 France RB, Bieman JM, Mandalaparty SP, Cheng BHC, Jensen A. Repository for model driven development (ReMoDD) Proceedings - International Conference On Software Engineering. 1471-1472. DOI: 10.1109/ICSE.2012.6227059  0.322
2012 Yu L, France RB, Ray I, Sun W. Systematic scenario-based analysis of UML design class models Proceedings - 2012 Ieee 17th International Conference On Engineering of Complex Computer Systems, Iceccs 2012. 86-95. DOI: 10.1109/ICECCS.2012.37  0.367
2011 Bryant BR, Gray J, Mernik M, Clarke PJ, France RB, Karsai G. Challenges and directions in formalizing the semantics of modeling languages Computer Science and Information Systems. 8: 225-253. DOI: 10.2298/Csis110114012B  0.356
2011 Acher M, Collet P, Lahire P, France RB. A domain-specific language for managing feature models Proceedings of the Acm Symposium On Applied Computing. 1333-1340. DOI: 10.1145/1982185.1982473  0.325
2011 Acher M, Collet P, Lahire P, France RB. Managing feature models with familiar: A demonstration of the language and its tool support Acm International Conference Proceeding Series. 91-96. DOI: 10.1145/1944892.1944903  0.312
2011 Acher M, Collet P, Lahire P, France RB. Slicing feature models 2011 26th Ieee/Acm International Conference On Automated Software Engineering, Ase 2011, Proceedings. 424-427. DOI: 10.1109/ASE.2011.6100089  0.36
2011 Floch A, Yuki T, Guy C, Derrien S, Combemale B, Rajopadhye S, France RB. Model-driven engineering and optimizing compilers: A bridge too far? Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 6981: 608-622. DOI: 10.1007/978-3-642-24485-8_45  0.316
2011 Clavreul M, Mosser S, Blay-Fornarino M, France RB. Service-oriented architecture modeling: Bridging the gap between structure and behavior Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 6981: 289-303. DOI: 10.1007/978-3-642-24485-8_21  0.413
2010 Houmb SH, Georg G, Petriu DC, Bordbar B, Ray I, Anastasakis K, France RB. Balancing security and performance properties during system architectural design Software Engineering For Secure Systems: Industrial and Research Perspectives. 155-191. DOI: 10.4018/978-1-61520-837-1.ch006  0.328
2008 Michotte L, Feiler PH, Vergnaud T, France RB. Aspect oriented modeling of component architectures using AADL Proceedings of New Technologies, Mobility and Security Conference and Workshops, Ntms 2008. DOI: 10.1109/NTMS.2008.ECP.26  0.362
2008 Yu L, France RB, Ray I. Scenario-based static analysis of UML class models Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 5301: 234-248. DOI: 10.1007/978-3-540-87875-9_17  0.32
2007 Yu L, France RB, Ray I, Lano K. A light-weight static approach to analyzing UML behavioral properties Proceedings of the Ieee International Conference On Engineering of Complex Computer Systems, Iceccs. 56-63. DOI: 10.1109/ICECCS.2007.10  0.385
2007 Michotte L, France RB, Fleurey F. Modeling and integrating aspects into component architectures Proceedings - Ieee International Enterprise Distributed Object Computing Workshop, Edoc. 181-190. DOI: 10.1109/EDOC.2007.4383992  0.324
2006 France RB, Ghosh S, Dinh-Trong T, Solberg A. Model-driven development using UML 2.0: Promises and pitfalls Computer. 39: 59-66. DOI: 10.1109/Mc.2006.65  0.532
2006 Dinh-Trong TT, Ghosh S, France RB. A systematic approach to generate inputs to test UML design models Proceedings - International Symposium On Software Reliability Engineering, Issre. 95-104. DOI: 10.1109/ISSRE.2006.10  0.536
2006 Reddy YR, Ghosh S, France RB, Straw G, Bieman JM, McEachen N, Song E, Georg G. Directives for composing aspect-oriented design class models Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 3880: 75-105.  0.333
2005 Trong TD, Ghosh S, France RB, Hamilton M, Wilkins B. UMLAnT: An eclipse plugin for animating and testing UML designs Proceedings of the 2005 Oopsla Workshop On Eclipse Technology Exchange, Eclipse'05. 120-124. DOI: 10.1145/1117696.1117721  0.326
2005 Ghosh S, France RB, Simmonds DM, Bare A, Kamalakar B, Shankar RP, Tandon G, Vile P, Yin S. A middleware-transparent approach to developing distributed applications Software - Practice and Experience. 35: 1131-1154. DOI: 10.1002/Spe.666  0.623
2004 France RB, Kim DK, Ghosh S, Song E. A UML-based pattern specification technique Ieee Transactions On Software Engineering. 30: 193-206. DOI: 10.1109/Tse.2004.1271174  0.532
2004 Judson SR, France RB, Carver DL. Supporting rigorous evolution of UML models Proceedings of the Ieee International Conference On Engineering of Complex Computer Systems, Iceccs. 128-137.  0.331
2003 Judson SR, Carver DL, France RB. A metamodeling approach to model transformation Proceedings of the Conference On Object-Oriented Programming Systems, Languages, and Applications, Oopsla. 326-327. DOI: 10.1145/949344.949435  0.31
1999 France RB. A problem-oriented analysis of basic UML static requirements modeling concepts Sigplan Notices (Acm Special Interest Group On Programming Languages). 34: 57-69.  0.4
1999 Saksena M, France RB, Larrondo-Petrie MM. Characterization of aggregation Computer Systems Science and Engineering. 14: 363-370.  0.315
1998 France RB, Bruel JM. Integrated informal object-oriented and formal modeling techniques Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 1357: 178-181. DOI: 10.1007/3-540-69687-3_37  0.37
1997 Bruel JM, France RB, Benzekri A, Raynaud Y. Real-time specification environment based on Z and graphical object-oriented modeling techniques Proceedings of the High-Assurance Systems Engineering Workshop. 16-23.  0.368
1997 France RB, Bruel JM, Larrondo-Petrie MM. An integrated object-oriented and formal modeling environment Joop - Journal of Object-Oriented Programming. 10: 25-34+50.  0.314
1997 France RB, Bruel JM, Larrondo-Petrie MM, Grant E. Rigorous object-oriented modeling: Integrating formal and informal notations Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 1349: 216-230.  0.351
1996 Bates BW, Bruel JM, France RB, Larrondo-Petrie MM. Guidelines for formalizing Fusion object-oriented analysis models Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 1080: 222-233.  0.371
1995 France RB, Larrondo-Petrie MM. Understanding the role of formal specification techniques in requirements engineering Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 895: 207-221.  0.324
1992 Semmens LT, France RB, Docker TWG. Integrated structured analysis and formal specification techniques Computer Journal. 35: 600-610. DOI: 10.1093/comjnl/35.6.600  0.347
1988 France RB, Docker TWG. Formal basis for structured analysis Iee Conference Publication. 191-195.  0.31
Show low-probability matches.