default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/conf/ictac/ictac2019.bht:"
download as .bib file
@inproceedings{DBLP:conf/ictac/AmanC19,
author = {Bogdan Aman and
Gabriel Ciobanu},
editor = {Robert M. Hierons and
Mohamed Mosbah},
title = {Verification of Multi-agent Systems with Timeouts for Migration and
Communication},
booktitle = {Theoretical Aspects of Computing - {ICTAC} 2019 - 16th International
Colloquium, Hammamet, Tunisia, October 31 - November 4, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11884},
pages = {134--151},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-32505-3\_9},
doi = {10.1007/978-3-030-32505-3\_9},
timestamp = {Tue, 11 Oct 2022 14:59:07 +0200},
biburl = {https://dblp.org/rec/conf/ictac/AmanC19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictac/AndreJM19,
author = {{\'{E}}tienne Andr{\'{e}} and
Jawher Jerray and
Sahar Mhiri},
editor = {Robert M. Hierons and
Mohamed Mosbah},
title = {Time4sys2imi: {A} Tool to Formalize Real-Time System Models Under
Uncertainty},
booktitle = {Theoretical Aspects of Computing - {ICTAC} 2019 - 16th International
Colloquium, Hammamet, Tunisia, October 31 - November 4, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11884},
pages = {113--123},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-32505-3\_7},
doi = {10.1007/978-3-030-32505-3\_7},
timestamp = {Thu, 07 Nov 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ictac/AndreJM19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictac/ArceriOCM19,
author = {Vincenzo Arceri and
Martina Olliaro and
Agostino Cortesi and
Isabella Mastroeni},
editor = {Robert M. Hierons and
Mohamed Mosbah},
title = {Completeness of Abstract Domains for String Analysis of JavaScript
Programs},
booktitle = {Theoretical Aspects of Computing - {ICTAC} 2019 - 16th International
Colloquium, Hammamet, Tunisia, October 31 - November 4, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11884},
pages = {255--272},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-32505-3\_15},
doi = {10.1007/978-3-030-32505-3\_15},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ictac/ArceriOCM19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictac/BlahoudekMS19,
author = {Frantisek Blahoudek and
Juraj Major and
Jan Strejcek},
editor = {Robert M. Hierons and
Mohamed Mosbah},
title = {{LTL} to Smaller Self-Loop Alternating Automata and Back},
booktitle = {Theoretical Aspects of Computing - {ICTAC} 2019 - 16th International
Colloquium, Hammamet, Tunisia, October 31 - November 4, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11884},
pages = {152--171},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-32505-3\_10},
doi = {10.1007/978-3-030-32505-3\_10},
timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ictac/BlahoudekMS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictac/ChaiebKY0R19,
author = {Marwa Chaieb and
Mirko Koscina and
Souheib Yousfi and
Pascal Lafourcade and
Riadh Robbana},
editor = {Robert M. Hierons and
Mohamed Mosbah},
title = {{DABSTERS:} {A} Privacy Preserving e-Voting Protocol for Permissioned
Blockchain},
booktitle = {Theoretical Aspects of Computing - {ICTAC} 2019 - 16th International
Colloquium, Hammamet, Tunisia, October 31 - November 4, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11884},
pages = {292--312},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-32505-3\_17},
doi = {10.1007/978-3-030-32505-3\_17},
timestamp = {Sun, 06 Oct 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ictac/ChaiebKY0R19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictac/Cousot19,
author = {Patrick Cousot},
editor = {Robert M. Hierons and
Mohamed Mosbah},
title = {Calculational Design of a Regular Model Checker by Abstract Interpretation},
booktitle = {Theoretical Aspects of Computing - {ICTAC} 2019 - 16th International
Colloquium, Hammamet, Tunisia, October 31 - November 4, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11884},
pages = {3--21},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-32505-3\_1},
doi = {10.1007/978-3-030-32505-3\_1},
timestamp = {Thu, 07 Nov 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ictac/Cousot19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictac/FahrenbergLQ19,
author = {Uli Fahrenberg and
Axel Legay and
Karin Quaas},
editor = {Robert M. Hierons and
Mohamed Mosbah},
title = {Computing Branching Distances Using Quantitative Games},
booktitle = {Theoretical Aspects of Computing - {ICTAC} 2019 - 16th International
Colloquium, Hammamet, Tunisia, October 31 - November 4, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11884},
pages = {59--75},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-32505-3\_4},
doi = {10.1007/978-3-030-32505-3\_4},
timestamp = {Mon, 28 Oct 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ictac/FahrenbergLQ19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictac/GorlaGP19,
author = {Daniele Gorla and
Federica Granese and
Catuscia Palamidessi},
editor = {Robert M. Hierons and
Mohamed Mosbah},
title = {Enhanced Models for Privacy and Utility in Continuous-Time Diffusion
Networks},
booktitle = {Theoretical Aspects of Computing - {ICTAC} 2019 - 16th International
Colloquium, Hammamet, Tunisia, October 31 - November 4, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11884},
pages = {313--331},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-32505-3\_18},
doi = {10.1007/978-3-030-32505-3\_18},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ictac/GorlaGP19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictac/HaeriK19,
author = {Seyed Hossein Haeri and
Paul Keir},
editor = {Robert M. Hierons and
Mohamed Mosbah},
title = {Solving the Expression Problem in C++, {\'{a}} la {LMS}},
booktitle = {Theoretical Aspects of Computing - {ICTAC} 2019 - 16th International
Colloquium, Hammamet, Tunisia, October 31 - November 4, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11884},
pages = {353--371},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-32505-3\_20},
doi = {10.1007/978-3-030-32505-3\_20},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ictac/HaeriK19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictac/Hamin19,
author = {Jafar Hamin},
editor = {Robert M. Hierons and
Mohamed Mosbah},
title = {Starvation-Free Monitors},
booktitle = {Theoretical Aspects of Computing - {ICTAC} 2019 - 16th International
Colloquium, Hammamet, Tunisia, October 31 - November 4, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11884},
pages = {175--195},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-32505-3\_11},
doi = {10.1007/978-3-030-32505-3\_11},
timestamp = {Thu, 07 Nov 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ictac/Hamin19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictac/Krichen19,
author = {Moez Krichen},
editor = {Robert M. Hierons and
Mohamed Mosbah},
title = {Testing Real-Time Systems Using Determinization Techniques for Automata
over Timed Domains},
booktitle = {Theoretical Aspects of Computing - {ICTAC} 2019 - 16th International
Colloquium, Hammamet, Tunisia, October 31 - November 4, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11884},
pages = {124--133},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-32505-3\_8},
doi = {10.1007/978-3-030-32505-3\_8},
timestamp = {Mon, 28 Oct 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ictac/Krichen19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictac/LatrecheMT19,
author = {Fateh Latreche and
Abdelkader Moudjari and
Hichem Talbi},
editor = {Robert M. Hierons and
Mohamed Mosbah},
title = {Clinical Pathways Formal Modelling Using Bigraphical Reactive Systems},
booktitle = {Theoretical Aspects of Computing - {ICTAC} 2019 - 16th International
Colloquium, Hammamet, Tunisia, October 31 - November 4, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11884},
pages = {76--90},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-32505-3\_5},
doi = {10.1007/978-3-030-32505-3\_5},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ictac/LatrecheMT19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictac/Mery19,
author = {Dominique M{\'{e}}ry},
editor = {Robert M. Hierons and
Mohamed Mosbah},
title = {Verification by Construction of Distributed Algorithms},
booktitle = {Theoretical Aspects of Computing - {ICTAC} 2019 - 16th International
Colloquium, Hammamet, Tunisia, October 31 - November 4, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11884},
pages = {22--38},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-32505-3\_2},
doi = {10.1007/978-3-030-32505-3\_2},
timestamp = {Thu, 07 Nov 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ictac/Mery19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictac/MouCL19,
author = {Xiaoying Mou and
Haiming Chen and
Yeting Li},
editor = {Robert M. Hierons and
Mohamed Mosbah},
title = {Context-Free Grammars for Deterministic Regular Expressions with Interleaving},
booktitle = {Theoretical Aspects of Computing - {ICTAC} 2019 - 16th International
Colloquium, Hammamet, Tunisia, October 31 - November 4, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11884},
pages = {235--252},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-32505-3\_14},
doi = {10.1007/978-3-030-32505-3\_14},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ictac/MouCL19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictac/Nestra19,
author = {H{\"{a}}rmel Nestra},
editor = {Robert M. Hierons and
Mohamed Mosbah},
title = {Laws of Monadic Error Handling},
booktitle = {Theoretical Aspects of Computing - {ICTAC} 2019 - 16th International
Colloquium, Hammamet, Tunisia, October 31 - November 4, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11884},
pages = {372--391},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-32505-3\_21},
doi = {10.1007/978-3-030-32505-3\_21},
timestamp = {Thu, 07 Nov 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ictac/Nestra19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictac/NguyenT19,
author = {Huu{-}Vu Nguyen and
Tayssir Touili},
editor = {Robert M. Hierons and
Mohamed Mosbah},
title = {{BCARET} Model Checking for Malware Detection},
booktitle = {Theoretical Aspects of Computing - {ICTAC} 2019 - 16th International
Colloquium, Hammamet, Tunisia, October 31 - November 4, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11884},
pages = {273--291},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-32505-3\_16},
doi = {10.1007/978-3-030-32505-3\_16},
timestamp = {Mon, 28 Oct 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ictac/NguyenT19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictac/Ouchani19,
author = {Samir Ouchani},
editor = {Robert M. Hierons and
Mohamed Mosbah},
title = {Towards a Call Behavior-Based Compositional Verification Framework
for SysML Activity Diagrams},
booktitle = {Theoretical Aspects of Computing - {ICTAC} 2019 - 16th International
Colloquium, Hammamet, Tunisia, October 31 - November 4, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11884},
pages = {216--234},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-32505-3\_13},
doi = {10.1007/978-3-030-32505-3\_13},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ictac/Ouchani19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictac/PetersWN19,
author = {Kirstin Peters and
Christoph Wagner and
Uwe Nestmann},
editor = {Robert M. Hierons and
Mohamed Mosbah},
title = {Taming Concurrency for Verification Using Multiparty Session Types},
booktitle = {Theoretical Aspects of Computing - {ICTAC} 2019 - 16th International
Colloquium, Hammamet, Tunisia, October 31 - November 4, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11884},
pages = {196--215},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-32505-3\_12},
doi = {10.1007/978-3-030-32505-3\_12},
timestamp = {Thu, 07 Nov 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ictac/PetersWN19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictac/SekiYT19,
author = {Hiroyuki Seki and
Reo Yoshimura and
Yoshiaki Takata},
editor = {Robert M. Hierons and
Mohamed Mosbah},
title = {Optimal Run Problem for Weighted Register Automata},
booktitle = {Theoretical Aspects of Computing - {ICTAC} 2019 - 16th International
Colloquium, Hammamet, Tunisia, October 31 - November 4, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11884},
pages = {91--110},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-32505-3\_6},
doi = {10.1007/978-3-030-32505-3\_6},
timestamp = {Mon, 28 Oct 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ictac/SekiYT19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictac/Sharma19,
author = {Arpit Sharma},
editor = {Robert M. Hierons and
Mohamed Mosbah},
title = {The Linear Time-Branching Time Spectrum of Equivalences for Stochastic
Systems with Non-determinism},
booktitle = {Theoretical Aspects of Computing - {ICTAC} 2019 - 16th International
Colloquium, Hammamet, Tunisia, October 31 - November 4, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11884},
pages = {41--58},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-32505-3\_3},
doi = {10.1007/978-3-030-32505-3\_3},
timestamp = {Sun, 03 Nov 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ictac/Sharma19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictac/SulzmannL19,
author = {Martin Sulzmann and
Kenny Zhuo Ming Lu},
editor = {Robert M. Hierons and
Mohamed Mosbah},
title = {Solving of Regular Equations Revisited},
booktitle = {Theoretical Aspects of Computing - {ICTAC} 2019 - 16th International
Colloquium, Hammamet, Tunisia, October 31 - November 4, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11884},
pages = {392--409},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-32505-3\_22},
doi = {10.1007/978-3-030-32505-3\_22},
timestamp = {Mon, 28 Oct 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ictac/SulzmannL19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictac/ThiriouxM19,
author = {Xavier Thirioux and
Alexis Maffart},
editor = {Robert M. Hierons and
Mohamed Mosbah},
title = {Taylor Series Revisited},
booktitle = {Theoretical Aspects of Computing - {ICTAC} 2019 - 16th International
Colloquium, Hammamet, Tunisia, October 31 - November 4, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11884},
pages = {335--352},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-32505-3\_19},
doi = {10.1007/978-3-030-32505-3\_19},
timestamp = {Mon, 28 Oct 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ictac/ThiriouxM19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ictac/2019,
editor = {Robert M. Hierons and
Mohamed Mosbah},
title = {Theoretical Aspects of Computing - {ICTAC} 2019 - 16th International
Colloquium, Hammamet, Tunisia, October 31 - November 4, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11884},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-32505-3},
doi = {10.1007/978-3-030-32505-3},
isbn = {978-3-030-32504-6},
timestamp = {Tue, 11 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ictac/2019.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.
retrieved on 2024-12-02 18:18 CET from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
