Search dblp for Publications

export results for "toc:db/conf/models/acvi2014.bht:"

 download as .bib file

@inproceedings{DBLP:conf/models/BuzdalovK14,
  author    = {Denis V. Buzdalov and
               Alexey V. Khoroshilov},
  editor    = {Julien Delange and
               Peter H. Feiler},
  title     = {A Discrete-Event Simulator for Early Validation of Avionics Systems},
  booktitle = {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       = {http://ceur-ws.org/Vol-1233/acvi14\_submission\_3.pdf},
  timestamp = {Wed, 12 Feb 2020 16:44:14 +0100},
  biburl    = {https://dblp.org/rec/conf/models/BuzdalovK14.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/DissauxM14,
  author    = {Pierre Dissaux and
               Olivier Marc},
  editor    = {Julien Delange and
               Peter H. Feiler},
  title     = {Executable {AADL:} Real-Time Simulation of {AADL} Models},
  booktitle = {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       = {http://ceur-ws.org/Vol-1233/acvi14\_submission\_6.pdf},
  timestamp = {Wed, 12 Feb 2020 16:44:14 +0100},
  biburl    = {https://dblp.org/rec/conf/models/DissauxM14.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/Feiler14,
  author    = {Peter H. Feiler},
  editor    = {Julien Delange and
               Peter H. Feiler},
  title     = {The Story of {AADL}},
  booktitle = {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       = {http://ceur-ws.org/Vol-1233/keynote.pdf},
  timestamp = {Wed, 12 Feb 2020 16:44:14 +0100},
  biburl    = {https://dblp.org/rec/conf/models/Feiler14.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/Gonzalez-HuertaAIL14,
  author    = {Javier Gonzalez{-}Huerta and
               Silvia Abrah{\~{a}}o and
               Emilio Insfr{\'{a}}n and
               Bruce Lewis},
  editor    = {Julien Delange and
               Peter H. Feiler},
  title     = {Automatic Derivation of {AADL} Product Architectures in Software Product
               Line Development},
  booktitle = {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       = {http://ceur-ws.org/Vol-1233/acvi14\_submission\_7.pdf},
  timestamp = {Wed, 12 Feb 2020 16:44:14 +0100},
  biburl    = {https://dblp.org/rec/conf/models/Gonzalez-HuertaAIL14.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/PosseD14,
  author    = {Ernesto Posse and
               J{\"{u}}rgen Dingel},
  editor    = {Julien Delange and
               Peter H. Feiler},
  title     = {Contract-Based Specification and Analysis of {AADL} Models},
  booktitle = {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       = {http://ceur-ws.org/Vol-1233/acvi14\_submission\_1.pdf},
  timestamp = {Wed, 12 Feb 2020 16:44:14 +0100},
  biburl    = {https://dblp.org/rec/conf/models/PosseD14.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/RubiniDS14,
  author    = {St{\'{e}}phane Rubini and
               Pierre Dissaux and
               Frank Singhoff},
  editor    = {Julien Delange and
               Peter H. Feiler},
  title     = {Modeling Shared-Memory Multiprocessor Systems with {AADL}},
  booktitle = {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       = {http://ceur-ws.org/Vol-1233/acvi14\_submission\_5.pdf},
  timestamp = {Wed, 12 Feb 2020 16:44:14 +0100},
  biburl    = {https://dblp.org/rec/conf/models/RubiniDS14.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/TiyamKGHM14,
  author    = {Robati Tiyam and
               Amine El Kouhen and
               Abdelouahed Gherbi and
               Sardaouna Hamadou and
               John Mullins},
  editor    = {Julien Delange and
               Peter H. Feiler},
  title     = {An Extension for {AADL} to Model Mixed-Criticality Avionic Systems
               Deployed on {IMA} architectures with TTEthernet},
  booktitle = {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       = {http://ceur-ws.org/Vol-1233/acvi14\_submission\_2.pdf},
  timestamp = {Wed, 12 Feb 2020 16:44:14 +0100},
  biburl    = {https://dblp.org/rec/conf/models/TiyamKGHM14.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/YangBF14,
  author    = {Zhibin Yang and
               Jean{-}Paul Bodeveix and
               Mamoun Filali},
  editor    = {Julien Delange and
               Peter H. Feiler},
  title     = {Multi-Core Code Generation from Polychronous Programs with Time-Predictable
               Properties},
  booktitle = {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       = {http://ceur-ws.org/Vol-1233/acvi14\_submission\_4.pdf},
  timestamp = {Wed, 12 Feb 2020 16:44:14 +0100},
  biburl    = {https://dblp.org/rec/conf/models/YangBF14.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/YuTSJS14,
  author    = {Huafeng Yu and
               Jean{-}Pierre Talpin and
               Sandeep K. Shukla and
               Prachi Joshi and
               Shin'ichi Shiraishi},
  editor    = {Julien Delange and
               Peter H. Feiler},
  title     = {Towards an Architecture-Centric Approach Dedicated to Model-Based
               Virtual Integration for Embedded Software Systems},
  booktitle = {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       = {http://ceur-ws.org/Vol-1233/acvi14\_submission\_9.pdf},
  timestamp = {Wed, 12 Feb 2020 16:44:14 +0100},
  biburl    = {https://dblp.org/rec/conf/models/YuTSJS14.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       = {http://ceur-ws.org/Vol-1233},
  timestamp = {Wed, 12 Feb 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/models/2014acvi.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics