default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDJosée Desharnais
Person information
- affiliation: Laval University, Québec City, Canada
SPARQL queries 
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
[c32]Youcef Korichi
, Josée Desharnais, Sébastien Gambs, Nadia Tawbi:
Leveraging Transformer Architecture for Effective Trajectory-User Linking (TUL) Attack and Its Mitigation. ESORICS (4) 2024: 271-290- 2023
- [j11]Josée Desharnais, François Laviolette, Héli Marcoux, Norbert Polat:
A cop-winning strategy on strongly cop-win graphs. Discret. Math. 346(8): 113419 (2023) - [c31]Simon Bertrand, Josée Desharnais, Nadia Tawbi:
Unsupervised User-Based Insider Threat Detection Using Bayesian Gaussian Mixture Models. PST 2023: 1-10 - 2022
- [i3]Simon Bertrand, Nadia Tawbi, Josée Desharnais:
Unsupervised User-Based Insider Threat Detection Using Bayesian Gaussian Mixture Models. CoRR abs/2211.14437 (2022) - 2021
- [j10]Frédéric Simard, Josée Desharnais, François Laviolette:
General Cops and Robbers games with randomness. Theor. Comput. Sci. 887: 30-50 (2021) - 2020
- [c30]Souad El Hatib, Loïc Ricaud, Josée Desharnais, Nadia Tawbi:
Toward Semantic-Based Android Malware Detection Using Model Checking and Machine Learning. CRiSIS 2020: 289-307 - [i2]Frédéric Simard, Josée Desharnais, François Laviolette:
General Cops and Robbers Games with randomness. CoRR abs/2004.11503 (2020) - [i1]Yann Pequignot, Mathieu Alain, Patrick Dallaire, Alireza Yeganehparast, Pascal Germain, Josée Desharnais, François Laviolette:
Implicit Variational Inference: the Parameter and the Predictor Space. CoRR abs/2010.12995 (2020)
2010 – 2019
- 2019
- [c29]Elisavet Kozyri, Fred B. Schneider, Andrew Bedford, Josée Desharnais, Nadia Tawbi:
Beyond Labels: Permissiveness for Dynamic Information Flow Enforcement. CSF 2019: 351-366 - [c28]Gildas Kouko, Josée Desharnais, François Laviolette:
Finite Approximation of LMPs for Exact Verification of Reachability Properties. QEST 2019: 70-87 - 2017
- [j9]Andrew Bedford, Stephen Chong, Josée Desharnais, Elisavet Kozyri, Nadia Tawbi:
A progress-sensitive flow-sensitive inlined information-flow control monitor (extended version). Comput. Secur. 71: 114-131 (2017) - 2016
- [c27]Andrew Bedford, Sébastien Garvin, Josée Desharnais, Nadia Tawbi, Hana Ajakan, Frédéric Audet, Bernard Lebel:
Andrana: Quick and Accurate Malware Detection for Android. FPS 2016: 20-35 - [c26]Andrew Bedford, Stephen Chong, Josée Desharnais, Nadia Tawbi:
A Progress-Sensitive Flow-Sensitive Inlined Information-Flow Control Monitor. SEC 2016: 352-366 - [e3]Josée Desharnais, Radha Jagadeesan:
27th International Conference on Concurrency Theory, CONCUR 2016, August 23-26, 2016, Québec City, Canada. LIPIcs 59, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2016, ISBN 978-3-95977-017-0 [contents] - 2015
- [c25]Frédéric Simard, Michael Morin, Claude-Guy Quimper, François Laviolette, Josée Desharnais:
Bounding an Optimal Search Path with a Game of Cop and Robber on Graphs. CP 2015: 403-418 - 2014
- [c24]Josée Desharnais:
Laudatio for Prakash Panangaden. Horizons of the Mind 2014: 290-291 - 2013
- [j8]Josée Desharnais, François Laviolette, Sami Zhioua:
Testing probabilistic equivalence through Reinforcement Learning. Inf. Comput. 227: 21-57 (2013) - [c23]Andrew Bedford, Josée Desharnais, Théophane G. Godonou, Nadia Tawbi:
Enforcing Information Flow by Combining Static and Dynamic Analysis. FPS 2013: 83-101 - 2012
- [c22]Josée Desharnais, Erwanne P. Kanyabwero, Nadia Tawbi:
Enforcing Information Flow Policies by a Three-Valued Analysis. MMM-ACNS 2012: 114-129 - 2011
- [j7]Josée Desharnais, François Laviolette, Amélie Turgeon:
A logical duality for underspecified probabilistic systems. Inf. Comput. 209(5): 850-871 (2011) - [c21]Joseph Assouramou, Josée Desharnais:
Analysis of Non-Linear Probabilistic Hybrid Systems. QAPL 2011: 104-119 - [c20]Mathieu Tracol, Josée Desharnais, Abir Zhioua:
Computing Distances between Probabilistic Automata. QAPL 2011: 148-162 - 2010
- [j6]Josée Desharnais, Vineet Gupta, Radha Jagadeesan, Prakash Panangaden:
Weak bisimulation is sound and complete for pCTL*. Inf. Comput. 208(2): 203-219 (2010) - [c19]Joseph Assouramou, Josée Desharnais:
Continuous Time and/or Continuous Distributions. EPEW 2010: 99-114 - [e2]Claude Bolduc, Josée Desharnais, Béchir Ktari:
Mathematics of Program Construction, 10th International Conference, MPC 2010, Québec City, Canada, June 21-23, 2010. Proceedings. Lecture Notes in Computer Science 6120, Springer 2010, ISBN 978-3-642-13320-6 [contents]
2000 – 2009
- 2009
- [c18]Josée Desharnais, François Laviolette, Amélie Turgeon:
A Demonic Approach to Information in Probabilistic Systems. CONCUR 2009: 289-304 - [c17]Sami Zhioua, Doina Precup, François Laviolette, Josée Desharnais:
Learning the Difference between Partially Observable Dynamical Systems. ECML/PKDD (2) 2009: 664-677 - 2008
- [c16]Josée Desharnais, François Laviolette, Mathieu Tracol:
Approximate Analysis of Probabilistic Processes: Logic, Simulation and Games. QEST 2008: 264-273 - 2006
- [j5]Vincent Danos, Josée Desharnais, François Laviolette, Prakash Panangaden:
Bisimulation and cocongruence for probabilistic systems. Inf. Comput. 204(4): 503-523 (2006) - [c15]Josée Desharnais, François Laviolette, Krishna Priya Darsini Moturu, Sami Zhioua:
Trace Equivalence Characterization Through Reinforcement Learning. Canadian AI 2006: 371-382 - [c14]Josée Desharnais, François Laviolette, Sami Zhioua:
Testing Probabilistic Equivalence Through Reinforcement Learning. FSTTCS 2006: 236-247 - 2005
- [c13]Claude Bolduc, Josée Desharnais:
Static Analysis of Programs Using Omega Algebra with Tests. RelMiCS 2005: 60-72 - 2004
- [j4]Josée Desharnais, Vineet Gupta, Radha Jagadeesan, Prakash Panangaden:
Metrics for labelled Markov processes. Theor. Comput. Sci. 318(3): 323-354 (2004) - [e1]Josée Desharnais, Prakash Panangaden:
Proceedings of the Workshop on Domain Theoretic Methods for Probabilistic Processes, DTMPP 2003, Barbados, April 21-25, 2003. Electronic Notes in Theoretical Computer Science 87, Elsevier 2004 [contents] - 2003
- [j3]Josée Desharnais, Vineet Gupta, Radha Jagadeesan, Prakash Panangaden:
Approximating labelled Markov processes. Inf. Comput. 184(1): 160-200 (2003) - [j2]Josée Desharnais, Prakash Panangaden:
Continuous stochastic logic characterizes bisimulation of continuous-time Markov processes. J. Log. Algebraic Methods Program. 56(1-2): 99-115 (2003) - [c12]Vincent Danos, Josée Desharnais, Prakash Panangaden:
Conditional Expectation and the Approximation of Labelled Markov Processes. CONCUR 2003: 468-482 - [c11]Vincent Danos, Josée Desharnais:
A Fixpoint Logic for Labeled Markov Processes. FICS 2003: 14-18 - [c10]Vincent Danos, Josée Desharnais:
Labelled Markov Processes: Stronger and Faster Approximations. LICS 2003: 341-350 - [c9]Josée Desharnais, Prakash Panangaden:
Preface. DTMPP 2003: 1-3 - [c8]Vincent Danos, Josée Desharnais, Prakash Panangaden:
Labelled Markov Processes: Stronger and Faster Approximations. DTMPP 2003: 157-203 - 2002
- [j1]Josée Desharnais, Abbas Edalat, Prakash Panangaden:
Bisimulation for Labelled Markov Processes. Inf. Comput. 179(2): 163-193 (2002) - [c7]Josée Desharnais, Vineet Gupta, Radha Jagadeesan, Prakash Panangaden:
Weak Bisimulation is Sound and Complete for PCTL*. CONCUR 2002: 355-370 - [c6]Mourad Debbabi, Josée Desharnais, M. Fourati, E. Menif, Frédéric Painchaud, Nadia Tawbi:
Secure Self-certified Code for Java. FASec 2002: 133-151 - [c5]Josée Desharnais, Radha Jagadeesan, Vineet Gupta, Prakash Panangaden:
The Metric Analogue of Weak Bisimulation for Probabilistic Processes. LICS 2002: 413-422 - 2000
- [c4]Josée Desharnais, Vineet Gupta, Radha Jagadeesan, Prakash Panangaden:
Approximating Labeled Markov Processes. LICS 2000: 95-106
1990 – 1999
- 1999
- [c3]Josée Desharnais, Vineet Gupta, Radha Jagadeesan, Prakash Panangaden:
Metrics for Labeled Markov Systems. CONCUR 1999: 258-273 - 1998
- [c2]Josée Desharnais, Abbas Edalat, Prakash Panangaden:
A Logical Characterization of Bisimulation for Labeled Markov Processes. LICS 1998: 478-487 - 1997
- [c1]Richard Blute, Josée Desharnais, Abbas Edalat, Prakash Panangaden:
Bisimulation for Labelled Markov Processes. LICS 1997: 149-158
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 2025-01-09 12:50 CET 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:
