default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDJulien Brunel
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2023
[c32]Julien Brunel, David Chemouil, Alcino Cunha
, Nuno Macedo:
Adding Records to Alloy. ABZ 2023: 212-219- [c31]Nuno Macedo, Julien Brunel, David Chemouil, Alcino Cunha:
Verifying Temporal Relational Models with Pardinus. ABZ 2023: 254-261 - 2022
- [j6]Nuno Macedo, Julien Brunel, David Chemouil, Alcino Cunha:
Pardinus: A Temporal Relational Model Finder. J. Autom. Reason. 66(4): 861-904 (2022) - 2021
- [j5]Quentin Peyras, Julien Brunel, David Chemouil:
A decidable and expressive fragment of Many-Sorted First-Order Linear Temporal Logic. Inf. Comput. 280: 104641 (2021) - [c30]Quentin Peyras, Jean-Paul Bodeveix, Julien Brunel, David Chemouil:
Sound Verification Procedures for Temporal Properties of Infinite-State Systems. CAV (2) 2021: 337-360 - 2020
- [c29]Nathanaël Sensfelder, Julien Brunel, Claire Pagetti:
On How to Identify Cache Coherence: Case of the NXP QorIQ T4240. ECRTS 2020: 13:1-13:22
2010 – 2019
- 2019
- [j4]Nathanaël Sensfelder, Julien Brunel, Claire Pagetti:
Modeling Cache Coherence to Expose Interference (Artifact). Dagstuhl Artifacts Ser. 5(1): 07:1-07:2 (2019) - [c28]Nathanaël Sensfelder, Julien Brunel, Claire Pagetti:
Modeling Cache Coherence to Expose Interference. ECRTS 2019: 18:1-18:22 - [c27]Jean-Paul Bodeveix, Julien Brunel, David Chemouil, Mamoun Filali:
Mechanically Verifying the Fundamental Liveness Property of the Chord Protocol. FM 2019: 45-63 - [c26]Quentin Peyras, Julien Brunel, David Chemouil:
A Bounded Domain Property for an Expressive Fragment of First-Order Linear Temporal Logic. TIME 2019: 15:1-15:16 - [c25]Julien Brunel, David Chemouil, Alcino Cunha, Nuno Macedo:
Simulation under Arbitrary Temporal Logic Constraints. F-IDE@FM 2019: 63-69 - 2018
- [j3]David Come, Julien Brunel, David Doose:
Improving code quality in ROS packages using a temporal extension of first-order logic. Encycl. Semantic Comput. Robotic Intell. 2(1): 1850003:1-1850003:11 (2018) - [c24]Julien Brunel, David Chemouil, Alcino Cunha, Thomas Hujsa, Nuno Macedo, Jeanne Tawa:
Proposition of an Action Layer for Electrum. ABZ 2018: 397-402 - [c23]Julien Brunel, David Chemouil, Jeanne Tawa:
Analyzing the Fundamental Liveness Property of the Chord Protocol. FMCAD 2018: 1-9 - [c22]David Come, Julien Brunel, David Doose:
Improving Code Quality in ROS Packages Using a Temporal Extension of First-Order Logic. IRC 2018: 1-8 - [c21]Julien Brunel, David Chemouil, Alcino Cunha, Nuno Macedo:
The electrum analyzer: model checking relational first-order temporal specifications. ASE 2018: 884-887 - [c20]David Come, Julien Brunel, David Doose:
Source Code Analysis with a Temporal Extension of First-Order Logic. SBMF 2018: 20-38 - 2017
- [c19]Julien Brunel, Peter H. Feiler, Jérôme Hugues, Bruce A. Lewis, Tatiana Prosvirnova, Christel Seguin, Lutz Wrage:
Performing Safety Analyses with AADL and AltaRica. IMBSA 2017: 67-81 - 2016
- [c18]Denis Kuperberg, Julien Brunel, David Chemouil:
On Finite Domains in First-Order Linear Temporal Logic. ATVA 2016: 211-226 - [c17]Nuno Macedo, Julien Brunel, David Chemouil, Alcino Cunha, Denis Kuperberg:
Lightweight specification and analysis of dynamic systems with rich configurations. SIGSOFT FSE 2016: 373-383 - 2015
- [j2]Christophe Chareton, Julien Brunel, David Chemouil:
A logic with revocable and refinable strategies. Inf. Comput. 242: 157-182 (2015) - [c16]Julien Brunel, David Chemouil:
Safety and Security Assessment of Behavioral Properties Using Alloy. SAFECOMP Workshops 2015: 251-263 - [c15]Christophe Chareton, Julien Brunel, David Chemouil:
Evaluating the Assignment of Behavioral Goals to Coalitions of Agents. SBMF 2015: 56-73 - 2014
- [c14]Julien Brunel, David Chemouil, Laurent Rioux, Mohamed Bakkali, Frédérique Vallée:
A Viewpoint-Based Approach for Formal Safety & Security Assessment of System Architectures. MoDeVVa@MoDELS 2014: 39-48 - [c13]Pierre Bieber, Julien Brunel:
From Safety Models to Security Models: Preliminary Lessons Learnt. SAFECOMP Workshops 2014: 269-281 - [c12]Julien Brunel, Laurent Rioux, Stéphane Paul, Anthony Faucogney, Frédérique Vallée:
Formal Safety and Security Assessment of an Avionic Architecture with Alloy. ESSS 2014: 8-19 - 2013
- [j1]Julia L. Lawall, Julien Brunel, Nicolas Palix, René Rydhof Hansen, Henrik Stuart, Gilles Muller:
WYSIWIB: exploiting fine-grained program structure in a scriptable API-usage protocol-finding process. Softw. Pract. Exp. 43(1): 67-92 (2013) - [c11]Christophe Chareton, Julien Brunel, David Chemouil:
Towards an Updatable Strategy Logic. SR 2013: 91-98 - 2012
- [c10]Julien Brunel, Jacques Cazin:
Formal Verification of a Safety Argumentation and Application to a Complex UAV System. SAFECOMP Workshops 2012: 307-318 - 2011
- [c9]Sylvain Bouveret, Julien Brunel, David Chemouil, Fabien Dagnat:
Towards a categorical framework to ensure correct software evolutions. ICDE Workshops 2011: 139-144 - [c8]Christophe Chareton, Julien Brunel, David Chemouil:
A Formal Treatment of Agents, Goals and Operations Using Alternating-Time Temporal Logic. SBMF 2011: 188-203
2000 – 2009
- 2009
- [c7]Julia L. Lawall, Julien Brunel, Nicolas Palix, René Rydhof Hansen, Henrik Stuart, Gilles Muller:
WYSIWIB: A declarative approach to finding API protocols and bugs in Linux code. DSN 2009: 43-52 - [c6]Julien Brunel, Damien Doligez, René Rydhof Hansen, Julia L. Lawall, Gilles Muller:
A foundation for flow-based program matching: using temporal logic and model checking. POPL 2009: 114-126 - 2007
- [c5]Jan M. Broersen, Julien Brunel:
Preservation of obligations in a temporal and deontic framework. AAMAS 2007: 177 - [c4]Julien Brunel, Frédéric Cuppens, Nora Cuppens-Boulahia, Thierry Sans, Jean-Paul Bodeveix:
Security policy compliance with violation management. FMSE 2007: 31-40 - [c3]Jan M. Broersen, Julien Brunel:
'What I Fail to Do Today, I Have to Do Tomorrow': A Logical Study of the Propagation of Obligations. CLIMA 2007: 82-99 - [c2]Philippe Balbiani, Jan M. Broersen, Julien Brunel:
Decision Procedures for a Deontic Logic Modeling Temporal Inheritance of Obligations. M4M 2007: 69-89 - 2006
- [c1]Julien Brunel, Jean-Paul Bodeveix, Mamoun Filali:
A State/Event Temporal Deontic Logic. DEON 2006: 85-100
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-06-26 20:27 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:
