Search

Your search keyword '"Legay, P."' showing total 85 results

Search Constraints

Start Over You searched for: Author "Legay, P." Remove constraint Author: "Legay, P." Publication Type Reports Remove constraint Publication Type: Reports
85 results on '"Legay, P."'

Search Results

1. Mapping low-resolution edges to high-resolution paths: the case of traffic measurements in cities

2. Compatibility of Fairness Metrics with EU Non-Discrimination Laws: Demographic Parity & Conditional Demographic Disparity

3. AGATA DAQ-box: a unified data acquisition system for different experimental conditions

4. AGATA: Advancements in Software Developments

5. Experimental Toolkit for Manipulating Executable Packing

6. Timed I/O Automata: It is never too late to complete your timed specification theory

7. Symbolic analysis meets federated learning to enhance malware identifier

8. Malware Analysis with Symbolic Execution and Graph Kernel

9. Evaluating How an Ed.D. Community College Leadership Program Supports Women of Color

10. Test Scenario Generation for Context-Oriented Programs

11. Analysis of Source Code Using UPPAAL

12. Analysis of Machine Learning Approaches to Packing Detection

13. A Quantitative Assessment of Package Freshness in Linux Distributions

14. Quantitative Security Risk Modeling and Analysis with RisQFLan

15. A Decision Tree Lifted Domain for Analyzing Program Families with Numerical Features (Extended Version)

16. 40 Gbps Readout interface STARE for the AGATA Project

17. A ground-truth dataset and classification model for detecting bots in GitHub issue and PR comments

18. Behavioral Specification Theories: an Algebraic Taxonomy

19. On Package Freshness in Linux Distributions

20. Automatic Verification of LLVM Code

21. Featured Games

22. Computing Branching Distances Using Quantitative Games

23. On the edge-biclique graph and the iterated edge-biclique operator

24. The $0\nu2\beta$-decay CROSS experiment: preliminary results and prospects

25. Secure Architectures Implementing Trusted Coalitions for Blockchained Distributed Learning (TCLearn)

26. Sequential Relational Decomposition

27. Variability Abstraction and Refinement for Game-based Lifted Model Checking of full CTL (Extended Version)

28. On the impact of pull request decisions on future contributions

29. Hybrid Statistical Estimation of Mutual Information and its Application to Information Flow

30. Formal Verification of Probabilistic SystemC Models with Statistical Model Checking

31. A framework for quantitative modeling and analysis of highly (re)configurable systems

32. Featured Weighted Automata

33. An $\omega$-Algebra for Real-Time Energy Problems

34. The complexity of tropical graph homomorphisms

35. Verification of interlocking systems using statistical model checking

36. Long-Term Average Cost in Featured Transition Systems

37. A Linear-Time Branching-Time Spectrum for Behavioral Specification Theories

38. On computing tree and path decompositions with metric constraints on the bags

39. *-Continuous Kleene $\omega$-Algebras for Energy Problems

40. On the Expressiveness of Joining

41. Dependability Analysis of Control Systems using SystemC and Statistical Model Checking

42. Model Checking as Control: Feedback Control for Statistical Model Checking of Cyber-Physical Systems

43. Quantitative Analysis of Probabilistic Models of Software Product Lines with Statistical Model Checking

44. Distributed Verification of Rare Properties using Importance Splitting Observers

45. *-Continuous Kleene $\omega$-Algebras

46. Dynamic Verification of SystemC with Statistical Model Checking

47. Lightweight Monte Carlo Verification of Markov Decision Processes with Rewards

48. Homotopy Bisimilarity for Higher-Dimensional Automata

49. Smart Sampling for Lightweight Verification of Markov Decision Processes

50. Compositionality for Quantitative Specifications

Catalog

Books, media, physical & digital resources