| Execution Trace Analysis for a Precise Understanding of Latency Violations | 0 | 0.34 | 2021 |
| Combining STPA with SysML Modeling | 1 | 0.48 | 2020 |
| SysML models: studying safety and security measures impact on performance using graph tainting | 0 | 0.34 | 2020 |
| High-level modeling of communication-centric applications: Extensions to a system-level design and virtual prototyping tool | 0 | 0.34 | 2019 |
| A Tool for High-level Modeling of Analog/Mixed Signal Embedded Systems | 0 | 0.34 | 2019 |
| Meta-models Combination for Reusing Verification Techniques | 0 | 0.34 | 2019 |
| Harmonizing Safety, Security And Performance Requirements In Embedded Systems | 0 | 0.34 | 2019 |
| Modeling the Trade-off Between Security and Performance to Support the Product Life Cycle | 0 | 0.34 | 2019 |
| Efficient Data-Flow Analysis of UML/SysML Diagrams for Optimized Model Compilation of Hardware-software Systems | 0 | 0.34 | 2019 |
| Modeling and Virtual Prototyping for Embedded Systems on Mixed-Signal Multicores | 0 | 0.34 | 2019 |
| A Language-Based Multi-View Approach for Combining Functional and Security Models | 0 | 0.34 | 2019 |
| Test Sequence Generation From Formally Verified SysML Models. | 0 | 0.34 | 2019 |
| Odyn: Deadlock Prevention and Hybrid Scheduling Algorithm for Real-Time Dataflow Applications | 0 | 0.34 | 2019 |
| SysML Model Transformation for Safety and Security Analysis. | 0 | 0.34 | 2018 |
| Model-Based Programming for Multi-processor Platforms with TTool/DIPLODOCUS and OMC. | 0 | 0.34 | 2018 |
| A Model-Driven Engineering Methodology to Design Parallel and Distributed Embedded Systems. | 3 | 0.43 | 2017 |
| SMASHUP: a toolchain for unified verification of hardware/software co-designs. | 4 | 0.43 | 2017 |
| Model-Driven Performance Evaluation and Formal Verification for Multi-level Embedded System Design. | 2 | 0.39 | 2017 |
| Security-aware Modeling and Analysis for HW/SW Partitioning. | 2 | 0.38 | 2017 |
| Formal and Virtual Multi-level Design Space Exploration. | 0 | 0.34 | 2017 |
| Identifying Unknown Android Malware with Feature Extractions and Classification Techniques | 6 | 0.52 | 2015 |
| Facial makeup detection technique based on texture and shape analysis | 5 | 0.48 | 2015 |
| SysML-Sec: A model driven approach for designing safe and secure systems | 5 | 0.47 | 2015 |
| Identifying Unknown Android Malware with Feature Extractions and Classification Techniques | 0 | 0.34 | 2015 |
| Designing Safe and Secure Embedded and Cyber-Physical Systems with SysML-Sec. | 1 | 0.48 | 2015 |
| SherlockDroid: a research assistant to spot unknown malware in Android marketplaces | 1 | 0.37 | 2015 |
| UAVs for humanitarian missions: Autonomy and reliability | 2 | 0.43 | 2014 |
| Towards The Model-Driven Engineering Of Secure Yet Safe Embedded Systems | 0 | 0.34 | 2014 |
| A UML Model-Driven Approach to Efficiently Allocate Complex Communication Schemes. | 3 | 0.40 | 2014 |
| Model The System From Adversary Viewpoint: Threats Identification And Modeling | 0 | 0.34 | 2014 |
| Formal system-level design space exploration | 4 | 0.43 | 2013 |
| Fast Evaluation of Power Consumption of Embedded Systems Using DIPLODOCUS | 3 | 0.40 | 2013 |
| Static Analysis Techniques to Verify Mutual Exclusion Situations within SysML Models. | 1 | 0.36 | 2013 |
| Towards the model-driven engineering of security requirements for embedded systems | 3 | 0.43 | 2013 |
| A Formal Methodology Applied To Secure Over-The-Air Automotive Applications | 3 | 0.41 | 2011 |
| Car2X Communication: Securing the Last Meter - A Cost-Effective Approach for Ensuring Trust in Car2X Applications Using In-Vehicle Symmetric Cryptography. | 13 | 0.88 | 2011 |
| TEPE: a SysML language for time-constrained property modeling and formal verification | 22 | 1.14 | 2011 |
| Un assistant méthodologique UML. Modélisation et vérification formelle de protocoles guidées par des patrons | 0 | 0.34 | 2011 |
| Real-Time Distributed Systems Dimensioning and Validation: The TURTLE Method. | 0 | 0.34 | 2010 |
| Fast Simulation Techniques for Design Space Exploration | 5 | 0.73 | 2009 |
| Application Specific Processors for Multimedia Applications | 3 | 0.39 | 2008 |
| Synthèse d'observateurs à partir d'exigences temporelles. | 0 | 0.34 | 2008 |
| Evaluation of ASIPs Design with LISATek | 9 | 0.67 | 2008 |
| Adding a methodological assistant to a protocol modeling environment | 0 | 0.34 | 2008 |
| TTool for DIPLODOCUS: an environment for design space exploration | 5 | 0.59 | 2008 |
| Specifying Fractal and GCM Components with UML | 12 | 0.86 | 2007 |
| Un environnement de conception de systèmes distribués basé sur UML. | 1 | 0.39 | 2006 |
| Abstract Application Modeling for System Design Space Exploration | 7 | 0.67 | 2006 |
| TURTLE-P: a UML profile for the formal validation of critical and distributed systems. | 8 | 0.70 | 2006 |
| New Operators for the TURTLE Real-Time UML Profile | 2 | 0.50 | 2003 |
