Search dblp for Publications

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

 download as .bib file

@inproceedings{DBLP:conf/facs2/BarbaneraDd22,
  author       = {Franco Barbanera and
                  Mariangiola Dezani{-}Ciancaglini and
                  Ugo de'Liguoro},
  editor       = {Silvia Lizeth Tapia Tarifa and
                  Jos{\'{e}} Proen{\c{c}}a},
  title        = {Open Compliance in Multiparty Sessions},
  booktitle    = {Formal Aspects of Component Software - 18th International Conference,
                  {FACS} 2022, Virtual Event, November 10-11, 2022, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13712},
  pages        = {222--243},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-031-20872-0\_13},
  doi          = {10.1007/978-3-031-20872-0\_13},
  timestamp    = {Sun, 13 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/facs2/BarbaneraDd22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/facs2/BoerGHB22,
  author       = {Frank S. de Boer and
                  Stijn de Gouw and
                  Hans{-}Dieter A. Hiep and
                  Jinting Bian},
  editor       = {Silvia Lizeth Tapia Tarifa and
                  Jos{\'{e}} Proen{\c{c}}a},
  title        = {Footprint Logic for Object-Oriented Components},
  booktitle    = {Formal Aspects of Component Software - 18th International Conference,
                  {FACS} 2022, Virtual Event, November 10-11, 2022, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13712},
  pages        = {141--160},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-031-20872-0\_9},
  doi          = {10.1007/978-3-031-20872-0\_9},
  timestamp    = {Sun, 13 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/facs2/BoerGHB22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/facs2/BonfantiGRS22,
  author       = {Silvia Bonfanti and
                  Angelo Gargantini and
                  Elvinia Riccobene and
                  Patrizia Scandurra},
  editor       = {Silvia Lizeth Tapia Tarifa and
                  Jos{\'{e}} Proen{\c{c}}a},
  title        = {Compositional Simulation of Abstract State Machines for Safety Critical
                  Systems},
  booktitle    = {Formal Aspects of Component Software - 18th International Conference,
                  {FACS} 2022, Virtual Event, November 10-11, 2022, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13712},
  pages        = {3--19},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-031-20872-0\_1},
  doi          = {10.1007/978-3-031-20872-0\_1},
  timestamp    = {Sun, 13 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/facs2/BonfantiGRS22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/facs2/BouwmanLLW22,
  author       = {Mark Bouwman and
                  Maurice Laveaux and
                  Bas Luttik and
                  Tim A. C. Willemse},
  editor       = {Silvia Lizeth Tapia Tarifa and
                  Jos{\'{e}} Proen{\c{c}}a},
  title        = {Decompositional Branching Bisimulation Minimisation of Monolithic
                  Processes},
  booktitle    = {Formal Aspects of Component Software - 18th International Conference,
                  {FACS} 2022, Virtual Event, November 10-11, 2022, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13712},
  pages        = {161--182},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-031-20872-0\_10},
  doi          = {10.1007/978-3-031-20872-0\_10},
  timestamp    = {Sun, 13 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/facs2/BouwmanLLW22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/facs2/CarrenoMMD22,
  author       = {Victor A. Carre{\~{n}}o and
                  Mariano M. Moscato and
                  Paolo M. Masci and
                  Aaron Dutle},
  editor       = {Silvia Lizeth Tapia Tarifa and
                  Jos{\'{e}} Proen{\c{c}}a},
  title        = {Interpretation and Formalization of the Right-of-Way Rules},
  booktitle    = {Formal Aspects of Component Software - 18th International Conference,
                  {FACS} 2022, Virtual Event, November 10-11, 2022, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13712},
  pages        = {59--73},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-031-20872-0\_4},
  doi          = {10.1007/978-3-031-20872-0\_4},
  timestamp    = {Sun, 13 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/facs2/CarrenoMMD22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/facs2/ChakiW22,
  author       = {Rikayan Chaki and
                  Anton Wijs},
  editor       = {Silvia Lizeth Tapia Tarifa and
                  Jos{\'{e}} Proen{\c{c}}a},
  title        = {Formally Characterizing the Effect of Model Transformations on System
                  Properties},
  booktitle    = {Formal Aspects of Component Software - 18th International Conference,
                  {FACS} 2022, Virtual Event, November 10-11, 2022, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13712},
  pages        = {39--58},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-031-20872-0\_3},
  doi          = {10.1007/978-3-031-20872-0\_3},
  timestamp    = {Sun, 13 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/facs2/ChakiW22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/facs2/ContrerasFSZ22,
  author       = {Angel Contreras and
                  Yli{\`{e}}s Falcone and
                  Gwen Sala{\"{u}}n and
                  Ahang Zuo},
  editor       = {Silvia Lizeth Tapia Tarifa and
                  Jos{\'{e}} Proen{\c{c}}a},
  title        = {{WEASY:} {A} Tool for Modelling Optimised {BPMN} Processes},
  booktitle    = {Formal Aspects of Component Software - 18th International Conference,
                  {FACS} 2022, Virtual Event, November 10-11, 2022, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13712},
  pages        = {110--118},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-031-20872-0\_7},
  doi          = {10.1007/978-3-031-20872-0\_7},
  timestamp    = {Thu, 10 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/facs2/ContrerasFSZ22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/facs2/CrafaL22,
  author       = {Silvia Crafa and
                  Cosimo Laneve},
  editor       = {Silvia Lizeth Tapia Tarifa and
                  Jos{\'{e}} Proen{\c{c}}a},
  title        = {Liquidity Analysis in Resource-Aware Programming},
  booktitle    = {Formal Aspects of Component Software - 18th International Conference,
                  {FACS} 2022, Virtual Event, November 10-11, 2022, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13712},
  pages        = {205--221},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-031-20872-0\_12},
  doi          = {10.1007/978-3-031-20872-0\_12},
  timestamp    = {Sun, 13 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/facs2/CrafaL22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/facs2/DasS22,
  author       = {Susmoy Das and
                  Arpit Sharma},
  editor       = {Silvia Lizeth Tapia Tarifa and
                  Jos{\'{e}} Proen{\c{c}}a},
  title        = {Embeddings Between State and Action Based Probabilistic Logics},
  booktitle    = {Formal Aspects of Component Software - 18th International Conference,
                  {FACS} 2022, Virtual Event, November 10-11, 2022, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13712},
  pages        = {121--140},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-031-20872-0\_8},
  doi          = {10.1007/978-3-031-20872-0\_8},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/facs2/DasS22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/facs2/DawesB22,
  author       = {Joshua Heneage Dawes and
                  Domenico Bianculli},
  editor       = {Silvia Lizeth Tapia Tarifa and
                  Jos{\'{e}} Proen{\c{c}}a},
  title        = {Specifying Source Code and Signal-based Behaviour of Cyber-Physical
                  System Components},
  booktitle    = {Formal Aspects of Component Software - 18th International Conference,
                  {FACS} 2022, Virtual Event, November 10-11, 2022, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13712},
  pages        = {20--38},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-031-20872-0\_2},
  doi          = {10.1007/978-3-031-20872-0\_2},
  timestamp    = {Sun, 13 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/facs2/DawesB22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/facs2/EdixhovenJ22,
  author       = {Luc Edixhoven and
                  Sung{-}Shik Jongmans},
  editor       = {Silvia Lizeth Tapia Tarifa and
                  Jos{\'{e}} Proen{\c{c}}a},
  title        = {Realisability of Branching Pomsets},
  booktitle    = {Formal Aspects of Component Software - 18th International Conference,
                  {FACS} 2022, Virtual Event, November 10-11, 2022, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13712},
  pages        = {185--204},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-031-20872-0\_11},
  doi          = {10.1007/978-3-031-20872-0\_11},
  timestamp    = {Sun, 13 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/facs2/EdixhovenJ22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/facs2/NivonS22,
  author       = {Quentin Nivon and
                  Gwen Sala{\"{u}}n},
  editor       = {Silvia Lizeth Tapia Tarifa and
                  Jos{\'{e}} Proen{\c{c}}a},
  title        = {Debugging of {BPMN} Processes Using Coloring Techniques},
  booktitle    = {Formal Aspects of Component Software - 18th International Conference,
                  {FACS} 2022, Virtual Event, November 10-11, 2022, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13712},
  pages        = {90--109},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-031-20872-0\_6},
  doi          = {10.1007/978-3-031-20872-0\_6},
  timestamp    = {Thu, 10 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/facs2/NivonS22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/facs2/UbysVKLBA22,
  author       = {Laurynas Ubys and
                  Valeriu Nicolas Vancea and
                  Tomas Kulik and
                  Peter Gorm Larsen and
                  Jalil Boudjadar and
                  Diego F. Aranha},
  editor       = {Silvia Lizeth Tapia Tarifa and
                  Jos{\'{e}} Proen{\c{c}}a},
  title        = {Formal Model In-The-Loop for Secure Industrial Control Networks},
  booktitle    = {Formal Aspects of Component Software - 18th International Conference,
                  {FACS} 2022, Virtual Event, November 10-11, 2022, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13712},
  pages        = {74--89},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-031-20872-0\_5},
  doi          = {10.1007/978-3-031-20872-0\_5},
  timestamp    = {Sun, 13 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/facs2/UbysVKLBA22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/facs2/2022,
  editor       = {Silvia Lizeth Tapia Tarifa and
                  Jos{\'{e}} Proen{\c{c}}a},
  title        = {Formal Aspects of Component Software - 18th International Conference,
                  {FACS} 2022, Virtual Event, November 10-11, 2022, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13712},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-031-20872-0},
  doi          = {10.1007/978-3-031-20872-0},
  isbn         = {978-3-031-20871-3},
  timestamp    = {Thu, 10 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/facs2/2022.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.