Julien Delange
Julien Delange
Carnegie Mellon Software Engineering Institute
Verified email at andrew.cmu.edu - Homepage
Title
Cited by
Cited by
Year
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
792009
Architecture fault modeling with the AADL error-model annex
J Delange, P Feiler
2014 40th EUROMICRO Conference on Software Engineering and Advancedá…, 2014
682014
TASTE: a real-time software engineering tool-chain overview, status, and future
M Perrotin, E Conquet, J Delange, A┌ Schiele, T Tsiodras
International SDL Forum, 26-37, 2011
402011
Validating safety and security requirements for partitioned architectures
J Delange, L Pautet, P Feiler
International Conference on Reliable Software Technologies, 30-43, 2009
382009
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
372013
POK, an ARINC653-compliant operating system released under the BSD license
J Delange, L Lec
13th Real-Time Linux Workshop 10, 2011
352011
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
272014
Code generation strategies from aadl architectural descriptions targeting the high integrity domain
J Delange, J Hugues, L Pautet, B Zalila
212008
Code generation strategies for partitioned systems
J Delange, L Pautet, F Kordon
29th IEEE Real-Time Systems Symposium (RTSS’08), 53-56, 2008
162008
TASTE: An open-source tool-chain for embedded system and software development
M Perrotin, E Conquet, J Delange, T Tsiodras
132012
Incremental life cycle assurance of safety-critical systems
J Delange, P Feiler, E Neil
122016
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
122009
Automated fault tree analysis from aadl models
P Feiler, J Delange
ACM SIGAda Ada Letters 36 (2), 39-46, 2017
102017
Incremental latency analysis of heterogeneous cyber-physical systems
J Delange, P Feiler
Universidad Carlos III de Madrid, 2014
102014
Design, implementation and verification of MILS systems
J Delange, L Pautet, F Kordon
Software: Practice and Experience 42 (7), 799-816, 2012
102012
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
102010
Model based code generation for distributed embedded systems
G Raghav, S Gopalswamy, K Radhakrishnan, J Hugues, J Delange
102010
Evaluating and mitigating the impact of complexity in software models
J Delange, J Hudak, W Nichols, J McHale, MY Nam
CARNEGIE-MELLON UNIV PITTSBURGH PA PITTSBURGH United States, 2015
92015
Model-based engineering for the development of ARINC653 architectures
J Delange, O Gilles, J Hugues, L Pautet
SAE International Journal of Aerospace 3 (2009-01-3234), 79-86, 2009
92009
AADL in Practice: Become an expert in software architecture modeling and analysis
J Delange
Reblochon Development Company, 2017
82017
The system can't perform the operation now. Try again later.
Articles 1–20