Search dblp for Publications

export results for "toc:db/conf/isola/isola2022-4.bht:"

 download as .bib file

@inproceedings{DBLP:conf/isola/BogomolovFSS22,
  author       = {Sergiy Bogomolov and
                  John S. Fitzgerald and
                  Sadegh Soudjani and
                  Paulius Stankaitis},
  editor       = {Tiziana Margaria and
                  Bernhard Steffen},
  title        = {Data-Driven Reachability Analysis of Digital Twin {FMI} Models},
  booktitle    = {Leveraging Applications of Formal Methods, Verification and Validation.
                  Practice - 11th International Symposium, ISoLA 2022, Rhodes, Greece,
                  October 22-30, 2022, Proceedings, Part {IV}},
  series       = {Lecture Notes in Computer Science},
  volume       = {13704},
  pages        = {139--158},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-031-19762-8\_10},
  doi          = {10.1007/978-3-031-19762-8\_10},
  timestamp    = {Sun, 06 Oct 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/isola/BogomolovFSS22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/isola/BoldoBCMDPQT22,
  author       = {Michele Boldo and
                  Nicola Bombieri and
                  Stefano Centomo and
                  Mirco De Marchi and
                  Florenc Demrozi and
                  Graziano Pravadelli and
                  Davide Quaglia and
                  Cristian Turetta},
  editor       = {Tiziana Margaria and
                  Bernhard Steffen},
  title        = {Integrating Wearable and Camera Based Monitoring in the Digital Twin
                  for Safety Assessment in the Industry 4.0 Era},
  booktitle    = {Leveraging Applications of Formal Methods, Verification and Validation.
                  Practice - 11th International Symposium, ISoLA 2022, Rhodes, Greece,
                  October 22-30, 2022, Proceedings, Part {IV}},
  series       = {Lecture Notes in Computer Science},
  volume       = {13704},
  pages        = {184--194},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-031-19762-8\_13},
  doi          = {10.1007/978-3-031-19762-8\_13},
  timestamp    = {Wed, 07 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/isola/BoldoBCMDPQT22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/isola/BuhagiarFSL22,
  author       = {Aaron John Buhagiar and
                  Leo Freitas and
                  William E. Scott III and
                  Peter Gorm Larsen},
  editor       = {Tiziana Margaria and
                  Bernhard Steffen},
  title        = {Digital Twins for Organ Preservation Devices},
  booktitle    = {Leveraging Applications of Formal Methods, Verification and Validation.
                  Practice - 11th International Symposium, ISoLA 2022, Rhodes, Greece,
                  October 22-30, 2022, Proceedings, Part {IV}},
  series       = {Lecture Notes in Computer Science},
  volume       = {13704},
  pages        = {22--36},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-031-19762-8\_3},
  doi          = {10.1007/978-3-031-19762-8\_3},
  timestamp    = {Sun, 13 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/isola/BuhagiarFSL22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/isola/CanonicoFMNV22,
  author       = {Roberto Canonico and
                  Francesco Flammini and
                  Stefano Marrone and
                  Roberto Nardone and
                  Valeria Vittorini},
  editor       = {Tiziana Margaria and
                  Bernhard Steffen},
  title        = {Automatic Generation of Domain-Aware Control Plane Logic for Software
                  Defined Railway Communication Networks},
  booktitle    = {Leveraging Applications of Formal Methods, Verification and Validation.
                  Practice - 11th International Symposium, ISoLA 2022, Rhodes, Greece,
                  October 22-30, 2022, Proceedings, Part {IV}},
  series       = {Lecture Notes in Computer Science},
  volume       = {13704},
  pages        = {308--320},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-031-19762-8\_23},
  doi          = {10.1007/978-3-031-19762-8\_23},
  timestamp    = {Sun, 13 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/isola/CanonicoFMNV22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/isola/ChaudharyGJSGPM22,
  author       = {Hafiz Ahmad Awais Chaudhary and
                  Ivan Guevara and
                  Jobish John and
                  Amandeep Singh and
                  Amrita Ghosal and
                  Dirk Pesch and
                  Tiziana Margaria},
  editor       = {Tiziana Margaria and
                  Bernhard Steffen},
  title        = {Model-Driven Engineering in Digital Thread Platforms: {A} Practical
                  Use Case and Future Challenges},
  booktitle    = {Leveraging Applications of Formal Methods, Verification and Validation.
                  Practice - 11th International Symposium, ISoLA 2022, Rhodes, Greece,
                  October 22-30, 2022, Proceedings, Part {IV}},
  series       = {Lecture Notes in Computer Science},
  volume       = {13704},
  pages        = {195--207},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-031-19762-8\_14},
  doi          = {10.1007/978-3-031-19762-8\_14},
  timestamp    = {Sun, 13 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/isola/ChaudharyGJSGPM22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/isola/DaiZLB22,
  author       = {Xiaotian Dai and
                  Shuai Zhao and
                  Benjamin Lesage and
                  Iain Bate},
  editor       = {Tiziana Margaria and
                  Bernhard Steffen},
  title        = {Using Digital Twins in the Development of Complex Dependable Real-Time
                  Embedded Systems},
  booktitle    = {Leveraging Applications of Formal Methods, Verification and Validation.
                  Practice - 11th International Symposium, ISoLA 2022, Rhodes, Greece,
                  October 22-30, 2022, Proceedings, Part {IV}},
  series       = {Lecture Notes in Computer Science},
  volume       = {13704},
  pages        = {37--53},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-031-19762-8\_4},
  doi          = {10.1007/978-3-031-19762-8\_4},
  timestamp    = {Fri, 21 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/isola/DaiZLB22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/isola/EisenbergLSW22,
  author       = {Martin Eisenberg and
                  Daniel Lehner and
                  Radek Sindel{\'{a}}r and
                  Manuel Wimmer},
  editor       = {Tiziana Margaria and
                  Bernhard Steffen},
  title        = {Towards Reactive Planning with Digital Twins and Model-Driven Optimization},
  booktitle    = {Leveraging Applications of Formal Methods, Verification and Validation.
                  Practice - 11th International Symposium, ISoLA 2022, Rhodes, Greece,
                  October 22-30, 2022, Proceedings, Part {IV}},
  series       = {Lecture Notes in Computer Science},
  volume       = {13704},
  pages        = {54--70},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-031-19762-8\_5},
  doi          = {10.1007/978-3-031-19762-8\_5},
  timestamp    = {Sun, 04 Aug 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/isola/EisenbergLSW22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/isola/FantechiGG22,
  author       = {Alessandro Fantechi and
                  Stefania Gnesi and
                  Gloria Gori},
  editor       = {Tiziana Margaria and
                  Bernhard Steffen},
  title        = {Future Train Control Systems: Challenges for Dependability Assessment},
  booktitle    = {Leveraging Applications of Formal Methods, Verification and Validation.
                  Practice - 11th International Symposium, ISoLA 2022, Rhodes, Greece,
                  October 22-30, 2022, Proceedings, Part {IV}},
  series       = {Lecture Notes in Computer Science},
  volume       = {13704},
  pages        = {269--285},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-031-19762-8\_21},
  doi          = {10.1007/978-3-031-19762-8\_21},
  timestamp    = {Sun, 13 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/isola/FantechiGG22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/isola/FantechiGH22,
  author       = {Alessandro Fantechi and
                  Stefania Gnesi and
                  Anne E. Haxthausen},
  editor       = {Tiziana Margaria and
                  Bernhard Steffen},
  title        = {Formal Methods for Distributed Control Systems of Future Railways},
  booktitle    = {Leveraging Applications of Formal Methods, Verification and Validation.
                  Practice - 11th International Symposium, ISoLA 2022, Rhodes, Greece,
                  October 22-30, 2022, Proceedings, Part {IV}},
  series       = {Lecture Notes in Computer Science},
  volume       = {13704},
  pages        = {243--245},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-031-19762-8\_19},
  doi          = {10.1007/978-3-031-19762-8\_19},
  timestamp    = {Wed, 07 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/isola/FantechiGH22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/isola/FitzgeraldLMWG22,
  author       = {John S. Fitzgerald and
                  Peter Gorm Larsen and
                  Tiziana Margaria and
                  Jim Woodcock and
                  Cl{\'{a}}udio Gomes},
  editor       = {Tiziana Margaria and
                  Bernhard Steffen},
  title        = {Engineering of Digital Twins for Cyber-Physical Systems},
  booktitle    = {Leveraging Applications of Formal Methods, Verification and Validation.
                  Practice - 11th International Symposium, ISoLA 2022, Rhodes, Greece,
                  October 22-30, 2022, Proceedings, Part {IV}},
  series       = {Lecture Notes in Computer Science},
  volume       = {13704},
  pages        = {3--8},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-031-19762-8\_1},
  doi          = {10.1007/978-3-031-19762-8\_1},
  timestamp    = {Fri, 17 Feb 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/isola/FitzgeraldLMWG22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/isola/GuevaraCM22,
  author       = {Ivan Guevara and
                  Hafiz Ahmad Awais Chaudhary and
                  Tiziana Margaria},
  editor       = {Tiziana Margaria and
                  Bernhard Steffen},
  title        = {Model-Driven Edge Analytics: Practical Use Cases in Smart Manufacturing},
  booktitle    = {Leveraging Applications of Formal Methods, Verification and Validation.
                  Practice - 11th International Symposium, ISoLA 2022, Rhodes, Greece,
                  October 22-30, 2022, Proceedings, Part {IV}},
  series       = {Lecture Notes in Computer Science},
  volume       = {13704},
  pages        = {406--421},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-031-19762-8\_29},
  doi          = {10.1007/978-3-031-19762-8\_29},
  timestamp    = {Sun, 13 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/isola/GuevaraCM22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/isola/HessenkamperHHR22,
  author       = {Axel Hessenk{\"{a}}mper and
                  Falk Howar and
                  Hardi Hungar and
                  Andreas Rausch},
  editor       = {Tiziana Margaria and
                  Bernhard Steffen},
  title        = {Formal Methods for a Digital Industry - Industrial Track at ISoLA
                  2022},
  booktitle    = {Leveraging Applications of Formal Methods, Verification and Validation.
                  Practice - 11th International Symposium, ISoLA 2022, Rhodes, Greece,
                  October 22-30, 2022, Proceedings, Part {IV}},
  series       = {Lecture Notes in Computer Science},
  volume       = {13704},
  pages        = {337--339},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-031-19762-8\_25},
  doi          = {10.1007/978-3-031-19762-8\_25},
  timestamp    = {Mon, 02 Sep 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/isola/HessenkamperHHR22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/isola/KamburjanKSTCJ22,
  author       = {Eduard Kamburjan and
                  Vidar Norstein Klungre and
                  Rudolf Schlatte and
                  Silvia Lizeth Tapia Tarifa and
                  David Cameron and
                  Einar Broch Johnsen},
  editor       = {Tiziana Margaria and
                  Bernhard Steffen},
  title        = {Digital Twin Reconfiguration Using Asset Models},
  booktitle    = {Leveraging Applications of Formal Methods, Verification and Validation.
                  Practice - 11th International Symposium, ISoLA 2022, Rhodes, Greece,
                  October 22-30, 2022, Proceedings, Part {IV}},
  series       = {Lecture Notes in Computer Science},
  volume       = {13704},
  pages        = {71--88},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-031-19762-8\_6},
  doi          = {10.1007/978-3-031-19762-8\_6},
  timestamp    = {Sun, 13 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/isola/KamburjanKSTCJ22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/isola/KsystraDTSK22,
  author       = {Katerina Ksystra and
                  Maria Dimarogkona and
                  Nikolaos Triantafyllou and
                  Petros S. Stefaneas and
                  Petros Kavassalis},
  editor       = {Tiziana Margaria and
                  Bernhard Steffen},
  title        = {Towards a Methodology for Formally Analyzing Federated Identity Management
                  Systems},
  booktitle    = {Leveraging Applications of Formal Methods, Verification and Validation.
                  Practice - 11th International Symposium, ISoLA 2022, Rhodes, Greece,
                  October 22-30, 2022, Proceedings, Part {IV}},
  series       = {Lecture Notes in Computer Science},
  volume       = {13704},
  pages        = {382--405},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-031-19762-8\_28},
  doi          = {10.1007/978-3-031-19762-8\_28},
  timestamp    = {Fri, 21 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/isola/KsystraDTSK22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/isola/KulikGMHL22,
  author       = {Tomas Kulik and
                  Cl{\'{a}}udio Gomes and
                  Hugo Daniel Macedo and
                  Stefan Hallerstede and
                  Peter Gorm Larsen},
  editor       = {Tiziana Margaria and
                  Bernhard Steffen},
  title        = {Towards Secure Digital Twins},
  booktitle    = {Leveraging Applications of Formal Methods, Verification and Validation.
                  Practice - 11th International Symposium, ISoLA 2022, Rhodes, Greece,
                  October 22-30, 2022, Proceedings, Part {IV}},
  series       = {Lecture Notes in Computer Science},
  volume       = {13704},
  pages        = {159--176},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-031-19762-8\_11},
  doi          = {10.1007/978-3-031-19762-8\_11},
  timestamp    = {Mon, 05 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/isola/KulikGMHL22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/isola/Kuruppuarachchi22,
  author       = {Pasindu Kuruppuarachchi and
                  Susan Rea and
                  Alan McGibney},
  editor       = {Tiziana Margaria and
                  Bernhard Steffen},
  title        = {Trust and Security Analyzer for Collaborative Digital Manufacturing
                  Ecosystems},
  booktitle    = {Leveraging Applications of Formal Methods, Verification and Validation.
                  Practice - 11th International Symposium, ISoLA 2022, Rhodes, Greece,
                  October 22-30, 2022, Proceedings, Part {IV}},
  series       = {Lecture Notes in Computer Science},
  volume       = {13704},
  pages        = {208--218},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-031-19762-8\_15},
  doi          = {10.1007/978-3-031-19762-8\_15},
  timestamp    = {Sun, 13 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/isola/Kuruppuarachchi22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/isola/Lecomte22,
  author       = {Thierry Lecomte},
  editor       = {Tiziana Margaria and
                  Bernhard Steffen},
  title        = {Safe and Secure Architecture Using Diverse Formal Methods},
  booktitle    = {Leveraging Applications of Formal Methods, Verification and Validation.
                  Practice - 11th International Symposium, ISoLA 2022, Rhodes, Greece,
                  October 22-30, 2022, Proceedings, Part {IV}},
  series       = {Lecture Notes in Computer Science},
  volume       = {13704},
  pages        = {321--333},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-031-19762-8\_24},
  doi          = {10.1007/978-3-031-19762-8\_24},
  timestamp    = {Fri, 21 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/isola/Lecomte22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/isola/LiuLP22,
  author       = {Le Liu and
                  Aleksandra Lekic and
                  Marjan Popov},
  editor       = {Tiziana Margaria and
                  Bernhard Steffen},
  title        = {Robust Adaptive Back-Stepping Control Approach Using Quadratic Lyapunov
                  Functions for MMC-Based {HVDC} Digital Twins},
  booktitle    = {Leveraging Applications of Formal Methods, Verification and Validation.
                  Practice - 11th International Symposium, ISoLA 2022, Rhodes, Greece,
                  October 22-30, 2022, Proceedings, Part {IV}},
  series       = {Lecture Notes in Computer Science},
  volume       = {13704},
  pages        = {126--138},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-031-19762-8\_9},
  doi          = {10.1007/978-3-031-19762-8\_9},
  timestamp    = {Sun, 12 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/isola/LiuLP22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/isola/MargariaPM22,
  author       = {Tiziana Margaria and
                  Dirk Pesch and
                  Alan McGibney},
  editor       = {Tiziana Margaria and
                  Bernhard Steffen},
  title        = {Digital Thread in Smart Manufacturing},
  booktitle    = {Leveraging Applications of Formal Methods, Verification and Validation.
                  Practice - 11th International Symposium, ISoLA 2022, Rhodes, Greece,
                  October 22-30, 2022, Proceedings, Part {IV}},
  series       = {Lecture Notes in Computer Science},
  volume       = {13704},
  pages        = {179--183},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-031-19762-8\_12},
  doi          = {10.1007/978-3-031-19762-8\_12},
  timestamp    = {Fri, 21 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/isola/MargariaPM22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/isola/McGibneyB22,
  author       = {Alan McGibney and
                  Sourabh Bharti},
  editor       = {Tiziana Margaria and
                  Bernhard Steffen},
  title        = {DISTiL: DIStributed Industrial Computing Environment for Trustworthy
                  DigiTaL Workflows: {A} Design Perspective},
  booktitle    = {Leveraging Applications of Formal Methods, Verification and Validation.
                  Practice - 11th International Symposium, ISoLA 2022, Rhodes, Greece,
                  October 22-30, 2022, Proceedings, Part {IV}},
  series       = {Lecture Notes in Computer Science},
  volume       = {13704},
  pages        = {219--226},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-031-19762-8\_16},
  doi          = {10.1007/978-3-031-19762-8\_16},
  timestamp    = {Sun, 13 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/isola/McGibneyB22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/isola/MorrisCHOB22,
  author       = {Liam Morris and
                  Rose Clancy and
                  Andriy Hryshchenko and
                  Dominic O'Sullivan and
                  Ken Bruton},
  editor       = {Tiziana Margaria and
                  Bernhard Steffen},
  title        = {Using Model Selection and Reduction to Develop an Empirical Model
                  to Predict Energy Consumption of a {CNC} Machine},
  booktitle    = {Leveraging Applications of Formal Methods, Verification and Validation.
                  Practice - 11th International Symposium, ISoLA 2022, Rhodes, Greece,
                  October 22-30, 2022, Proceedings, Part {IV}},
  series       = {Lecture Notes in Computer Science},
  volume       = {13704},
  pages        = {227--234},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-031-19762-8\_17},
  doi          = {10.1007/978-3-031-19762-8\_17},
  timestamp    = {Sun, 06 Oct 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/isola/MorrisCHOB22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/isola/PampusJQ22,
  author       = {Julia Pampus and
                  Brian{-}Frederik Jahnke and
                  Ronja Quensel},
  editor       = {Tiziana Margaria and
                  Bernhard Steffen},
  title        = {Evolving Data Space Technologies: Lessons Learned from an {IDS} Connector
                  Reference Implementation},
  booktitle    = {Leveraging Applications of Formal Methods, Verification and Validation.
                  Practice - 11th International Symposium, ISoLA 2022, Rhodes, Greece,
                  October 22-30, 2022, Proceedings, Part {IV}},
  series       = {Lecture Notes in Computer Science},
  volume       = {13704},
  pages        = {366--381},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-031-19762-8\_27},
  doi          = {10.1007/978-3-031-19762-8\_27},
  timestamp    = {Sun, 13 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/isola/PampusJQ22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/isola/PeleskaHL22,
  author       = {Jan Peleska and
                  Anne E. Haxthausen and
                  Thierry Lecomte},
  editor       = {Tiziana Margaria and
                  Bernhard Steffen},
  title        = {Standardisation Considerations for Autonomous Train Control},
  booktitle    = {Leveraging Applications of Formal Methods, Verification and Validation.
                  Practice - 11th International Symposium, ISoLA 2022, Rhodes, Greece,
                  October 22-30, 2022, Proceedings, Part {IV}},
  series       = {Lecture Notes in Computer Science},
  volume       = {13704},
  pages        = {286--307},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-031-19762-8\_22},
  doi          = {10.1007/978-3-031-19762-8\_22},
  timestamp    = {Sun, 13 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/isola/PeleskaHL22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/isola/SeisenbergerBFF22,
  author       = {Monika Seisenberger and
                  Maurice H. ter Beek and
                  Xiuyi Fan and
                  Alessio Ferrari and
                  Anne E. Haxthausen and
                  Phillip James and
                  Andrew Lawrence and
                  Bas Luttik and
                  Jaco van de Pol and
                  Simon Wimmer},
  editor       = {Tiziana Margaria and
                  Bernhard Steffen},
  title        = {Safe and Secure Future AI-Driven Railway Technologies: Challenges
                  for Formal Methods in Railway},
  booktitle    = {Leveraging Applications of Formal Methods, Verification and Validation.
                  Practice - 11th International Symposium, ISoLA 2022, Rhodes, Greece,
                  October 22-30, 2022, Proceedings, Part {IV}},
  series       = {Lecture Notes in Computer Science},
  volume       = {13704},
  pages        = {246--268},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-031-19762-8\_20},
  doi          = {10.1007/978-3-031-19762-8\_20},
  timestamp    = {Sun, 13 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/isola/SeisenbergerBFF22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/isola/SoderiB22,
  author       = {Mirco Soderi and
                  John G. Breslin},
  editor       = {Tiziana Margaria and
                  Bernhard Steffen},
  title        = {Crazy Nodes: Towards Ultimate Flexibility in Ubiquitous Big Data Stream
                  Engineering, Visualisation, and Analytics, in Smart Factories},
  booktitle    = {Leveraging Applications of Formal Methods, Verification and Validation.
                  Practice - 11th International Symposium, ISoLA 2022, Rhodes, Greece,
                  October 22-30, 2022, Proceedings, Part {IV}},
  series       = {Lecture Notes in Computer Science},
  volume       = {13704},
  pages        = {235--240},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-031-19762-8\_18},
  doi          = {10.1007/978-3-031-19762-8\_18},
  timestamp    = {Sun, 13 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/isola/SoderiB22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/isola/SteffenB22,
  author       = {Barbara Steffen and
                  Steve Bo{\ss}elmann},
  editor       = {Tiziana Margaria and
                  Bernhard Steffen},
  title        = {Domain-Specificity as Enabler for Global Organization aLignment and
                  Decision},
  booktitle    = {Leveraging Applications of Formal Methods, Verification and Validation.
                  Practice - 11th International Symposium, ISoLA 2022, Rhodes, Greece,
                  October 22-30, 2022, Proceedings, Part {IV}},
  series       = {Lecture Notes in Computer Science},
  volume       = {13704},
  pages        = {340--365},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-031-19762-8\_26},
  doi          = {10.1007/978-3-031-19762-8\_26},
  timestamp    = {Fri, 21 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/isola/SteffenB22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/isola/WangSKHLZ22,
  author       = {Tongtong Wang and
                  Robert Skulstad and
                  Motoyasu Kanazawa and
                  Lars Ivar Hatledal and
                  Guoyuan Li and
                  Houxiang Zhang},
  editor       = {Tiziana Margaria and
                  Bernhard Steffen},
  title        = {Adaptive Data-driven Predictor of Ship Maneuvering Motion Under Varying
                  Ocean Environments},
  booktitle    = {Leveraging Applications of Formal Methods, Verification and Validation.
                  Practice - 11th International Symposium, ISoLA 2022, Rhodes, Greece,
                  October 22-30, 2022, Proceedings, Part {IV}},
  series       = {Lecture Notes in Computer Science},
  volume       = {13704},
  pages        = {110--125},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-031-19762-8\_8},
  doi          = {10.1007/978-3-031-19762-8\_8},
  timestamp    = {Sun, 13 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/isola/WangSKHLZ22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/isola/WrightGW22,
  author       = {Thomas Wright and
                  Cl{\'{a}}udio Gomes and
                  Jim Woodcock},
  editor       = {Tiziana Margaria and
                  Bernhard Steffen},
  title        = {Formally Verified Self-adaptation of an Incubator Digital Twin},
  booktitle    = {Leveraging Applications of Formal Methods, Verification and Validation.
                  Practice - 11th International Symposium, ISoLA 2022, Rhodes, Greece,
                  October 22-30, 2022, Proceedings, Part {IV}},
  series       = {Lecture Notes in Computer Science},
  volume       = {13704},
  pages        = {89--109},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-031-19762-8\_7},
  doi          = {10.1007/978-3-031-19762-8\_7},
  timestamp    = {Fri, 17 Feb 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/isola/WrightGW22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/isola/YueAAI22,
  author       = {Tao Yue and
                  Shaukat Ali and
                  Paolo Arcaini and
                  Fuyuki Ishikawa},
  editor       = {Tiziana Margaria and
                  Bernhard Steffen},
  title        = {Towards Requirements Engineering for Digital Twins of Cyber-Physical
                  Systems},
  booktitle    = {Leveraging Applications of Formal Methods, Verification and Validation.
                  Practice - 11th International Symposium, ISoLA 2022, Rhodes, Greece,
                  October 22-30, 2022, Proceedings, Part {IV}},
  series       = {Lecture Notes in Computer Science},
  volume       = {13704},
  pages        = {9--21},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-031-19762-8\_2},
  doi          = {10.1007/978-3-031-19762-8\_2},
  timestamp    = {Sun, 13 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/isola/YueAAI22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/isola/2022-4,
  editor       = {Tiziana Margaria and
                  Bernhard Steffen},
  title        = {Leveraging Applications of Formal Methods, Verification and Validation.
                  Practice - 11th International Symposium, ISoLA 2022, Rhodes, Greece,
                  October 22-30, 2022, Proceedings, Part {IV}},
  series       = {Lecture Notes in Computer Science},
  volume       = {13704},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-031-19762-8},
  doi          = {10.1007/978-3-031-19762-8},
  isbn         = {978-3-031-19761-1},
  timestamp    = {Fri, 21 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/isola/2022-4.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

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.