default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDPatrice Chalin
Person information
- affiliation: Concordia University, Montreal, Canada
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
Journal Articles
- 2013
[j9]Daniel Sinnig, Patrice Chalin, Ferhat Khendek
:
Use case and task models: An integrated development methodology and its formal foundation. ACM Trans. Softw. Eng. Methodol. 22(3): 27:1-27:31 (2013)- 2011
- [j8]Daniel Sinnig, Ferhat Khendek, Patrice Chalin:
Partial order semantics for use case and task models. Formal Aspects Comput. 23(3): 307-332 (2011) - 2010
- [j7]Perry R. James, Patrice Chalin:
Faster and More Complete Extended Static Checking for the Java Modeling Language. J. Autom. Reason. 44(1-2): 145-174 (2010) - [j6]Patrice Chalin, Robby, Perry R. James, Jooyong Lee, George Karabotsos:
Towards an industrial grade IVE for Java and next generation research platform for JML. Int. J. Softw. Tools Technol. Transf. 12(6): 429-446 (2010) - [j5]Patrice Chalin:
Engineering a Sound Assertion Semantics for the Verifying Compiler. IEEE Trans. Software Eng. 36(2): 275-287 (2010) - 2008
- [j4]Patrice Chalin, Perry R. James, Frédéric Rioux:
Reducing the use of nullable types through non-null by default and monotonic non-null. IET Softw. 2(6): 515-531 (2008) - 2007
- [j3]Patrice Chalin:
Are the Logical Foundations of Verifying Compiler Prototypes Matching user Expectations? Formal Aspects Comput. 19(2): 139-158 (2007) - 2006
- [j2]Patrice Chalin, Frédéric Rioux:
Non-null references by default in the Java modeling language. ACM SIGSOFT Softw. Eng. Notes 31(2) (2006) - 2004
- [j1]Patrice Chalin:
JML Support for Primitive Arbitrary Precision Numeric Types: Definition and Semantics. J. Object Technol. 3(6): 57-79 (2004)
Conference and Workshop Papers
- 2014
- [c42]Patrice Chalin:
Ensuring that your dart will hit the mark: An introduction to dart contracts. IRI 2014: 369-377 - 2013
- [c41]Brian R. Larson, John Hatcliff, Patrice Chalin:
Open source patient-controlled analgesic pump requirements documentation. SEHC@ICSE 2013: 28-34 - [c40]John Hatcliff, Robby, Patrice Chalin, Jason Belt:
Explicating symbolic execution (xSymExe): an evidence-based verification framework. ICSE 2013: 222-231 - [c39]Brian R. Larson, Patrice Chalin, John Hatcliff:
BLESS: Formal Specification and Verification of Behaviors for Embedded Systems with Software. NASA Formal Methods 2013: 276-290 - 2012
- [c38]Brian R. Larson, John Hatcliff, Sam Procter, Patrice Chalin:
Requirements specification for apps in medical application platforms. SEHC@ICSE 2012: 26-32 - [c37]Jason Belt, Robby, Patrice Chalin, John Hatcliff, Xianghua Deng:
Efficient Symbolic Execution of Value-Based Data Structures for Critical Systems. NASA Formal Methods 2012: 295-309 - [c36]Jason Belt, Patrice Chalin, John Hatcliff, Robby:
Leading-edge Ada verification technologies: highly automated Ada contract checking using bakar kiasan. HILT 2012: 3-4 - [c35]Loren Segal, Patrice Chalin:
A Comparison of Intermediate Verification Languages: Boogie and Sireum/Pilar. VSTTE 2012: 130-145 - 2011
- [c34]Stephen C. Barrett, Patrice Chalin, Greg Butler:
Table-Driven Detection and Resolution of Operation-Based Merge Conflicts with Mirador. ECMFA 2011: 329-344 - [c33]Jason Belt, John Hatcliff, Robby, Patrice Chalin, David S. Hardin, Xianghua Deng:
Bakar Kiasan: Flexible Contract Checking for Critical Systems Using Symbolic Execution. NASA Formal Methods 2011: 58-72 - [c32]Jason Belt, John Hatcliff, Robby, Patrice Chalin, David S. Hardin, Xianghua Deng:
Enhancing spark's contract checking facilities using symbolic execution. SIGAda 2011: 47-60 - 2010
- [c31]Stephen C. Barrett, Greg Butler, Patrice Chalin:
Mirador: a synthesis of model matching strategies. IWMCP@ICMT 2010: 2-10 - [c30]Daniel Sinnig, Ferhat Khendek, Patrice Chalin:
A Formal Model for Generating Integrated Functional and User Interface Test Cases. ICST 2010: 255-264 - 2009
- [c29]Robby, Patrice Chalin:
Preliminary design of a unified JML representation and software infrastructure. FTfJP@ECOOP 2009: 5:1-5:7 - [c28]Daniel Sinnig, Patrice Chalin, Ferhat Khendek:
LTS semantics for use case models. SAC 2009: 365-370 - [c27]Perry R. James, Patrice Chalin:
Extended static checking in JML4: benefits of multiple-prover support. SAC 2009: 609-614 - [c26]Patrice Chalin:
Adjusted Verification Rules for Loops Are More Complete and Give Better Diagnostics for Less. SEFM 2009: 317-324 - [c25]Perry R. James, Patrice Chalin:
ESC4: a modern caching ESC for Java. SAVCBS 2009: 19-26 - [c24]Stephen C. Barrett, Daniel Sinnig, Patrice Chalin, Greg Butler:
Merging of Use Case Models: Semantic Foundations. TASE 2009: 182-189 - 2008
- [c23]Patrice Chalin, Frédéric Rioux:
JML Runtime Assertion Checking: Improved Error Reporting and Efficiency Using Strong Validity. FM 2008: 246-261 - [c22]Patrice Chalin, Daniel Sinnig, Kianoush Torkzadeh:
Capturing business transaction requirements in use case models. SAC 2008: 602-606 - [c21]Patrice Chalin, Perry R. James, George Karabotsos:
JML4: Towards an Industrial Grade IVE for Java and Next Generation Research Platform for JML. VSTTE 2008: 70-83 - 2007
- [c20]Patrice Chalin, Perry R. James:
Non-null References by Default in Java: Alleviating the Nullity Annotation Burden. ECOOP 2007: 227-247 - [c19]Daniel Sinnig, Patrice Chalin, Ferhat Khendek:
Consistency between Task Models and Use Cases. EHCI/DS-VIS 2007: 71-88 - [c18]Patrice Chalin:
A Sound Assertion Semantics for the Dependable Systems Evolution Verifying Compiler. ICSE 2007: 23-33 - [c17]Daniel Sinnig, Patrice Chalin, Ferhat Khendek:
Common Semantics for Use Cases and Task Models. IFM 2007: 579-598 - [c16]Patrice Chalin, Perry R. James, George Karabotsos:
An integrated verification environment for JML: architecture and early results. SAVCBS 2007: 47-53 - [c15]Daniel Sinnig, Maik Wurdel, Peter Forbrig, Patrice Chalin, Ferhat Khendek:
Practical Extensions for Task Models. TAMODIA 2007: 42-55 - 2006
- [c14]Patrice Chalin:
Are Practitioners Writing Contracts? RODIN Book 2006: 100-113 - [c13]Patrice Chalin:
Early detection of JML specification errors using ESC/Java2. SAVCBS@FSE 2006: 25-32 - [c12]Joseph R. Kiniry, Alan E. Morkan, Dermot Cochran, Fintan Fairmichael, Patrice Chalin, Martijn Oostdijk, Engelbert Hubbers:
The KOA Remote Voting System: A Summary of Work to Date. TGC 2006: 244-262 - [c11]Daniel Sinnig, Patrice Chalin, Ferhat Khendek:
Towards a Common Semantic Foundation for Use Cases and Task Models. FMIS@ICFEM 2006: 73-88 - 2005
- [c10]Patrice Chalin, Joseph R. Kiniry, Gary T. Leavens, Erik Poll:
Beyond Assertions: Advanced Specification and Verification with JML and ESC/Java2. FMCO 2005: 342-363 - [c9]Patrice Chalin:
Logical Foundations of Program Assertions: What do Practitioners Want?. SEFM 2005: 383-393 - [c8]Patrice Chalin, Frédéric Rioux:
Non-null references by default in the Java modeling language. SAVCBS@ESEC/FSE 2005: 9 - [c7]Joseph R. Kiniry, Patrice Chalin, Clément Hurlin:
Integrating Static Checking and Interactive Verification: Supporting Multiple Theories and Provers in Verification. VSTTE 2005: 153-160 - [c6]Frédéric Rioux, Patrice Chalin:
Improving the Quality of Web-based Enterprise Applications with Extended Static Checking: A Case Study. WWV 2005: 193-206 - [c5]Frédéric Rioux, Patrice Chalin:
Improving the Quality of Web-based Enterprise Applications with Extended Static Checking: A Case Study. WWV 2005: 119-132 - 2003
- [c4]Patrice Chalin:
Improving JML: For a Safer and More Effective Language. FME 2003: 440-461 - 1996
- [c3]Patrice Chalin, Peter Grogono, Thiruvengadam Radhakrishnan:
Identification of and Solutions to Shortcomings of LCL, a Larch/C Interface Specification Language. FME 1996: 385-404 - 1994
- [c2]Peter Grogono, Patrice Chalin:
Copying, Sharing, and Aliasing. COODBSE 1994: 77-89 - 1990
- [c1]Patrice Chalin, Peter Grogono:
Z Specification of an Object Manager. VDM Europe 1990: 41-71
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-24 23:02 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
