Zum Inhalt springen

  1. Arcaini, Paolo [VeranstalterIn] ; International Conference on Model Driven Engineering Languages and Systems 24. 2021 Online

    24th International Conference on Model-Driven Engineering Languages and Systems : MODELS 2021 : 10-15 October 2021, virtual event : companion proceedings

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Piscataway, NJ: IEEE, 2021

  2. Arcaini, Paolo [VerfasserIn] ; Beek, Maurice H. ter [MitwirkendeR]; Perrouin, Gilles [MitwirkendeR]; Reinhartz-Berger, Iris [MitwirkendeR]; Luaces, Miguel R. [MitwirkendeR]; Schwanninger, Christa [MitwirkendeR]; Ali, Shaukat [MitwirkendeR]; Varshosaz, Mahsa [MitwirkendeR]; Gargantini, Angelo [MitwirkendeR]; Gnesi, Stefania [MitwirkendeR]; Lochau, Malte [MitwirkendeR]; Semini, Laura [MitwirkendeR]; Washizaki, Hironori [MitwirkendeR] ACM Special Interest Group on Software Engineering, ACM SIGs

    Proceedings of the 27th ACM International Systems and Software Product Line Conference - Volume A

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    New York,NY,United States: Association for Computing Machinery, 2023

    Erschienen in: ACM Conferences- ACM Digital Library

  3. Arcaini, Paolo [VerfasserIn] ; Beek, Maurice H. ter [MitwirkendeR]; Perrouin, Gilles [MitwirkendeR]; Reinhartz-Berger, Iris [MitwirkendeR]; Machado, Ivan [MitwirkendeR]; Vergilio, Silvia Regina [MitwirkendeR]; Rabiser, Rick [MitwirkendeR]; Yue, Tao [MitwirkendeR]; Devroey, Xavier [MitwirkendeR]; Pinto, Mónica [MitwirkendeR]; Washizaki, Hironori [MitwirkendeR] ACM Special Interest Group on Software Engineering, ACM SIGs

    Proceedings of the 27th ACM International Systems and Software Product Line Conference - Volume B

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    New York,NY,United States: Association for Computing Machinery, 2023

    Erschienen in: ACM Conferences- ACM Digital Library

  4. Arcaini, Paolo [VerfasserIn] ; Devroey, Xavier [MitwirkendeR]; Fantechi, Alessandro [MitwirkendeR]

    Proceedings of the 16th International Working Conference on Variability Modelling of Software-Intensive Systems

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    New York,NY,United States: Association for Computing Machinery, 2022

    Erschienen in: ACM Other conferences- ACM Digital Library

  5. Arcaini, Paolo [HerausgeberIn]; Yue, Tao [HerausgeberIn]; Fredericks, Erik M. [HerausgeberIn]

    Search-Based Software Engineering : 15th International Symposium, SSBSE 2023, San Francisco, CA, USA, December 8, 2023, Proceedings - [1st ed. 2024.]

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Cham: Springer Nature Switzerland, 2024. ; Cham: Imprint: Springer, 2024.

    Erschienen in: Lecture Notes in Computer Science ; 14415

  11. Yue, Tao; Arcaini, Paolo; Ali, Shaukat

    Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends: Understanding Digital Twins for Cyber-Physical Systems: A Conceptual Model

    Aufsätze
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Springer International Publishing, 2021

    Erschienen in: Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends

  13. Mashkoor, Atif; Arcaini, Paolo; Gargantini, Angelo

    Intelligent Autonomous Systems

    Aufsätze
    Online ansehen
    Schließen

    Zugang

    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Institute of Electrical and Electronics Engineers (IEEE), 2020

    Erschienen in: Computer

  14. Zhang, Zhenya; Arcaini, Paolo; Hasuo, Ichiro

    Lecture Notes in Computer Science: Constraining Counterexamples in Hybrid System Falsification: Penalty-Based Approaches

    Aufsätze
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Springer International Publishing, 2020

    Erschienen in: Lecture Notes in Computer Science

  15. Ali, Shaukat; Arcaini, Paolo; Yue, Tao

    Search-Based Software Engineering: Do Quality Indicators Prefer Particular Multi-objective Search Algorithms in Search-Based Software Engineering?

    Aufsätze
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Springer International Publishing, 2020

    Erschienen in: Search-Based Software Engineering