| Architecture fault modeling with the AADL error-model annex J Delange, P Feiler 2014 40th EUROMICRO Conference on Software Engineering and Advanced …, 2014 | 92 | 2014 |
| Validate, simulate, and implement ARINC653 systems using the AADL J Delange, L Pautet, A Plantec, M Kerboeuf, F Singhoff, F Kordon Proceedings of the ACM SIGAda annual international conference on Ada and …, 2009 | 92 | 2009 |
| TASTE: a real-time software engineering tool-chain overview, status, and future M Perrotin, E Conquet, J Delange, A Schiele, T Tsiodras SDL 2011: Integrating System and Software Modeling: 15th International SDL …, 2012 | 53 | 2012 |
| Illustrating the AADL error modeling annex (v. 2) using a simple safety-critical medical device B Larson, J Hatcliff, K Fowler, J Delange ACM SIGAda Ada Letters 33 (3), 65-84, 2013 | 48 | 2013 |
| Validating safety and security requirements for partitioned architectures J Delange, L Pautet, P Feiler Reliable Software Technologies–Ada-Europe 2009: 14th Ada-Europe …, 2009 | 46 | 2009 |
| AADL fault modeling and analysis within an ARP4761 safety assessment J Delange, P Feiler, DP Gluch, J Hudak CARNEGIE-MELLON UNIV PITTSBURGH PA SOFTWARE ENGINEERING INST, 2014 | 41 | 2014 |
| POK, an ARINC653-compliant operating system released under the BSD license J Delange, L Lec 13th Real-Time Linux Workshop 10, 181-192, 2011 | 41 | 2011 |
| Automated fault tree analysis from aadl models P Feiler, J Delange ACM SIGAda Ada Letters 36 (2), 39-46, 2017 | 27 | 2017 |
| Code generation strategies from aadl architectural descriptions targeting the high integrity domain J Delange, J Hugues, L Pautet, B Zalila 4th European Congress ERTS, Toulouse, 2008 | 26 | 2008 |
| Server failure predictive model J Delange US Patent 10,613,962, 2020 | 24 | 2020 |
| AADL in Practice: Become an expert in software architecture modeling and analysis J Delange Reblochon Development Company, 2017 | 23 | 2017 |
| Code generation strategies for partitioned systems J Delange, L Pautet, F Kordon 29th IEEE Real-Time Systems Symposium (RTSS’08), 53-56, 2008 | 19 | 2008 |
| Couverture: an innovative open framework for coverage analysis of safety critical applications M Bordin, C Comar, T Gingold, J Guitton, O Hainque, T Quinot, J Delange, ... Ada User Journal 30 (4), 248-255, 2009 | 17 | 2009 |
| Evaluating and mitigating the impact of complexity in software models J Delange, JJ Hudak, WR Nichols, J McHale, MY Nam Software Engineering Institute, 2015 | 16 | 2015 |
| TASTE: An open-source tool-chain for embedded system and software development M Perrotin, E Conquet, J Delange, T Tsiodras Embedded Real Time Software and Systems (ERTS2012), 2012 | 16 | 2012 |
| Technical Debt in Practice: How to Find It and Fix It N Ernst, R Kazman, J Delange MIT Press, 2021 | 14 | 2021 |
| Incremental life cycle assurance of safety-critical systems J Delange, P Feiler, E Neil 8th European Congress on Embedded Real Time Software and Systems (ERTS 2016), 2016 | 13 | 2016 |
| Incremental latency analysis of heterogeneous cyber-physical systems J Delange, P Feiler Universidad Carlos III de Madrid, 2014 | 13 | 2014 |
| An MDE-based process for the design, implementation and validation of safety-critical systems J Delange, L Pautet, J Hugues, D de Niz 2010 15th IEEE International Conference on Engineering of Complex Computer …, 2010 | 13 | 2010 |
| Design, implementation and verification of MILS systems J Delange, L Pautet, F Kordon Software: Practice and Experience 42 (7), 799-816, 2012 | 12 | 2012 |
