Showing
1 - 4
results of
4
Skip to content
VuFind
Log in
Library Catalogue Plus
Library
Subject guides
Databases
Referencing
Catalogue
Articles Plus
Keyword
Title
Author
Subject
Find
Advanced Search
Search Results - Girol, Guillaume
Search Results - Girol, Guillaume
Showing
1 - 4
results of
4
Refine Results
Sort
Relevance
Date Descending
Author
Title
1
Loading…
Introducing robust reachability
by
Girol, Guillaume
,
Farinier, Benjamin
,
Bardin, Sébastien
Published in
Formal methods in system design
Get full text
Items that this one cites
Items that cite this one
Article
Save to List
Saved in:
2
Loading…
Quantitative Robustness for Vulnerability Assessment
by
Girol, Guillaume
,
Lacombe, Guilhem
,
Bardin, Sébastien
Published in
Proceedings of ACM on programming languages
Get full text
Items that this one cites
Article
Save to List
Saved in:
3
Loading…
Inference of Robust Reachability Constraints
by
Sellami, Yanis
,
Girol, Guillaume
,
Recoules, Frédéric
,
Couroussé, Damien
,
Bardin, Sébastien
Published in
Proceedings of ACM on programming languages
Get full text
Items that this one cites
Article
Save to List
Saved in:
4
Loading…
A Quantitative Flavour of Robust Reachability
by
Bardin, Sébastien
,
Girol, Guillaume
Published in
arXiv.org
Get full text
Article
Save to List
Saved in:
Search Tools:
RSS Feed
Email Search
Save Search
Back
Refine Results
Page will reload when a filter is selected or excluded.
Limit To
Peer Reviewed
3 results
3
Full Text
4 results
4
Format
Articles
4 results
4
Journal Title
Proceedings Of Acm On Programming Languages
2 results
2
Formal Methods In System Design
1 results
1
Proceedings Of The Acm On Programming Languages
1 results
1
Subjects
Computer Science
3 results
3
Program Analysis
3 results
3
Science & Technology
3 results
3
Technology
3 results
3
Computer Science, Software Engineering
2 results
2
Formal Methods And Theory Of Security
2 results
2
Logic And Verification
2 results
2
Program Reasoning
2 results
2
Security And Privacy
2 results
2
Software Security Engineering
2 results
2
Symbolic Execution
2 results
2
Theory Of Computation
2 results
2
Abduction
1 results
1
Bayesian Analysis
1 results
1
Cae) And Design
1 results
1
Circuits And Systems
1 results
1
Computer Science, Theory & Methods
1 results
1
Computer-Aided Engineering (Cad
1 results
1
Debugging
1 results
1
Electrical Engineering
1 results
1
Year of Publication
From:
To:
Source
Road: Directory Of Open Access Scholarly Resources
3 results
3
Acm Digital Library
2 results
2
Ezb Electronic Journals Library
2 results
2
Springer Nature
1 results
1
Open Access: Freely Accessible Journals By Multiple Vendors
1 results
1
Publicly Available Content (Proquest)
1 results
1
Springer Link Archives
1 results
1
Springer Journals
1 results
1