Jules Desharnais
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
5
Active years
1984–2008
Best venue rank
A*
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2008 | MPC | Modal Semirings Revisited. | Jules Desharnais, Georg Struth |
| 2006 | AICCSA | Modeling Redundancy: Quantitative and Qualitative Models. | Ali Mili, Lan Wu, Frederick T. Sheldon, Mark Shereshevsky, Jules Desharnais |
| 2004 | ATVA | Synthesis of State Feedback Controllers for Parameterized Discrete Event Systems. | Hans Bherer, Jules Desharnais, Marc Frappier, Richard St-Denis |
| 2004 | MPC | Describing Gen/Kill Static Analysis Techniques with Kleene Algebra. | Therrezinha Fernandes, Jules Desharnais |
| 1998 | LOPSTR | Mathematical Foundations for Program Transformations. | Rahma Ben Ayed, Jules Desharnais, Marc Frappier, Ali Mili |
| 1995 | MPC | Program Construction by Parts. | Marc Frappier, Ali Mili, Jules Desharnais |
| 1984 | ICSE | A System for Classifying Program Verification Methods: Assigning Meanings to Program Verification Methods. | Ali Mili, Jules Desharnais |