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          = {https://ceur-ws.org/Vol-1233/acvi14\_submission\_3.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:22:20 +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          = {https://ceur-ws.org/Vol-1233/acvi14\_submission\_6.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +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          = {https://ceur-ws.org/Vol-1233/keynote.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +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          = {https://ceur-ws.org/Vol-1233/acvi14\_submission\_7.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +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          = {https://ceur-ws.org/Vol-1233/acvi14\_submission\_1.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +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          = {https://ceur-ws.org/Vol-1233/acvi14\_submission\_5.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +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          = {https://ceur-ws.org/Vol-1233/acvi14\_submission\_2.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +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          = {https://ceur-ws.org/Vol-1233/acvi14\_submission\_4.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +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          = {https://ceur-ws.org/Vol-1233/acvi14\_submission\_9.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +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          = {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}
}
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.