Patrice Chalin

51 papers A* 2A 2B 5Misc 5Journal 9Unranked 28

Year	Rank	Type	Title / Venue / Authors
2014	Misc	`conf`	Ensuring that your dart will hit the mark: An introduction to dart contracts. IRI Patrice Chalin
2013	—	`conf`	BLESS: Formal Specification and Verification of Behaviors for Embedded Systems with Software. NASA Formal Methods Brian R. Larson, Patrice Chalin, John Hatcliff
2013	A*	`conf`	Explicating symbolic execution (xSymExe): an evidence-based verification framework. ICSE John Hatcliff, Robby, Patrice Chalin, Jason Belt
2013	—	`conf`	Open source patient-controlled analgesic pump requirements documentation. SEHC@ICSE Brian R. Larson, John Hatcliff, Patrice Chalin
2013	J	`jnl`	Use case and task models: An integrated development methodology and its formal foundation. ACM Trans. Softw. Eng. Methodol. Daniel Sinnig, Patrice Chalin, Ferhat Khendek
2012	—	`conf`	A Comparison of Intermediate Verification Languages: Boogie and Sireum/Pilar. VSTTE Loren Segal, Patrice Chalin
2012	—	`conf`	Efficient Symbolic Execution of Value-Based Data Structures for Critical Systems. NASA Formal Methods Jason Belt, Robby, Patrice Chalin, John Hatcliff, Xianghua Deng
2012	—	`conf`	Leading-edge Ada verification technologies: highly automated Ada contract checking using bakar kiasan. HILT Jason Belt, Patrice Chalin, John Hatcliff, Robby
2012	—	`conf`	Requirements specification for apps in medical application platforms. SEHC@ICSE Brian R. Larson, John Hatcliff, Sam Procter, Patrice Chalin
2011	—	`conf`	Bakar Kiasan: Flexible Contract Checking for Critical Systems Using Symbolic Execution. NASA Formal Methods Jason Belt, John Hatcliff, Robby, Patrice Chalin, David S. Hardin, Xianghua Deng
2011	—	`conf`	Enhancing spark's contract checking facilities using symbolic execution. SIGAda Jason Belt, John Hatcliff, Robby, Patrice Chalin, David S. Hardin, Xianghua Deng
2011	J	`jnl`	Partial order semantics for use case and task models. Formal Aspects Comput. Daniel Sinnig, Ferhat Khendek, Patrice Chalin
2011	B	`conf`	Table-Driven Detection and Resolution of Operation-Based Merge Conflicts with Mirador. ECMFA Stephen C. Barrett, Patrice Chalin, Greg Butler
2010	A	`conf`	A Formal Model for Generating Integrated Functional and User Interface Test Cases. ICST Daniel Sinnig, Ferhat Khendek, Patrice Chalin
2010	J	`jnl`	Engineering a Sound Assertion Semantics for the Verifying Compiler. IEEE Trans. Software Eng. Patrice Chalin
2010	J	`jnl`	Faster and More Complete Extended Static Checking for the Java Modeling Language. J. Autom. Reason. Perry R. James, Patrice Chalin
2010	—	`conf`	Mirador: a synthesis of model matching strategies. IWMCP@ICMT Stephen C. Barrett, Greg Butler, Patrice Chalin
2010	J	`jnl`	Towards an industrial grade IVE for Java and next generation research platform for JML. Int. J. Softw. Tools Technol. Transf. Patrice Chalin, Robby, Perry R. James, JooYong Lee, George Karabotsos
2009	B	`conf`	Adjusted Verification Rules for Loops Are More Complete and Give Better Diagnostics for Less. SEFM Patrice Chalin
2009	—	`conf`	ESC4: a modern caching ESC for Java. SAVCBS Perry R. James, Patrice Chalin
2009	Misc	`conf`	Extended static checking in JML4: benefits of multiple-prover support. SAC Perry R. James, Patrice Chalin
2009	Misc	`conf`	LTS semantics for use case models. SAC Daniel Sinnig, Patrice Chalin, Ferhat Khendek
2009	Misc	`conf`	Merging of Use Case Models: Semantic Foundations. TASE Stephen C. Barrett, Daniel Sinnig, Patrice Chalin, Greg Butler
2009	—	`conf`	Preliminary design of a unified JML representation and software infrastructure. FTfJP@ECOOP Robby, Patrice Chalin
2008	Misc	`conf`	Capturing business transaction requirements in use case models. SAC Patrice Chalin, Daniel Sinnig, Kianoush Torkzadeh
2008	B	`conf`	JML Runtime Assertion Checking: Improved Error Reporting and Efficiency Using Strong Validity. FM Patrice Chalin, Frédéric Rioux
2008	—	`conf`	JML4: Towards an Industrial Grade IVE for Java and Next Generation Research Platform for JML. VSTTE Patrice Chalin, Perry R. James, George Karabotsos
2008	J	`jnl`	Reducing the use of nullable types through non-null by default and monotonic non-null. IET Softw. Patrice Chalin, Perry R. James, Frédéric Rioux
2007	A*	`conf`	A Sound Assertion Semantics for the Dependable Systems Evolution Verifying Compiler. ICSE Patrice Chalin
2007	—	`conf`	An integrated verification environment for JML: architecture and early results. SAVCBS Patrice Chalin, Perry R. James, George Karabotsos
2007	J	`jnl`	Are the Logical Foundations of Verifying Compiler Prototypes Matching user Expectations? Formal Aspects Comput. Patrice Chalin
2007	B	`conf`	Common Semantics for Use Cases and Task Models. IFM Daniel Sinnig, Patrice Chalin, Ferhat Khendek
2007	—	`conf`	Consistency between Task Models and Use Cases. EHCI/DS-VIS Daniel Sinnig, Patrice Chalin, Ferhat Khendek
2007	A	`conf`	Non-null References by Default in Java: Alleviating the Nullity Annotation Burden. ECOOP Patrice Chalin, Perry R. James
2007	—	`conf`	Practical Extensions for Task Models. TAMODIA Daniel Sinnig, Maik Wurdel, Peter Forbrig, Patrice Chalin, Ferhat Khendek
2006	—	`conf`	Are Practitioners Writing Contracts? RODIN Book Patrice Chalin
2006	—	`conf`	Early detection of JML specification errors using ESC/Java2. SAVCBS@FSE Patrice Chalin
2006	J	`jnl`	Non-null references by default in the Java modeling language. ACM SIGSOFT Softw. Eng. Notes Patrice Chalin, Frédéric Rioux
2006	—	`conf`	The KOA Remote Voting System: A Summary of Work to Date. TGC Joseph R. Kiniry, Alan E. Morkan, Dermot Cochran, Fintan Fairmichael, Patrice Chalin, Martijn Oostdijk, Engelbert Hubbers
2006	—	`conf`	Towards a Common Semantic Foundation for Use Cases and Task Models. FMIS@ICFEM Daniel Sinnig, Patrice Chalin, Ferhat Khendek
2005	—	`conf`	Beyond Assertions: Advanced Specification and Verification with JML and ESC/Java2. FMCO Patrice Chalin, Joseph R. Kiniry, Gary T. Leavens, Erik Poll
2005	—	`conf`	Improving the Quality of Web-based Enterprise Applications with Extended Static Checking: A Case Study. WWV Frédéric Rioux, Patrice Chalin
2005	—	`conf`	Improving the Quality of Web-based Enterprise Applications with Extended Static Checking: A Case Study. WWV Frédéric Rioux, Patrice Chalin
2005	—	`conf`	Integrating Static Checking and Interactive Verification: Supporting Multiple Theories and Provers in Verification. VSTTE Joseph R. Kiniry, Patrice Chalin, Clément Hurlin
2005	B	`conf`	Logical Foundations of Program Assertions: What do Practitioners Want?. SEFM Patrice Chalin
2005	—	`conf`	Non-null references by default in the Java modeling language. SAVCBS@ESEC/FSE Patrice Chalin, Frédéric Rioux
2004	J	`jnl`	JML Support for Primitive Arbitrary Precision Numeric Types: Definition and Semantics. J. Object Technol. Patrice Chalin
2003	—	`conf`	Improving JML: For a Safer and More Effective Language. FME Patrice Chalin
1996	—	`conf`	Identification of and Solutions to Shortcomings of LCL, a Larch/C Interface Specification Language. FME Patrice Chalin, Peter Grogono, Thiruvengadam Radhakrishnan
1994	—	`conf`	Copying, Sharing, and Aliasing. COODBSE Peter Grogono, Patrice Chalin
1990	—	`conf`	Z Specification of an Object Manager. VDM Europe Patrice Chalin, Peter Grogono