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    = {Tue, 15 Oct 2024 01:00:00 +0200},
  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    = {Tue, 15 Oct 2024 20:29:19 +0200},
  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    = {Sun, 04 Aug 2024 01:00:00 +0200},
  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}
}

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.