Skip to main content
User menu
Cart
Login
DIAL.pr - BOREAL
Search form
Search
Home
All Publications
Export
Help
Current search
2009
2003
Guittet, Emmanuel-Pierre
Rapport (Report)
Legay, Axel
Author
5
Fahrenberg, Uli
Apply Fahrenberg, Uli filter
3
Traonouez, Louis-Marie
Apply Traonouez, Louis-Marie filter
2
Arnold, Alexandre
Apply Arnold, Alexandre filter
2
Boyer, Benoît
Apply Boyer, Benoît filter
2
Delahaye, Benoît
Apply Delahaye, Benoît filter
2
Genet, Thomas
Apply Genet, Thomas filter
2
Křetínský, Jan
Apply Křetínský, Jan filter
2
Ngo Van, Chan
Apply Ngo Van, Chan filter
2
Quilbeuf, Jean
Apply Quilbeuf, Jean filter
2
Sedwards, Sean
Apply Sedwards, Sean filter
1
Atlee Joanne, M.
Apply Atlee Joanne, M. filter
1
Baleani, Massimo
Apply Baleani, Massimo filter
1
Basu, Ananda
Apply Basu, Ananda filter
1
Beneš, Nikola
Apply Beneš, Nikola filter
1
Bensalem, Saddek
Apply Bensalem, Saddek filter
1
Boichut, Yohan
Apply Boichut, Yohan filter
1
Bozga, Marius
Apply Bozga, Marius filter
1
Caillaud, Benoît
Apply Caillaud, Benoît filter
1
Desbordes, Paul
Apply Desbordes, Paul filter
1
Dror, Fried
Apply Dror, Fried filter
1
Etzien, Christoph
Apply Etzien, Christoph filter
1
Ferrari, Alberto
Apply Ferrari, Alberto filter
1
Le Gall, Tristan
Apply Le Gall, Tristan filter
1
Lugan, Sébastien
Apply Lugan, Sébastien filter
1
Macq, Benoît
Apply Macq, Benoît filter
1
Marazza, Marco
Apply Marazza, Marco filter
1
Moshe Y. Vardi
Apply Moshe Y. Vardi filter
1
Murat, Valérie
Apply Murat, Valérie filter
1
Ouaknine, Joël
Apply Ouaknine, Joël filter
1
Ouederni, Meriem
Apply Ouederni, Meriem filter
1
Salaün, Gwen
Apply Salaün, Gwen filter
1
Senni, Valerio
Apply Senni, Valerio filter
1
Tormo, Luis Xavier Ramos
Apply Tormo, Luis Xavier Ramos filter
Date
2
2019
Apply 2019 filter
1
2018
Apply 2018 filter
1
2017
Apply 2017 filter
2
2015
Apply 2015 filter
7
2014
Apply 2014 filter
2
2013
Apply 2013 filter
1
2012
Apply 2012 filter
2
2010
Apply 2010 filter
Access
4
Accès libre
Apply Accès libre filter
You are here
Home
»
Search
»
Search results
»
*:*
»
^2009
»
^2003
»
^Guittet, Emmanuel-Pierre
»
Rapport (Report)
»
Legay, Axel
»
Search
Accès à distance ? S'identifier sur le proxy
UCLouvain
Search
Sort by
Relevancy
Publication date desc
Publication date asc
Creation date
Fulltext
Displaying
18
results.
Report
On the Performance of Deep Learning for Side-channel Analysis. IACR Cryptolog
Legay, Axel
[UCL]
(2018)
Report
A framework for quantitative modeling and analysis of highly (re)configurable systems
Legay, Axel
[UCL]
(2017)
Report
Sequential Relational Decomposition
Legay, Axel
[UCL]
Dror, Fried
Ouaknine, Joël
Moshe Y. Vardi
(2019)
Report
Secure Architectures Implementing Trusted Coalitions for Blockchained Distributed
Lugan, Sébastien
[UCL]
Desbordes, Paul
[UCL]
Legay, Axel
[UCL]
Tormo, Luis Xavier Ramos
Macq, Benoît
[UCL]
(2019)
Report
Measuring Behaviour Interactions between Product-Line Features
Atlee Joanne, M.
Fahrenberg, Uli
Legay, Axel
[UCL]
(2014)
Report
Statistical Model Checking of Systems of Systems: An Industrial Approach : Verification statistique de systèmes de systèmes : une approche industrielle
Arnold, Alexandre
Baleani, Massimo
Ferrari, Alberto
Marazza, Marco
Senni, Valerio
Legay, Axel
[UCL]
Quilbeuf, Jean
Etzien, Christoph
(2015)
Report
Dynamic Verification of SystemC with Statistical Model Checking
Ngo Van, Chan
Legay, Axel
[UCL]
Quilbeuf, Jean
(2014)
Report
Equational Abstraction Refinement for Certified Tree Regular Model Checking
Boichut, Yohan
Boyer, Benoît
Genet, Thomas
Legay, Axel
[UCL]
(2010)
Report
Dependability Analysis of Control Systems using SystemC and Statistical Model Checking
Ngo Van, Chan
Legay, Axel
[UCL]
(2015)
Report
Compositionality for Quantitative Specifications
Fahrenberg, Uli
Křetínský, Jan
Legay, Axel
[UCL]
Traonouez, Louis-Marie
(2014)
Report
Statistical abstraction and model-checking of large heterogeneous systems
Basu, Ananda
Bensalem, Saddek
Bozga, Marius
Caillaud, Benoît
Delahaye, Benoît
Legay, Axel
[UCL]
(2010)
Report
Flooding-Based Algorithm for Behavioural Compatibility Measuring
Ouederni, Meriem
Fahrenberg, Uli
Legay, Axel
[UCL]
Salaün, Gwen
(2014)
Report
Contracts and Behavioral Patterns for Systems of systems: The EU IP DANSE approach
Arnold, Alexandre
Boyer, Benoît
Legay, Axel
[UCL]
(2013)
Report
Logical vs. Behavioural Specifications
Beneš, Nikola
Fahrenberg, Uli
Křetínský, Jan
Legay, Axel
[UCL]
Traonouez, Louis-Marie
(2014)
Report
Homotopy Bisimilarity for Higher-Dimensional Automata
Fahrenberg, Uli
Legay, Axel
[UCL]
(2014)
Report
Tree Regular Model Checking for Lattice-Based Automata
Genet, Thomas
Le Gall, Tristan
Legay, Axel
[UCL]
Murat, Valérie
(2012)
Report
Lightweight Verification of Markov Decision Processes with Rewards
Legay, Axel
[UCL]
Sedwards, Sean
Traonouez, Louis-Marie
(2014)
Report
A Simple and Efficient Statistical Model Checking Algorithm to Evaluate Markov Decision Processes
Delahaye, Benoît
Legay, Axel
[UCL]
Sedwards, Sean
(2013)