Skip to main content
User menu
Cart
Login
DIAL.pr - BOREAL
Search form
Search
Home
All Publications
Export
Help
Current search
2009
1985
Slingeneyer, Thibaut
Dubuisson, Bernard
1988
2014
UCLouvain
Legay, Axel
Author
6
Fahrenberg, Uli
Apply Fahrenberg, Uli filter
4
Traonouez, Louis-Marie
Apply Traonouez, Louis-Marie filter
2
Křetínský, Jan
Apply Křetínský, Jan filter
2
Quilbeuf, Jean
Apply Quilbeuf, Jean filter
1
Atlee Joanne, M.
Apply Atlee Joanne, M. filter
1
Bartocci, E
Apply Bartocci, E filter
1
Beneš, Nikola
Apply Beneš, Nikola filter
1
Biondi, Fabrizio
Apply Biondi, Fabrizio filter
1
Boyer, Benoît
Apply Boyer, Benoît filter
1
Corre, Kevin
Apply Corre, Kevin filter
1
Grosu, R
Apply Grosu, R filter
1
Jegourel, Cyrille
Apply Jegourel, Cyrille filter
1
Kalajdzic, K
Apply Kalajdzic, K filter
1
Ngo Van, Chan
Apply Ngo Van, Chan filter
1
Ouederni, Meriem
Apply Ouederni, Meriem filter
1
Salaün, Gwen
Apply Salaün, Gwen filter
1
Sedwards, Sean
Apply Sedwards, Sean filter
1
Smolka, Scott
Apply Smolka, Scott filter
1
Ésik, Zoltán
Apply Ésik, Zoltán filter
Document Type
7
Rapport (Report)
Apply Rapport (Report) filter
4
Document de travail (Working Paper)
Apply Document de travail (Working Paper) filter
You are here
Home
»
Search
»
Search results
»
*:*
»
^2009
»
^1985
»
^Slingeneyer, Thibaut
»
^Dubuisson, Bernard
»
^1988
»
2014
»
^UCLouvain
»
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
11
results.
Report
Measuring Behaviour Interactions between Product-Line Features
Atlee Joanne, M.
Fahrenberg, Uli
Legay, Axel
[UCL]
(2014)
Report
Dynamic Verification of SystemC with Statistical Model Checking
Ngo Van, Chan
Legay, Axel
[UCL]
Quilbeuf, Jean
(2014)
Report
Compositionality for Quantitative Specifications
Fahrenberg, Uli
Křetínský, Jan
Legay, Axel
[UCL]
Traonouez, Louis-Marie
(2014)
WorkingPaper
Model Checking as Control: Feedback Control for Statistical Model Checking of Cyber-Physical Systems
Kalajdzic, K
Jegourel, Cyrille
Bartocci, E
Legay, Axel
[UCL]
Smolka, Scott
Grosu, R
(2014)
Report
Flooding-Based Algorithm for Behavioural Compatibility Measuring
Ouederni, Meriem
Fahrenberg, Uli
Legay, Axel
[UCL]
Salaün, Gwen
(2014)
WorkingPaper
Continuous Kleene ω-Algebras
Ésik, Zoltán
Fahrenberg, Uli
Legay, Axel
[UCL]
(2014)
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)
WorkingPaper
Statistical Model Checking with Changes and Simulink
Boyer, Benoît
Corre, Kevin
Legay, Axel
[UCL]
Traonouez, Louis-Marie
(2014)
Report
Lightweight Verification of Markov Decision Processes with Rewards
Legay, Axel
[UCL]
Sedwards, Sean
Traonouez, Louis-Marie
(2014)
WorkingPaper
Information Leakage by Trace Analysis in QUAIL
Biondi, Fabrizio
Quilbeuf, Jean
Legay, Axel
[UCL]
(2014)