Search dblp for Publications

export results for "toc:db/series/eptcs/eptcs133.bht:"

 download as .bib file

@inproceedings{DBLP:journals/corr/ArnoldBL13,
  author       = {Alexandre Arnold and
                  Beno{\^{\i}}t Boyer and
                  Axel Legay},
  editor       = {Kim G. Larsen and
                  Axel Legay and
                  Ulrik Nyman},
  title        = {Contracts and Behavioral Patterns for SoS: The {EU} {IP} {DANSE} approach},
  booktitle    = {Proceedings 1st Workshop on Advances in Systems of Systems, AiSoS
                  2013, Rome, Italy, 16th March 2013},
  series       = {{EPTCS}},
  volume       = {133},
  pages        = {47--66},
  year         = {2013},
  url          = {https://doi.org/10.4204/EPTCS.133.6},
  doi          = {10.4204/EPTCS.133.6},
  timestamp    = {Tue, 07 May 2024 20:17:21 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/ArnoldBL13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/Botterweck13,
  author       = {Goetz Botterweck},
  editor       = {Kim G. Larsen and
                  Axel Legay and
                  Ulrik Nyman},
  title        = {Variability and Evolution in Systems of Systems},
  booktitle    = {Proceedings 1st Workshop on Advances in Systems of Systems, AiSoS
                  2013, Rome, Italy, 16th March 2013},
  series       = {{EPTCS}},
  volume       = {133},
  pages        = {8--23},
  year         = {2013},
  url          = {https://doi.org/10.4204/EPTCS.133.2},
  doi          = {10.4204/EPTCS.133.2},
  timestamp    = {Wed, 12 Sep 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/Botterweck13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/BujorianuB13,
  author       = {Manuela{-}Luminita Bujorianu and
                  Marius C. Bujorianu},
  editor       = {Kim G. Larsen and
                  Axel Legay and
                  Ulrik Nyman},
  title        = {A coordination model for ultra-large scale systems of systems},
  booktitle    = {Proceedings 1st Workshop on Advances in Systems of Systems, AiSoS
                  2013, Rome, Italy, 16th March 2013},
  series       = {{EPTCS}},
  volume       = {133},
  pages        = {84--98},
  year         = {2013},
  url          = {https://doi.org/10.4204/EPTCS.133.8},
  doi          = {10.4204/EPTCS.133.8},
  timestamp    = {Tue, 21 Sep 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/BujorianuB13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/Haverkort13,
  author       = {Boudewijn R. Haverkort},
  editor       = {Kim G. Larsen and
                  Axel Legay and
                  Ulrik Nyman},
  title        = {Challenges for modelling and analysis in embedded systems and systems-of-systems
                  design},
  booktitle    = {Proceedings 1st Workshop on Advances in Systems of Systems, AiSoS
                  2013, Rome, Italy, 16th March 2013},
  series       = {{EPTCS}},
  volume       = {133},
  pages        = {40--46},
  year         = {2013},
  url          = {https://doi.org/10.4204/EPTCS.133.5},
  doi          = {10.4204/EPTCS.133.5},
  timestamp    = {Fri, 27 Dec 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/Haverkort13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/Honour13,
  author       = {Eric C. Honour},
  editor       = {Kim G. Larsen and
                  Axel Legay and
                  Ulrik Nyman},
  title        = {Verification and Validation Issues in Systems of Systems},
  booktitle    = {Proceedings 1st Workshop on Advances in Systems of Systems, AiSoS
                  2013, Rome, Italy, 16th March 2013},
  series       = {{EPTCS}},
  volume       = {133},
  pages        = {2--7},
  year         = {2013},
  url          = {https://doi.org/10.4204/EPTCS.133.1},
  doi          = {10.4204/EPTCS.133.1},
  timestamp    = {Wed, 18 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/Honour13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/Kopetz13,
  author       = {Hermann Kopetz},
  editor       = {Kim G. Larsen and
                  Axel Legay and
                  Ulrik Nyman},
  title        = {System-of-Systems Complexity},
  booktitle    = {Proceedings 1st Workshop on Advances in Systems of Systems, AiSoS
                  2013, Rome, Italy, 16th March 2013},
  series       = {{EPTCS}},
  volume       = {133},
  pages        = {35--39},
  year         = {2013},
  url          = {https://doi.org/10.4204/EPTCS.133.4},
  doi          = {10.4204/EPTCS.133.4},
  timestamp    = {Wed, 12 Sep 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/Kopetz13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/MignognaMBLA13,
  author       = {Alessandro Mignogna and
                  Leonardo Mangeruca and
                  Beno{\^{\i}}t Boyer and
                  Axel Legay and
                  Alexandre Arnold},
  editor       = {Kim G. Larsen and
                  Axel Legay and
                  Ulrik Nyman},
  title        = {SoS contract verification using statistical model checking},
  booktitle    = {Proceedings 1st Workshop on Advances in Systems of Systems, AiSoS
                  2013, Rome, Italy, 16th March 2013},
  series       = {{EPTCS}},
  volume       = {133},
  pages        = {67--83},
  year         = {2013},
  url          = {https://doi.org/10.4204/EPTCS.133.7},
  doi          = {10.4204/EPTCS.133.7},
  timestamp    = {Wed, 12 Sep 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/MignognaMBLA13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/Pazzi13,
  author       = {Luca Pazzi},
  editor       = {Kim G. Larsen and
                  Axel Legay and
                  Ulrik Nyman},
  title        = {Systems of Systems Modeled by a Hierarchical Part-Whole State-Based
                  Formalism},
  booktitle    = {Proceedings 1st Workshop on Advances in Systems of Systems, AiSoS
                  2013, Rome, Italy, 16th March 2013},
  series       = {{EPTCS}},
  volume       = {133},
  pages        = {24--34},
  year         = {2013},
  url          = {https://doi.org/10.4204/EPTCS.133.3},
  doi          = {10.4204/EPTCS.133.3},
  timestamp    = {Wed, 12 Sep 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/Pazzi13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:journals/corr/LarsenLN13,
  editor       = {Kim G. Larsen and
                  Axel Legay and
                  Ulrik Nyman},
  title        = {Proceedings 1st Workshop on Advances in Systems of Systems, AiSoS
                  2013, Rome, Italy, 16th March 2013},
  series       = {{EPTCS}},
  volume       = {133},
  year         = {2013},
  url          = {https://doi.org/10.4204/EPTCS.133},
  doi          = {10.4204/EPTCS.133},
  timestamp    = {Tue, 07 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/LarsenLN13.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.