Patrice Chalin

According to our database, Patrice Chalin authored at least 49 papers between 1990 and 2014.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2014

Ensuring that your dart will hit the mark: An introduction to dart contracts.

Patrice Chalin

Proceedings of the 15th IEEE International Conference on Information Reuse and Integration, 2014

2013

Use case and task models: An integrated development methodology and its formal foundation.

Daniel Sinnig, Patrice Chalin, Ferhat Khendek

ACM Trans. Softw. Eng. Methodol., 2013

BLESS: Formal Specification and Verification of Behaviors for Embedded Systems with Software.

Brian R. Larson, Patrice Chalin, John Hatcliff

Proceedings of the NASA Formal Methods, 2013

Open source patient-controlled analgesic pump requirements documentation.

Brian R. Larson, John Hatcliff, Patrice Chalin

Proceedings of the 5th International Workshop on Software Engineering in Health Care, 2013

Explicating symbolic execution (xSymExe): an evidence-based verification framework.

John Hatcliff, Robby, Patrice Chalin, Jason Belt

Proceedings of the 35th International Conference on Software Engineering, 2013

2012

A Comparison of Intermediate Verification Languages: Boogie and Sireum/Pilar.

Loren Segal, Patrice Chalin

Proceedings of the Verified Software: Theories, Tools, Experiments, 2012

Leading-edge Ada verification technologies: highly automated Ada contract checking using bakar kiasan.

Jason Belt, Patrice Chalin, John Hatcliff, Robby

Proceedings of the 2012 ACM Conference on High Integrity Language Technology, 2012

Efficient Symbolic Execution of Value-Based Data Structures for Critical Systems.

Jason Belt, Robby, Patrice Chalin, John Hatcliff, Xianghua Deng

Proceedings of the NASA Formal Methods, 2012

Requirements specification for apps in medical application platforms.

Brian R. Larson, John Hatcliff, Sam Procter, Patrice Chalin

Proceedings of the 4th International Workshop on Software Engineering in Health Care, 2012

2011

Partial order semantics for use case and task models.

Daniel Sinnig, Ferhat Khendek, Patrice Chalin

Formal Aspects Comput., 2011

Enhancing spark's contract checking facilities using symbolic execution.

Jason Belt, John Hatcliff, Robby, Patrice Chalin, David S. Hardin, Xianghua Deng

Proceedings of the 2011 Annual ACM SIGAda International Conference on Ada, 2011

Bakar Kiasan: Flexible Contract Checking for Critical Systems Using Symbolic Execution.

Jason Belt, John Hatcliff, Robby, Patrice Chalin, David S. Hardin, Xianghua Deng

Proceedings of the NASA Formal Methods, 2011

Table-Driven Detection and Resolution of Operation-Based Merge Conflicts with Mirador.

Stephen C. Barrett, Patrice Chalin, Greg Butler

Proceedings of the Modelling Foundations and Applications - 7th European Conference, 2011

2010

Engineering a Sound Assertion Semantics for the Verifying Compiler.

Patrice Chalin

IEEE Trans. Software Eng., 2010

Towards an industrial grade IVE for Java and next generation research platform for JML.

Patrice Chalin, Robby, Perry R. James, Jooyong Lee, George Karabotsos

Int. J. Softw. Tools Technol. Transf., 2010

Faster and More Complete Extended Static Checking for the Java Modeling Language.

Perry R. James, Patrice Chalin

J. Autom. Reason., 2010

A Formal Model for Generating Integrated Functional and User Interface Test Cases.

Daniel Sinnig, Ferhat Khendek, Patrice Chalin

Proceedings of the Third International Conference on Software Testing, 2010

Mirador: a synthesis of model matching strategies.

Stephen C. Barrett, Greg Butler, Patrice Chalin

Proceedings of the 1st International Workshop on Model Comparison in Practice, 2010

2009

Merging of Use Case Models: Semantic Foundations.

Stephen C. Barrett, Daniel Sinnig, Patrice Chalin, Greg Butler

Proceedings of the TASE 2009, 2009

ESC4: a modern caching ESC for Java.

Perry R. James, Patrice Chalin

Proceedings of the SAVCBS'09, 2009

Adjusted Verification Rules for Loops Are More Complete and Give Better Diagnostics for Less.

Patrice Chalin

Proceedings of the Seventh IEEE International Conference on Software Engineering and Formal Methods, 2009

LTS semantics for use case models.

Daniel Sinnig, Patrice Chalin, Ferhat Khendek

Proceedings of the 2009 ACM Symposium on Applied Computing (SAC), 2009

Extended static checking in JML4: benefits of multiple-prover support.

Perry R. James, Patrice Chalin

Proceedings of the 2009 ACM Symposium on Applied Computing (SAC), 2009

Preliminary design of a unified JML representation and software infrastructure.

Robby, Patrice Chalin

Proceedings of the 11th International Workshop on Formal Techniques for Java-like Programs, 2009

2008

Reducing the use of nullable types through non-null by default and monotonic non-null.

Patrice Chalin, Perry R. James, Frédéric Rioux

IET Softw., 2008

JML4: Towards an Industrial Grade IVE for Java and Next Generation Research Platform for JML.

Patrice Chalin, Perry R. James, George Karabotsos

Proceedings of the Verified Software: Theories, 2008

Capturing business transaction requirements in use case models.

Patrice Chalin, Daniel Sinnig, Kianoush Torkzadeh

Proceedings of the 2008 ACM Symposium on Applied Computing (SAC), 2008

JML Runtime Assertion Checking: Improved Error Reporting and Efficiency Using Strong Validity.

Patrice Chalin, Frédéric Rioux

Proceedings of the FM 2008: Formal Methods, 2008

2007

Are the Logical Foundations of Verifying Compiler Prototypes Matching user Expectations?

Patrice Chalin

Formal Aspects Comput., 2007

Practical Extensions for Task Models.

Daniel Sinnig, Maik Wurdel, Peter Forbrig, Patrice Chalin, Ferhat Khendek

Proceedings of the Task Models and Diagrams for User Interface Design, 2007

An integrated verification environment for JML: architecture and early results.

Patrice Chalin, Perry R. James, George Karabotsos

Proceedings of the 2007 Conference Specification and Verification of Component-Based Systems, 2007

Common Semantics for Use Cases and Task Models.

Daniel Sinnig, Patrice Chalin, Ferhat Khendek

Proceedings of the Integrated Formal Methods, 6th International Conference, 2007

A Sound Assertion Semantics for the Dependable Systems Evolution Verifying Compiler.

Patrice Chalin

Proceedings of the 29th International Conference on Software Engineering (ICSE 2007), 2007

Consistency between Task Models and Use Cases.

Daniel Sinnig, Patrice Chalin, Ferhat Khendek

Proceedings of the Engineering Interactive Systems - EIS 2007 Joint Working Conferences, 2007

Non-null References by Default in Java: Alleviating the Nullity Annotation Burden.

Patrice Chalin, Perry R. James

Proceedings of the ECOOP 2007 - Object-Oriented Programming, 21st European Conference, Berlin, Germany, July 30, 2007

2006

Non-null references by default in the Java modeling language.

Patrice Chalin, Frédéric Rioux

ACM SIGSOFT Softw. Eng. Notes, 2006

Towards a Common Semantic Foundation for Use Cases and Task Models.

Daniel Sinnig, Patrice Chalin, Ferhat Khendek

Proceedings of the First International Workshop on Formal Methods for Interactive Systems, 2006

The KOA Remote Voting System: A Summary of Work to Date.

Joseph R. Kiniry, Alan E. Morkan, Dermot Cochran, Fintan Fairmichael, Patrice Chalin, Martijn Oostdijk, Engelbert Hubbers

Proceedings of the Trustworthy Global Computing, Second Symposium, 2006

Early detection of JML specification errors using ESC/Java2.

Patrice Chalin

Proceedings of the 2006 Conference on Specification and Verification of Component-Based Systems, 2006

Are Practitioners Writing Contracts?

Patrice Chalin

Proceedings of the Rigorous Development of Complex Fault-Tolerant Systems [FP6 IST-511599 RODIN project], 2006

2005

Improving the Quality of Web-based Enterprise Applications with Extended Static Checking: A Case Study.

Frédéric Rioux, Patrice Chalin

Proceedings of the International Workshop on Automated Specification and Verification of Web Sites, 2005

Integrating Static Checking and Interactive Verification: Supporting Multiple Theories and Provers in Verification.

Joseph R. Kiniry, Patrice Chalin, Clément Hurlin

Proceedings of the Verified Software: Theories, 2005

Logical Foundations of Program Assertions: What do Practitioners Want?.

Patrice Chalin

Proceedings of the Third IEEE International Conference on Software Engineering and Formal Methods (SEFM 2005), 2005

Beyond Assertions: Advanced Specification and Verification with JML and ESC/Java2.

Patrice Chalin, Joseph R. Kiniry, Gary T. Leavens, Erik Poll

Proceedings of the Formal Methods for Components and Objects, 4th International Symposium, 2005

2004

JML Support for Primitive Arbitrary Precision Numeric Types: Definition and Semantics.

Patrice Chalin

J. Object Technol., 2004

2003

Improving JML: For a Safer and More Effective Language.

Patrice Chalin

Proceedings of the FME 2003: Formal Methods, 2003

1996

Identification of and Solutions to Shortcomings of LCL, a Larch/C Interface Specification Language.

Patrice Chalin, Peter Grogono, Thiruvengadam Radhakrishnan

Proceedings of the FME '96: Industrial Benefit and Advances in Formal Methods, 1996

1994

Copying, Sharing, and Aliasing.

Peter Grogono, Patrice Chalin

Proceedings of the Object-Oriented Technology for Database and Software Systems, 1994

1990

Z Specification of an Object Manager.

Patrice Chalin, Peter Grogono

Proceedings of the VDM '90, 1990