BibTeX records: Julien Delange

download as .bib file

@inproceedings{DBLP:conf/hipeac/DelangeNFK16,
  author       = {Julien Delange and
                  Min{-}Young Nam and
                  Peter H. Feiler and
                  Will Klieber},
  editor       = {Sergey Tverdyshev},
  title        = {An Architecture-Centric Process for {MILS} Development},
  booktitle    = {International Workshop on {MILS:} Architecture and Assurance for Secure
                  Systems, MILS@HiPEAC 2016, Prague, Czech Republic, January 19, 2016},
  publisher    = {Zenodo},
  year         = {2016},
  url          = {https://doi.org/10.5281/zenodo.47976},
  doi          = {10.5281/ZENODO.47976},
  timestamp    = {Thu, 02 Aug 2018 14:39:18 +0200},
  biburl       = {https://dblp.org/rec/conf/hipeac/DelangeNFK16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icse/NizND16,
  author       = {Dionisio de Niz and
                  Min{-}Young Nam and
                  Julien Delange},
  title        = {Behavioral complexity quantification (Becom-Q)},
  booktitle    = {Proceedings of the 7th International Workshop on Emerging Trends in
                  Software Metrics, WETSoM@ICSE 2016, Austin, TX, USA, May 14, 2016},
  pages        = {29--35},
  publisher    = {{ACM}},
  year         = {2016},
  url          = {https://doi.org/10.1145/2897695.2897700},
  doi          = {10.1145/2897695.2897700},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icse/NizND16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/isola/NamDF16,
  author       = {Min{-}Young Nam and
                  Julien Delange and
                  Peter H. Feiler},
  editor       = {Tiziana Margaria and
                  Bernhard Steffen},
  title        = {Integrated Modeling Workflow for Security Assurance},
  booktitle    = {Leveraging Applications of Formal Methods, Verification and Validation:
                  Foundational Techniques - 7th International Symposium, ISoLA 2016,
                  Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part {I}},
  series       = {Lecture Notes in Computer Science},
  volume       = {9952},
  pages        = {926--941},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-47166-2\_64},
  doi          = {10.1007/978-3-319-47166-2\_64},
  timestamp    = {Tue, 14 May 2019 10:00:41 +0200},
  biburl       = {https://dblp.org/rec/conf/isola/NamDF16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wicsa/NordSDFTO16,
  author       = {Robert L. Nord and
                  Raghvinder S. Sangwan and
                  Julien Delange and
                  Peter H. Feiler and
                  Luke Thomas and
                  Ipek Ozkaya},
  title        = {Missed Architectural Dependencies: The Elephant in the Room},
  booktitle    = {13th Working {IEEE/IFIP} Conference on Software Architecture, {WICSA}
                  2016, Venice, Italy, April 5-8, 2016},
  pages        = {41--50},
  publisher    = {{IEEE} Computer Society},
  year         = {2016},
  url          = {https://doi.org/10.1109/WICSA.2016.32},
  doi          = {10.1109/WICSA.2016.32},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/wicsa/NordSDFTO16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rsp/HuguesD15,
  author       = {J{\'{e}}r{\^{o}}me Hugues and
                  Julien Delange},
  title        = {Model-based design and automated validation of {ARINC653} architectures},
  booktitle    = {2015 International Symposium on Rapid System Prototyping, {RSP} 2015,
                  Amsterdam, The Netherlands, October 8-9, 2015},
  pages        = {3--9},
  publisher    = {{IEEE}},
  year         = {2015},
  url          = {https://doi.org/10.1109/RSP.2015.7416539},
  doi          = {10.1109/RSP.2015.7416539},
  timestamp    = {Wed, 16 Oct 2019 14:14:50 +0200},
  biburl       = {https://dblp.org/rec/conf/rsp/HuguesD15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/euromicro/DelangeF14,
  author       = {Julien Delange and
                  Peter H. Feiler},
  title        = {Architecture Fault Modeling with the {AADL} Error-Model Annex},
  booktitle    = {40th {EUROMICRO} Conference on Software Engineering and Advanced Applications,
                  {EUROMICRO-SEAA} 2014, Verona, Italy, August 27-29, 2014},
  pages        = {361--368},
  publisher    = {{IEEE} Computer Society},
  year         = {2014},
  url          = {https://doi.org/10.1109/SEAA.2014.20},
  doi          = {10.1109/SEAA.2014.20},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/euromicro/DelangeF14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rtss/DelangeF14,
  author       = {Julien Delange and
                  Peter H. Feiler},
  editor       = {Marisol Garc{\'{\i}}a{-}Valls and
                  Tommaso Cucinotta},
  title        = {Incremental latency analysis of heterogeneous cyber-physical systems},
  booktitle    = {{REACTION} 2014, 3rd {IEEE} International Workshop on Real-time and
                  distributed computing in emerging applications, Proceedings, Rome,
                  Italy. December 2nd, 2014},
  publisher    = {Universidad Carlos {III} de Madrid},
  year         = {2014},
  url          = {https://hdl.handle.net/10016/19688},
  timestamp    = {Wed, 04 May 2022 13:02:27 +0200},
  biburl       = {https://dblp.org/rec/conf/rtss/DelangeF14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/models/2014acvi,
  editor       = {Julien Delange and
                  Peter H. Feiler},
  title        = {Proceedings of the First International Workshop on Architecture Centric
                  Virtual Integration co-located with the 17th International Conference
                  on Model Driven Engineering Languages and Systems, ACVI@MoDELS 2014,
                  Valencia, Spain, September 29, 2014},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {1233},
  publisher    = {CEUR-WS.org},
  year         = {2014},
  url          = {https://ceur-ws.org/Vol-1233},
  urn          = {urn:nbn:de:0074-1233-7},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/models/2014acvi.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icsm/NordOSDGK13,
  author       = {Robert L. Nord and
                  Ipek Ozkaya and
                  Raghvinder S. Sangwan and
                  Julien Delange and
                  Marco A. Gonzalez and
                  Philippe Kruchten},
  title        = {Variations on Using Propagation Cost to Measure Architecture Modifiability
                  Properties},
  booktitle    = {2013 {IEEE} International Conference on Software Maintenance, Eindhoven,
                  The Netherlands, September 22-28, 2013},
  pages        = {400--403},
  publisher    = {{IEEE} Computer Society},
  year         = {2013},
  url          = {https://doi.org/10.1109/ICSM.2013.57},
  doi          = {10.1109/ICSM.2013.57},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icsm/NordOSDGK13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/re/ErnstONDBG13,
  author       = {Neil A. Ernst and
                  Ipek Ozkaya and
                  Robert L. Nord and
                  Julien Delange and
                  Stephany Bellomo and
                  Ian Gorton},
  title        = {Understanding the role of constraints on architecturally significant
                  requirements},
  booktitle    = {3rd International Workshop on the Twin Peaks of Requirements and Architecture,
                  TwinPeaks@RE 2013, Rio de Janeiro, Brazil, July 16, 2013},
  pages        = {9--14},
  publisher    = {{IEEE} Computer Society},
  year         = {2013},
  url          = {https://doi.org/10.1109/TwinPeaks-2.2013.6617353},
  doi          = {10.1109/TWINPEAKS-2.2013.6617353},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/re/ErnstONDBG13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sigada/LarsonHFD13,
  author       = {Brian R. Larson and
                  John Hatcliff and
                  Kim R. Fowler and
                  Julien Delange},
  editor       = {Jeff Boleng and
                  S. Tucker Taft},
  title        = {Illustrating the {AADL} error modeling annex (v.2) using a simple
                  safety-critical medical device},
  booktitle    = {Proceedings of the 2013 {ACM} SIGAda annual conference on High integrity
                  language technology, {HILT} 2013, Pittsburgh, Pennsylvania, USA, November
                  10-14, 2013},
  pages        = {65--84},
  publisher    = {{ACM}},
  year         = {2013},
  url          = {https://doi.org/10.1145/2527269.2527271},
  doi          = {10.1145/2527269.2527271},
  timestamp    = {Tue, 06 Nov 2018 16:57:53 +0100},
  biburl       = {https://dblp.org/rec/conf/sigada/LarsonHFD13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/spe/DelangePK12,
  author       = {Julien Delange and
                  Laurent Pautet and
                  Fabrice Kordon},
  title        = {Design, implementation and verification of {MILS} systems},
  journal      = {Softw. Pract. Exp.},
  volume       = {42},
  number       = {7},
  pages        = {799--816},
  year         = {2012},
  url          = {https://doi.org/10.1002/spe.1151},
  doi          = {10.1002/SPE.1151},
  timestamp    = {Mon, 26 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/spe/DelangePK12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sdl/PerrotinCDST11,
  author       = {Maxime Perrotin and
                  Eric Conquet and
                  Julien Delange and
                  Andre Schiele and
                  Thanassis Tsiodras},
  editor       = {Iulian Ober and
                  Ileana Ober},
  title        = {{TASTE:} {A} Real-Time Software Engineering Tool-Chain Overview, Status,
                  and Future},
  booktitle    = {{SDL} 2011: Integrating System and Software Modeling - 15th International
                  {SDL} Forum Toulouse, France, July 5-7, 2011. Revised Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {7083},
  pages        = {26--37},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-25264-8\_4},
  doi          = {10.1007/978-3-642-25264-8\_4},
  timestamp    = {Sat, 30 Sep 2023 09:55:58 +0200},
  biburl       = {https://dblp.org/rec/conf/sdl/PerrotinCDST11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/sigada/2011,
  editor       = {Ricky E. Sward and
                  Michael B. Feldman and
                  Dan Eilers and
                  Jean{-}Pierre Rosen and
                  Frank Singhoff and
                  Julien Delange and
                  Mark Gardinier and
                  Karl A. Nyberg and
                  Jeff Boleng},
  title        = {Proceedings of the 2011 Annual {ACM} SIGAda International Conference
                  on Ada, Denver, Colorado, USA, November 6-10, 2011},
  publisher    = {{ACM}},
  year         = {2011},
  url          = {https://doi.org/10.1145/2070337},
  doi          = {10.1145/2070337},
  isbn         = {978-1-4503-1028-4},
  timestamp    = {Fri, 02 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sigada/2011.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/iceccs/DelangePHN10,
  author       = {Julien Delange and
                  Laurent Pautet and
                  J{\'{e}}r{\^{o}}me Hugues and
                  Dionisio de Niz},
  editor       = {Radu Calinescu and
                  Richard F. Paige and
                  Marta Z. Kwiatkowska},
  title        = {An MDE-Based Process for the Design, Implementation and Validation
                  of Safety-Critical Systems},
  booktitle    = {15th {IEEE} International Conference on Engineering of Complex Computer
                  Systems, {ICECCS} 2010, Oxford, United Kingdom, 22-26 March 2010},
  pages        = {319--324},
  publisher    = {{IEEE} Computer Society},
  year         = {2010},
  url          = {https://doi.org/10.1109/ICECCS.2010.12},
  doi          = {10.1109/ICECCS.2010.12},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iceccs/DelangePHN10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/adaEurope/DelangePF09,
  author       = {Julien Delange and
                  Laurent Pautet and
                  Peter H. Feiler},
  editor       = {Fabrice Kordon and
                  Yvon Kermarrec},
  title        = {Validating Safety and Security Requirements for Partitioned Architectures},
  booktitle    = {Reliable Software Technologies - Ada-Europe 2009, 14th Ada-Europe
                  International Conference, Brest, France, June 8-12, 2009. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5570},
  pages        = {30--43},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-01924-1\_3},
  doi          = {10.1007/978-3-642-01924-1\_3},
  timestamp    = {Tue, 14 May 2019 10:00:50 +0200},
  biburl       = {https://dblp.org/rec/conf/adaEurope/DelangePF09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sigada/DelangePPKSK09,
  author       = {Julien Delange and
                  Laurent Pautet and
                  Alain Plantec and
                  Micka{\"{e}}l Kerboeuf and
                  Frank Singhoff and
                  Fabrice Kordon},
  editor       = {Greg Gicca and
                  Jeff Boleng},
  title        = {Validate, simulate, and implement {ARINC653} systems using the {AADL}},
  booktitle    = {Proceedings of the 2009 Annual {ACM} SIGAda International Conference
                  on Ada, Saint Petersburg, Florida, USA, November 1-5, 2009},
  pages        = {31--44},
  publisher    = {{ACM}},
  year         = {2009},
  url          = {https://doi.org/10.1145/1647420.1647435},
  doi          = {10.1145/1647420.1647435},
  timestamp    = {Fri, 25 Mar 2022 14:21:18 +0100},
  biburl       = {https://dblp.org/rec/conf/sigada/DelangePPKSK09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.