Search dblp for Publications

export results for "toc:db/conf/facs2/facs2023.bht:"

 download as .bib file

@proceedings{DBLP:conf/facs2/2023,
  editor       = {Javier C{\'{a}}mara and
                  Sung{-}Shik Jongmans},
  title        = {Formal Aspects of Component Software - 19th International Conference,
                  {FACS} 2023, Virtual Event, October 19-20, 2023, Revised Selected
                  Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {14485},
  publisher    = {Springer},
  year         = {2024},
  url          = {https://doi.org/10.1007/978-3-031-52183-6},
  doi          = {10.1007/978-3-031-52183-6},
  isbn         = {978-3-031-52182-9},
  timestamp    = {Thu, 18 Jan 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/facs2/2023.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/facs2/BaeO23,
  author       = {Kyungmin Bae and
                  Peter Csaba {\"{O}}lveczky},
  editor       = {Javier C{\'{a}}mara and
                  Sung{-}Shik Jongmans},
  title        = {Formal Model Engineering of Distributed CPSs Using {AADL:} From Behavioral
                  {AADL} Models to Multirate Hybrid Synchronous {AADL}},
  booktitle    = {Formal Aspects of Component Software - 19th International Conference,
                  {FACS} 2023, Virtual Event, October 19-20, 2023, Revised Selected
                  Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {14485},
  pages        = {127--152},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-52183-6\_7},
  doi          = {10.1007/978-3-031-52183-6\_7},
  timestamp    = {Thu, 18 Jan 2024 08:27:17 +0100},
  biburl       = {https://dblp.org/rec/conf/facs2/BaeO23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/facs2/BannourLGN23,
  author       = {Boutheina Bannour and
                  Arnault Lapitre and
                  Pascale Le Gall and
                  Ngo Minh Thang Nguyen},
  editor       = {Javier C{\'{a}}mara and
                  Sung{-}Shik Jongmans},
  title        = {Symbolic Path-Guided Test Cases for Models with Data and Time},
  booktitle    = {Formal Aspects of Component Software - 19th International Conference,
                  {FACS} 2023, Virtual Event, October 19-20, 2023, Revised Selected
                  Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {14485},
  pages        = {3--22},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-52183-6\_1},
  doi          = {10.1007/978-3-031-52183-6\_1},
  timestamp    = {Thu, 18 Jan 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/facs2/BannourLGN23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/facs2/GraicsMMM23,
  author       = {Bence Graics and
                  Mil{\'{a}}n Mondok and
                  Vince Moln{\'{a}}r and
                  Istv{\'{a}}n Majzik},
  editor       = {Javier C{\'{a}}mara and
                  Sung{-}Shik Jongmans},
  title        = {Model-Based Testing of Asynchronously Communicating Distributed Controllers},
  booktitle    = {Formal Aspects of Component Software - 19th International Conference,
                  {FACS} 2023, Virtual Event, October 19-20, 2023, Revised Selected
                  Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {14485},
  pages        = {23--44},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-52183-6\_2},
  doi          = {10.1007/978-3-031-52183-6\_2},
  timestamp    = {Thu, 18 Jan 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/facs2/GraicsMMM23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/facs2/HallerstedeH23,
  author       = {Stefan Hallerstede and
                  John Hatcliff},
  editor       = {Javier C{\'{a}}mara and
                  Sung{-}Shik Jongmans},
  title        = {A Mechanized Semantics for Component-Based Systems in the {HAMR} {AADL}
                  Runtime},
  booktitle    = {Formal Aspects of Component Software - 19th International Conference,
                  {FACS} 2023, Virtual Event, October 19-20, 2023, Revised Selected
                  Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {14485},
  pages        = {45--64},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-52183-6\_3},
  doi          = {10.1007/978-3-031-52183-6\_3},
  timestamp    = {Thu, 18 Jan 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/facs2/HallerstedeH23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/facs2/LiS23,
  author       = {Yi Li and
                  Meng Sun},
  editor       = {Javier C{\'{a}}mara and
                  Sung{-}Shik Jongmans},
  title        = {Challenges Engaging Formal {CBSE} in Industrial Applications},
  booktitle    = {Formal Aspects of Component Software - 19th International Conference,
                  {FACS} 2023, Virtual Event, October 19-20, 2023, Revised Selected
                  Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {14485},
  pages        = {153--167},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-52183-6\_8},
  doi          = {10.1007/978-3-031-52183-6\_8},
  timestamp    = {Thu, 18 Jan 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/facs2/LiS23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/facs2/LiuTL23,
  author       = {Zhiming Liu and
                  Jiadong Teng and
                  Bo Liu},
  editor       = {Javier C{\'{a}}mara and
                  Sung{-}Shik Jongmans},
  title        = {Formal Aspects of Component Software - An Overview on Concepts and
                  Relations of Different Theories},
  booktitle    = {Formal Aspects of Component Software - 19th International Conference,
                  {FACS} 2023, Virtual Event, October 19-20, 2023, Revised Selected
                  Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {14485},
  pages        = {168--193},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-52183-6\_9},
  doi          = {10.1007/978-3-031-52183-6\_9},
  timestamp    = {Fri, 26 Jan 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/facs2/LiuTL23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/facs2/NittaKF23,
  author       = {Naoya Nitta and
                  Shinji Kageyama and
                  Kouta Fujii},
  editor       = {Javier C{\'{a}}mara and
                  Sung{-}Shik Jongmans},
  title        = {A Formal Web Services Architecture Model for Changing {PUSH/PULL}
                  Data Transfer},
  booktitle    = {Formal Aspects of Component Software - 19th International Conference,
                  {FACS} 2023, Virtual Event, October 19-20, 2023, Revised Selected
                  Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {14485},
  pages        = {65--83},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-52183-6\_4},
  doi          = {10.1007/978-3-031-52183-6\_4},
  timestamp    = {Thu, 18 Jan 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/facs2/NittaKF23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/facs2/Proenca23,
  author       = {Jos{\'{e}} Proen{\c{c}}a},
  editor       = {Javier C{\'{a}}mara and
                  Sung{-}Shik Jongmans},
  title        = {Overview on Constrained Multiparty Synchronisation in Team Automata},
  booktitle    = {Formal Aspects of Component Software - 19th International Conference,
                  {FACS} 2023, Virtual Event, October 19-20, 2023, Revised Selected
                  Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {14485},
  pages        = {194--205},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-52183-6\_10},
  doi          = {10.1007/978-3-031-52183-6\_10},
  timestamp    = {Fri, 26 Jan 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/facs2/Proenca23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/facs2/TannouryCH23,
  author       = {Perla Tannoury and
                  Samir Chouali and
                  Ahmed Hammad},
  editor       = {Javier C{\'{a}}mara and
                  Sung{-}Shik Jongmans},
  title        = {Joint Use of SysML and Reo to Specify and Verify the Compatibility
                  of {CPS} Components},
  booktitle    = {Formal Aspects of Component Software - 19th International Conference,
                  {FACS} 2023, Virtual Event, October 19-20, 2023, Revised Selected
                  Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {14485},
  pages        = {84--102},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-52183-6\_5},
  doi          = {10.1007/978-3-031-52183-6\_5},
  timestamp    = {Thu, 18 Jan 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/facs2/TannouryCH23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/facs2/Vidal23,
  author       = {Germ{\'{a}}n Vidal},
  editor       = {Javier C{\'{a}}mara and
                  Sung{-}Shik Jongmans},
  title        = {From Reversible Computation to Checkpoint-Based Rollback Recovery
                  for Message-Passing Concurrent Programs},
  booktitle    = {Formal Aspects of Component Software - 19th International Conference,
                  {FACS} 2023, Virtual Event, October 19-20, 2023, Revised Selected
                  Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {14485},
  pages        = {103--123},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-52183-6\_6},
  doi          = {10.1007/978-3-031-52183-6\_6},
  timestamp    = {Thu, 18 Jan 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/facs2/Vidal23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/facs2/Wijs23,
  author       = {Anton Wijs},
  editor       = {Javier C{\'{a}}mara and
                  Sung{-}Shik Jongmans},
  title        = {Embedding Formal Verification in Model-Driven Software Engineering
                  with Slco: An Overview},
  booktitle    = {Formal Aspects of Component Software - 19th International Conference,
                  {FACS} 2023, Virtual Event, October 19-20, 2023, Revised Selected
                  Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {14485},
  pages        = {206--227},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-52183-6\_11},
  doi          = {10.1007/978-3-031-52183-6\_11},
  timestamp    = {Fri, 26 Jan 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/facs2/Wijs23.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.