default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "executable semantics"
download as .bib file
@inproceedings{DBLP:conf/cpss/Wang0SWPC24,
author = {Zichen Wang and
Jingyi Wang and
Fu Song and
Kun Wang and
Hongyi Pu and
Peng Cheng},
editor = {Jianying Zhou and
Sudipta Chattopadhyay},
title = {{K-RAPID:} {A} Formal Executable Semantics of the {RAPID} Robot Programming
Language},
booktitle = {Proceedings of the 10th {ACM} Cyber-Physical System Security Workshop,
{CPSS} 2024, Singapore, 2 July 2024},
pages = {64--76},
publisher = {{ACM}},
year = {2024},
url = {https://doi.org/10.1145/3626205.3659149},
doi = {10.1145/3626205.3659149},
timestamp = {Fri, 21 Jun 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cpss/Wang0SWPC24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2404-18756,
author = {Jianhong Zhao and
Jinhui Kang and
Yongwang Zhao},
title = {{K-CIRCT:} {A} Layered, Composable, and Executable Formal Semantics
for {CIRCT} Hardware IRs},
journal = {CoRR},
volume = {abs/2404.18756},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2404.18756},
doi = {10.48550/ARXIV.2404.18756},
eprinttype = {arXiv},
eprint = {2404.18756},
timestamp = {Mon, 27 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2404-18756.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2405-14052,
author = {Seshagiri Prabhu Narasimha and
Arun Lakhotia},
title = {Reverse Engineering Structure and Semantics of Input of a Binary Executable},
journal = {CoRR},
volume = {abs/2405.14052},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2405.14052},
doi = {10.48550/ARXIV.2405.14052},
eprinttype = {arXiv},
eprint = {2405.14052},
timestamp = {Wed, 19 Jun 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2405-14052.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iet-blc/ZhaoLHYWM23,
author = {Can Zhao and
Qin Liu and
Zonghua Hu and
Ze Yu and
Dejun Wang and
Bo Meng},
title = {K-Go: An executable formal semantics of Go language in {K} framework},
journal = {{IET} Blockchain},
volume = {3},
number = {2},
pages = {61--73},
year = {2023},
url = {https://doi.org/10.1049/blc2.12024},
doi = {10.1049/BLC2.12024},
timestamp = {Sun, 22 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iet-blc/ZhaoLHYWM23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlap/RestrepoJP23,
author = {Carlos Alberto Ram{\'{\i}}rez Restrepo and
Juan C. Jaramillo and
Jorge A. P{\'{e}}rez},
title = {Session-based concurrency in Maude: Executable semantics and type
checking},
journal = {J. Log. Algebraic Methods Program.},
volume = {133},
pages = {100872},
year = {2023},
url = {https://doi.org/10.1016/j.jlamp.2023.100872},
doi = {10.1016/J.JLAMP.2023.100872},
timestamp = {Tue, 12 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jlap/RestrepoJP23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/WangWPCSC23,
author = {Kun Wang and
Jingyi Wang and
Christopher M. Poskitt and
Xiangxiang Chen and
Jun Sun and
Peng Cheng},
title = {{K-ST:} {A} Formal Executable Semantics of the Structured Text Language
for PLCs},
journal = {{IEEE} Trans. Software Eng.},
volume = {49},
number = {10},
pages = {4796--4813},
year = {2023},
url = {https://doi.org/10.1109/TSE.2023.3315292},
doi = {10.1109/TSE.2023.3315292},
timestamp = {Tue, 26 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tse/WangWPCSC23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/CassezFGPQ23,
author = {Franck Cassez and
Joanne Fuller and
Milad K. Ghale and
David J. Pearce and
Horacio Mijail Anton Quiles},
editor = {Marsha Chechik and
Joost{-}Pieter Katoen and
Martin Leucker},
title = {Formal and Executable Semantics of the Ethereum Virtual Machine in
Dafny},
booktitle = {Formal Methods - 25th International Symposium, {FM} 2023, L{\"{u}}beck,
Germany, March 6-10, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14000},
pages = {571--583},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-27481-7\_32},
doi = {10.1007/978-3-031-27481-7\_32},
timestamp = {Sat, 11 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fm/CassezFGPQ23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jurix/WattGW23,
author = {Seng Joe Watt and
Oliver R. Goodenough and
Meng Weng Wong},
editor = {Giovanni Sileno and
Jerry Spanakis and
Gijs van Dijck},
title = {Deontics and Time in Contracts: An Executable Semantics for the {L4}
{DSL}},
booktitle = {Legal Knowledge and Information Systems - {JURIX} 2023: The Thirty-sixth
Annual Conference, Maastricht, The Netherlands, 18-20 December 2023},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {379},
pages = {119--124},
publisher = {{IOS} Press},
year = {2023},
url = {https://doi.org/10.3233/FAIA230954},
doi = {10.3233/FAIA230954},
timestamp = {Sun, 04 Aug 2024 19:43:48 +0200},
biburl = {https://dblp.org/rec/conf/jurix/WattGW23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sle/MelanconFS23,
author = {Olivier Melan{\c{c}}on and
Marc Feeley and
Manuel Serrano},
editor = {Jo{\~{a}}o Saraiva and
Thomas Degueule and
Elizabeth Scott},
title = {An Executable Semantics for Faster Development of Optimizing Python
Compilers},
booktitle = {Proceedings of the 16th {ACM} {SIGPLAN} International Conference on
Software Language Engineering, {SLE} 2023, Cascais, Portugal, October
23-24, 2023},
pages = {15--28},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3623476.3623529},
doi = {10.1145/3623476.3623529},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sle/MelanconFS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2303-00152,
author = {Franck Cassez and
Joanne Fuller and
Milad K. Ghale and
David J. Pearce and
Horacio Mijail Anton Quiles},
title = {Formal and Executable Semantics of the Ethereum Virtual Machine in
Dafny},
journal = {CoRR},
volume = {abs/2303.00152},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2303.00152},
doi = {10.48550/ARXIV.2303.00152},
eprinttype = {arXiv},
eprint = {2303.00152},
timestamp = {Tue, 07 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2303-00152.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/YiWZZ22,
author = {Shicheng Yi and
Shuling Wang and
Bohua Zhan and
Naijun Zhan},
editor = {Adri{\'{a}}n Riesco and
Min Zhang},
title = {Machine-Checked Executable Semantics of Stateflow},
booktitle = {Formal Methods and Software Engineering - 23rd International Conference
on Formal Engineering Methods, {ICFEM} 2022, Madrid, Spain, October
24-27, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13478},
pages = {421--438},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-17244-1\_25},
doi = {10.1007/978-3-031-17244-1\_25},
timestamp = {Wed, 12 Oct 2022 08:57:48 +0200},
biburl = {https://dblp.org/rec/conf/icfem/YiWZZ22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/Schumi022,
author = {Richard Schumi and
Jun Sun},
title = {ExAIS: Executable {AI} Semantics},
booktitle = {44th {IEEE/ACM} 44th International Conference on Software Engineering,
{ICSE} 2022, Pittsburgh, PA, USA, May 25-27, 2022},
pages = {859--870},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3510003.3510112},
doi = {10.1145/3510003.3510112},
timestamp = {Mon, 18 Jul 2022 16:47:42 +0200},
biburl = {https://dblp.org/rec/conf/icse/Schumi022.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wrla/RestrepoP22,
author = {Carlos Alberto Ram{\'{\i}}rez Restrepo and
Jorge A. P{\'{e}}rez},
editor = {Kyungmin Bae},
title = {Executable Semantics and Type Checking for Session-Based Concurrency
in Maude},
booktitle = {Rewriting Logic and Its Applications - 14th International Workshop,
WRLA@ETAPS 2022, Munich, Germany, April 2-3, 2022, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {13252},
pages = {230--250},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-12441-9\_12},
doi = {10.1007/978-3-031-12441-9\_12},
timestamp = {Thu, 25 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wrla/RestrepoP22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2202-04076,
author = {Kun Wang and
Jingyi Wang and
Christopher M. Poskitt and
Xiangxiang Chen and
Jun Sun and
Peng Cheng},
title = {{K-ST:} {A} Formal Executable Semantics of {PLC} Structured Text Language},
journal = {CoRR},
volume = {abs/2202.04076},
year = {2022},
url = {https://arxiv.org/abs/2202.04076},
eprinttype = {arXiv},
eprint = {2202.04076},
timestamp = {Tue, 08 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2202-04076.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2202-09868,
author = {Richard Schumi and
Jun Sun},
title = {ExAIS: Executable {AI} Semantics},
journal = {CoRR},
volume = {abs/2202.09868},
year = {2022},
url = {https://arxiv.org/abs/2202.09868},
eprinttype = {arXiv},
eprint = {2202.09868},
timestamp = {Tue, 01 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2202-09868.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2207-11965,
author = {Shicheng Yi and
Shuling Wang and
Bohua Zhan and
Naijun Zhan},
title = {Machine-checked executable semantics of Stateflow},
journal = {CoRR},
volume = {abs/2207.11965},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2207.11965},
doi = {10.48550/ARXIV.2207.11965},
eprinttype = {arXiv},
eprint = {2207.11965},
timestamp = {Mon, 01 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2207-11965.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/ZakowskiBYZZZ21,
author = {Yannick Zakowski and
Calvin Beck and
Irene Yoon and
Ilia Zaichuk and
Vadim Zaliva and
Steve Zdancewic},
title = {Modular, compositional, and executable formal semantics for {LLVM}
{IR}},
journal = {Proc. {ACM} Program. Lang.},
volume = {5},
number = {{ICFP}},
pages = {1--30},
year = {2021},
url = {https://doi.org/10.1145/3473572},
doi = {10.1145/3473572},
timestamp = {Sat, 08 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/ZakowskiBYZZZ21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fps/ZiadiaMF21,
author = {Marwa Ziadia and
Mohamed Mejri and
Jaouhar Fattahi},
editor = {Esma A{\"{\i}}meur and
Maryline Laurent and
Reda Yaich and
Beno{\^{\i}}t Dupont and
Joaqu{\'{\i}}n Garc{\'{\i}}a{-}Alfaro},
title = {{\textdollar}{\textbackslash}mathbb \{K\}{\textdollar}-Smali: An Executable
Semantics for Program Verification of Reversed Android Applications},
booktitle = {Foundations and Practice of Security - 14th International Symposium,
{FPS} 2021, Paris, France, December 7-10, 2021, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {13291},
pages = {321--337},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-031-08147-7\_22},
doi = {10.1007/978-3-031-08147-7\_22},
timestamp = {Tue, 28 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fps/ZiadiaMF21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2109-03139,
author = {Maximilian A. K{\"{o}}hl},
title = {An Executable Structural Operational Formal Semantics for Python},
journal = {CoRR},
volume = {abs/2109.03139},
year = {2021},
url = {https://arxiv.org/abs/2109.03139},
eprinttype = {arXiv},
eprint = {2109.03139},
timestamp = {Mon, 20 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2109-03139.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/GreenbergB20,
author = {Michael Greenberg and
Austin J. Blatt},
title = {Executable formal semantics for the {POSIX} shell},
journal = {Proc. {ACM} Program. Lang.},
volume = {4},
number = {{POPL}},
pages = {43:1--43:30},
year = {2020},
url = {https://doi.org/10.1145/3371111},
doi = {10.1145/3371111},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/GreenbergB20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amia/SolbrigJPBESJ20,
author = {Harold R. Solbrig and
Dazhi Jiao and
Eric Prud'hommeaux and
David Booth and
Cory M. Endle and
Daniel J. Stone and
Guoqian Jiang},
title = {Exploring {JSON-LD} as an Executable Definition of {FHIR} {RDF} to
Enable Semantics of {FHIR} Data},
booktitle = {{AMIA} 2020, American Medical Informatics Association Annual Symposium,
Virtual Event, USA, November 14-18, 2020},
publisher = {{AMIA}},
year = {2020},
url = {https://knowledge.amia.org/72332-amia-1.4602255/t003-1.4606204/t003-1.4606205/3417125-1.4606302/3415163-1.4606299},
timestamp = {Wed, 17 Apr 2024 11:47:01 +0200},
biburl = {https://dblp.org/rec/conf/amia/SolbrigJPBESJ20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/IqbalTV20,
author = {Junaid Iqbal and
Dragos Truscan and
J{\"{u}}ri Vain},
editor = {Esther Guerra and
Ludovico Iovino},
title = {Time semantics of executable activity diagrams for relativized conformance
testing},
booktitle = {{MODELS} '20: {ACM/IEEE} 23rd International Conference on Model Driven
Engineering Languages and Systems, Virtual Event, Canada, 18-23 October,
2020, Companion Proceedings},
pages = {42:1--42:6},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3417990.3421399},
doi = {10.1145/3417990.3421399},
timestamp = {Wed, 23 Feb 2022 12:16:51 +0100},
biburl = {https://dblp.org/rec/conf/models/IqbalTV20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sp/JiaoK0S0020,
author = {Jiao Jiao and
Shuanglong Kan and
Shang{-}Wei Lin and
David San{\'{a}}n and
Yang Liu and
Jun Sun},
title = {Semantic Understanding of Smart Contracts: Executable Operational
Semantics of Solidity},
booktitle = {2020 {IEEE} Symposium on Security and Privacy, {SP} 2020, San Francisco,
CA, USA, May 18-21, 2020},
pages = {1695--1712},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/SP40000.2020.00066},
doi = {10.1109/SP40000.2020.00066},
timestamp = {Thu, 21 Sep 2023 15:57:24 +0200},
biburl = {https://dblp.org/rec/conf/sp/JiaoK0S0020.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/access/HuangBZYZS19,
author = {Yanhong Huang and
Xiangxing Bu and
Gang Zhu and
Xin Ye and
Xiaoran Zhu and
Jianqi Shi},
title = {{KST:} Executable Formal Semantics of {IEC} 61131-3 Structured Text
for Verification},
journal = {{IEEE} Access},
volume = {7},
pages = {14593--14602},
year = {2019},
url = {https://doi.org/10.1109/ACCESS.2019.2894026},
doi = {10.1109/ACCESS.2019.2894026},
timestamp = {Wed, 27 Feb 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/access/HuangBZYZS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/BinsbergenMS19,
author = {L. Thomas van Binsbergen and
Peter D. Mosses and
Neil Sculthorpe},
title = {Executable component-based semantics},
journal = {J. Log. Algebraic Methods Program.},
volume = {103},
pages = {184--212},
year = {2019},
url = {https://doi.org/10.1016/j.jlamp.2018.12.004},
doi = {10.1016/J.JLAMP.2018.12.004},
timestamp = {Sat, 22 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/BinsbergenMS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1907-05308,
author = {Michael Greenberg and
Austin J. Blatt},
title = {Executable formal semantics for the {POSIX} shell},
journal = {CoRR},
volume = {abs/1907.05308},
year = {2019},
url = {http://arxiv.org/abs/1907.05308},
eprinttype = {arXiv},
eprint = {1907.05308},
timestamp = {Fri, 19 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1907-05308.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/enase/AlamHGP18,
author = {Md. Imran Alam and
Raju Halder and
Harshita Goswami and
Jorge Sousa Pinto},
editor = {Ernesto Damiani and
George Spanoudakis and
Leszek A. Maciaszek},
title = {K-Taint: An Executable Rewriting Logic Semantics for Taint Analysis
in the {K} Framework},
booktitle = {Proceedings of the 13th International Conference on Evaluation of
Novel Approaches to Software Engineering, {ENASE} 2018, Funchal, Madeira,
Portugal, March 23-24, 2018},
pages = {359--366},
publisher = {SciTePress},
year = {2018},
url = {https://doi.org/10.5220/0006786603590366},
doi = {10.5220/0006786603590366},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/enase/AlamHGP18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icmt/Boronat18,
author = {Artur Boronat},
editor = {Arend Rensink and
Jes{\'{u}}s S{\'{a}}nchez Cuadrado},
title = {A Formal Framework for Prototyping Executable Semantics in {ATL}},
booktitle = {Theory and Practice of Model Transformation - 11th International Conference,
ICMT@STAF 2018, Toulouse, France, June 25-26, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10888},
pages = {157--172},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-93317-7\_8},
doi = {10.1007/978-3-319-93317-7\_8},
timestamp = {Wed, 24 Jun 2020 13:02:21 +0200},
biburl = {https://dblp.org/rec/conf/icmt/Boronat18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tase/WangSZZZ18,
author = {Feng Wang and
Fu Song and
Min Zhang and
Xiaoran Zhu and
Jun Zhang},
editor = {Jun Pang and
Chenyi Zhang and
Jifeng He and
Jian Weng},
title = {KRust: {A} Formal Executable Semantics of Rust},
booktitle = {2018 International Symposium on Theoretical Aspects of Software Engineering,
{TASE} 2018, Guangzhou, China, August 29-31, 2018},
pages = {44--51},
publisher = {{IEEE} Computer Society},
year = {2018},
url = {https://doi.org/10.1109/TASE.2018.00014},
doi = {10.1109/TASE.2018.00014},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tase/WangSZZZ18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1804-01295,
author = {Jiao Jiao and
Shuanglong Kan and
Shang{-}Wei Lin and
David San{\'{a}}n and
Yang Liu and
Jun Sun},
title = {Executable Operational Semantics of Solidity},
journal = {CoRR},
volume = {abs/1804.01295},
year = {2018},
url = {http://arxiv.org/abs/1804.01295},
eprinttype = {arXiv},
eprint = {1804.01295},
timestamp = {Thu, 18 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1804-01295.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1804-07608,
author = {Shuanglong Kan and
David San{\'{a}}n and
Shang{-}Wei Lin and
Yang Liu},
title = {K-Rust: An Executable Formal Semantics for Rust},
journal = {CoRR},
volume = {abs/1804.07608},
year = {2018},
url = {http://arxiv.org/abs/1804.07608},
eprinttype = {arXiv},
eprint = {1804.07608},
timestamp = {Thu, 18 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1804-07608.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1804-10806,
author = {Feng Wang and
Fu Song and
Min Zhang and
Xiaoran Zhu and
Jun Zhang},
title = {KRust: {A} Formal Executable Semantics of Rust},
journal = {CoRR},
volume = {abs/1804.10806},
year = {2018},
url = {http://arxiv.org/abs/1804.10806},
eprinttype = {arXiv},
eprint = {1804.10806},
timestamp = {Mon, 14 Jan 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1804-10806.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adaEurope/MohaqeqiA017,
author = {Morteza Mohaqeqi and
Jakaria Abdullah and
Wang Yi},
editor = {Johann Blieberger and
Markus Bader},
title = {An Executable Semantics for Synchronous Task Graphs: From {SDRT} to
Ada},
booktitle = {Reliable Software Technologies - Ada-Europe 2017 - 22nd Ada-Europe
International Conference on Reliable Software Technologies, Vienna,
Austria, June 12-16, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10300},
pages = {137--152},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-60588-3\_9},
doi = {10.1007/978-3-319-60588-3\_9},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/adaEurope/MohaqeqiA017.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1711-08853,
author = {Xiaoran Zhu and
Min Zhang and
Jian Guo},
title = {Towards an executable semantics of automobile {RTOS} standard and
its application to conformance verification},
journal = {CoRR},
volume = {abs/1711.08853},
year = {2017},
url = {http://arxiv.org/abs/1711.08853},
eprinttype = {arXiv},
eprint = {1711.08853},
timestamp = {Mon, 30 Nov 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1711-08853.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/PosseD16,
author = {Ernesto Posse and
Juergen Dingel},
title = {An executable formal semantics for {UML-RT}},
journal = {Softw. Syst. Model.},
volume = {15},
number = {1},
pages = {179--217},
year = {2016},
url = {https://doi.org/10.1007/s10270-014-0399-z},
doi = {10.1007/S10270-014-0399-Z},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sosym/PosseD16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/ethos/Filaretti15,
author = {Daniele Filaretti},
title = {An executable formal semantics of {PHP} with applications to program
analysis},
school = {Imperial College London, {UK}},
year = {2015},
url = {https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.695529},
timestamp = {Wed, 04 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/ethos/Filaretti15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/AlTurkiM15,
author = {Musab A. AlTurki and
Jos{\'{e}} Meseguer},
title = {Executable rewriting logic semantics of Orc and formal analysis of
Orc programs},
journal = {J. Log. Algebraic Methods Program.},
volume = {84},
number = {4},
pages = {505--533},
year = {2015},
url = {https://doi.org/10.1016/j.jlamp.2015.03.003},
doi = {10.1016/J.JLAMP.2015.03.003},
timestamp = {Wed, 20 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jlp/AlTurkiM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftscs/ZhangM15,
author = {Min Zhang and
Fr{\'{e}}d{\'{e}}ric Mallet},
editor = {Cyrille Artho and
Peter Csaba {\"{O}}lveczky},
title = {An Executable Semantics of Clock Constraint Specification Language
and Its Applications},
booktitle = {Formal Techniques for Safety-Critical Systems - Fourth International
Workshop, {FTSCS} 2015, Paris, France, November 6-7, 2015. Revised
Selected Papers},
series = {Communications in Computer and Information Science},
volume = {596},
pages = {37--51},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-29510-7\_2},
doi = {10.1007/978-3-319-29510-7\_2},
timestamp = {Sat, 16 Sep 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ftscs/ZhangM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/time/MayerO15,
author = {Marta Cialdea Mayer and
Andrea Orlandini},
editor = {Fabio Grandi and
Martin Lange and
Alessio Lomuscio},
title = {An Executable Semantics of Flexible Plans in Terms of Timed Game Automata},
booktitle = {22nd International Symposium on Temporal Representation and Reasoning,
{TIME} 2015, Kassel, Germany, September 23-25, 2015},
pages = {160--169},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/TIME.2015.16},
doi = {10.1109/TIME.2015.16},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/time/MayerO15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/FilarettiM14,
author = {Daniele Filaretti and
Sergio Maffeis},
editor = {Richard E. Jones},
title = {An Executable Formal Semantics of {PHP}},
booktitle = {{ECOOP} 2014 - Object-Oriented Programming - 28th European Conference,
Uppsala, Sweden, July 28 - August 1, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8586},
pages = {567--592},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-662-44202-9\_23},
doi = {10.1007/978-3-662-44202-9\_23},
timestamp = {Sun, 12 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecoop/FilarettiM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceccs/ZengZ14,
author = {Naiju Zeng and
Wenhui Zhang},
title = {An Executable Semantics of SystemC Transaction Level Models and Its
Applications with {VERDS}},
booktitle = {2014 19th International Conference on Engineering of Complex Computer
Systems, Tianjin, China, August 4-7, 2014},
pages = {198--201},
publisher = {{IEEE} Computer Society},
year = {2014},
url = {https://doi.org/10.1109/ICECCS.2014.36},
doi = {10.1109/ICECCS.2014.36},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iceccs/ZengZ14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csiirw/Carter13,
author = {Jason M. Carter},
editor = {Frederick T. Sheldon and
Annarita Giani and
Axel W. Krings and
Robert K. Abercrombie},
title = {Locating executable fragments with Concordia, a scalable, semantics-based
architecture},
booktitle = {Cyber Security and Information Intelligence, {CSIIRW} '13, Oak Ridge,
TN, USA, January 8-10, 2013},
pages = {24},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2459976.2460004},
doi = {10.1145/2459976.2460004},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csiirw/Carter13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sbmf/SantosBM13,
author = {Joel Andr{\'{e}} Ferreira dos Santos and
Christiano Braga and
D{\'{e}}bora C. Muchaluat{-}Saade},
editor = {Juliano Iyoda and
Leonardo Mendon{\c{c}}a de Moura},
title = {An Executable Semantics for a Multimedia Authoring Language},
booktitle = {Formal Methods: Foundations and Applications - 16th Brazilian Symposium,
{SBMF} 2013, Brasilia, Brazil, September 29 - October 4, 2013, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8195},
pages = {67--82},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-41071-0\_6},
doi = {10.1007/978-3-642-41071-0\_6},
timestamp = {Tue, 14 May 2019 10:00:37 +0200},
biburl = {https://dblp.org/rec/conf/sbmf/SantosBM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpp/Campbell12,
author = {Brian Campbell},
editor = {Chris Hawblitzel and
Dale Miller},
title = {An Executable Semantics for CompCert {C}},
booktitle = {Certified Programs and Proofs - Second International Conference, {CPP}
2012, Kyoto, Japan, December 13-15, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7679},
pages = {60--75},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-35308-6\_8},
doi = {10.1007/978-3-642-35308-6\_8},
timestamp = {Wed, 07 Dec 2022 23:14:04 +0100},
biburl = {https://dblp.org/rec/conf/cpp/Campbell12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/EllisonR12,
author = {Chucky Ellison and
Grigore Rosu},
editor = {John Field and
Michael Hicks},
title = {An executable formal semantics of {C} with applications},
booktitle = {Proceedings of the 39th {ACM} {SIGPLAN-SIGACT} Symposium on Principles
of Programming Languages, {POPL} 2012, Philadelphia, Pennsylvania,
USA, January 22-28, 2012},
pages = {533--544},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2103656.2103719},
doi = {10.1145/2103656.2103719},
timestamp = {Thu, 24 Jun 2021 16:19:31 +0200},
biburl = {https://dblp.org/rec/conf/popl/EllisonR12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijsi/PartschDGKR11,
author = {Helmuth Partsch and
Marcel Dausend and
Dominik Gessenharter and
Jens Kohlmeyer and
Alexander Raschke},
title = {From Formal Semantics to Executable Models: {A} Pragmatic Approach
to Model-Driven Development},
journal = {Int. J. Softw. Informatics},
volume = {5},
number = {1-2},
pages = {291--312},
year = {2011},
url = {http://www.ijsi.org/ch/reader/view\_abstract.aspx?file\_no=i85},
timestamp = {Thu, 06 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijsi/PartschDGKR11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/YatakeK11,
author = {Kenro Yatake and
Takuya Katayama},
title = {An executable object-oriented semantics and its application to firewall
verification},
journal = {Softw. Syst. Model.},
volume = {10},
number = {4},
pages = {515--536},
year = {2011},
url = {https://doi.org/10.1007/s10270-010-0160-1},
doi = {10.1007/S10270-010-0160-1},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sosym/YatakeK11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/synasc/AsavoaeA11,
author = {Mihail Asavoae and
Irina Mariuca Asavoae},
editor = {Dongming Wang and
Viorel Negru and
Tetsuo Ida and
Tudor Jebelean and
Dana Petcu and
Stephen M. Watt and
Daniela Zaharie},
title = {Using the Executable Semantics for {CFG} Extraction and Unfolding},
booktitle = {13th International Symposium on Symbolic and Numeric Algorithms for
Scientific Computing, {SYNASC} 2011, Timisoara, Romania, September
26-29, 2011},
pages = {123--127},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/SYNASC.2011.53},
doi = {10.1109/SYNASC.2011.53},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/synasc/AsavoaeA11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/ZsokKP11,
author = {Vikt{\'{o}}ria Zs{\'{o}}k and
Pieter W. M. Koopman and
Rinus Plasmeijer},
editor = {Zolt{\'{a}}n Porkol{\'{a}}b and
Norbert Pataki},
title = {Generic Executable Semantics for D-Clean},
booktitle = {Proceedings of the Third Workshop on Generative Technologies, WGT@ETAPS
2011, Saarbr{\"{u}}cken, Germany, March 27, 2011},
series = {Electronic Notes in Theoretical Computer Science},
volume = {279},
number = {3},
pages = {85--95},
publisher = {Elsevier},
year = {2011},
url = {https://doi.org/10.1016/j.entcs.2011.11.040},
doi = {10.1016/J.ENTCS.2011.11.040},
timestamp = {Fri, 10 Mar 2023 14:00:33 +0100},
biburl = {https://dblp.org/rec/journals/entcs/ZsokKP11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/isse/EgeaR10,
author = {Marina Egea and
Vlad Rusu},
title = {Formal executable semantics for conformance in the {MDE} framework},
journal = {Innov. Syst. Softw. Eng.},
volume = {6},
number = {1-2},
pages = {73--81},
year = {2010},
url = {https://doi.org/10.1007/s11334-009-0108-1},
doi = {10.1007/S11334-009-0108-1},
timestamp = {Thu, 13 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/isse/EgeaR10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asm/RiccobeneS10,
author = {Elvinia Riccobene and
Patrizia Scandurra},
editor = {Marc Frappier and
Uwe Gl{\"{a}}sser and
Sarfraz Khurshid and
R{\'{e}}gine Laleau and
Steve Reeves},
title = {An Executable Semantics of the SystemC {UML} Profile},
booktitle = {Abstract State Machines, Alloy, {B} and Z, Second International Conference,
{ABZ} 2010, Orford, QC, Canada, February 22-25, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5977},
pages = {75--90},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-11811-1\_7},
doi = {10.1007/978-3-642-11811-1\_7},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/asm/RiccobeneS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/memocode/MeredithKMR10,
author = {Patrick O'Neil Meredith and
Michael Katelman and
Jos{\'{e}} Meseguer and
Grigore Rosu},
title = {A formal executable semantics of Verilog},
booktitle = {8th {ACM/IEEE} International Conference on Formal Methods and Models
for Codesign {(MEMOCODE} 2010), Grenoble, France, 26-28 July 2010},
pages = {179--188},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/MEMCOD.2010.5558634},
doi = {10.1109/MEMCOD.2010.5558634},
timestamp = {Thu, 21 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/memocode/MeredithKMR10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bpm/NicolaeWW09,
author = {Oana Nicolae and
Gerd Wagner and
Jens Werner},
editor = {Stefanie Rinderle{-}Ma and
Shazia Wasim Sadiq and
Frank Leymann},
title = {Towards an Executable Semantics for Activities Using Discrete Event
Simulation},
booktitle = {Business Process Management Workshops, {BPM} 2009 International Workshops,
Ulm, Germany, September 7, 2009. Revised Papers},
series = {Lecture Notes in Business Information Processing},
volume = {43},
pages = {369--380},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-12186-9\_35},
doi = {10.1007/978-3-642-12186-9\_35},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/bpm/NicolaeWW09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mbees/LeueW09,
author = {Stefan Leue and
Wei Wei},
editor = {Holger Giese and
Michaela Huhn and
Ulrich Nickel and
Bernhard Sch{\"{a}}tz},
title = {An Executable and Extensible Formal Semantics for {UML-RT}},
booktitle = {Dagstuhl-Workshop {MBEES:} Modellbasierte Entwicklung eingebetteter
Systeme V, Schloss Dagstuhl, Germany, 2009, Tagungsband Modellbasierte
Entwicklung eingebetteter Systeme},
series = {Informatik-Bericht},
volume = {2009-01},
pages = {182--188},
publisher = {{TU} Braunschweig, Institut f{\"{u}}r Software Systems Engineering},
year = {2009},
url = {http://www.sse-tubs.de/mbees-dagstuhl/MBEES2009\_Proceedings\_online\_small.pdf},
timestamp = {Thu, 12 Mar 2020 11:39:37 +0100},
biburl = {https://dblp.org/rec/conf/mbees/LeueW09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/BisanzHP08,
author = {Stefan Bisanz and
Ulrich Hannemann and
Jan Peleska},
title = {Executable Semantics for Hybrid Systems - The Hybrid Low-Level Framework},
booktitle = {Proceedings of the 32nd Annual {IEEE} International Computer Software
and Applications Conference, {COMPSAC} 2008, 28 July - 1 August 2008,
Turku, Finland},
pages = {64--67},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/COMPSAC.2008.155},
doi = {10.1109/COMPSAC.2008.155},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/compsac/BisanzHP08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecmdafa/WaheedIM08,
author = {Tabinda Waheed and
Muhammad Zohaib Z. Iqbal and
Zafar I. Malik},
editor = {Ina Schieferdecker and
Alan Hartman},
title = {Data Flow Analysis of {UML} Action Semantics for Executable Models},
booktitle = {Model Driven Architecture - Foundations and Applications, 4th European
Conference, {ECMDA-FA} 2008, Berlin, Germany, June 9-13, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5095},
pages = {79--93},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-69100-6\_6},
doi = {10.1007/978-3-540-69100-6\_6},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ecmdafa/WaheedIM08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icwe/BlomBG08,
author = {S{\"{o}}ren Blom and
Matthias Book and
Volker Gruhn},
editor = {Daniel Schwabe and
Francisco Curbera and
Paul Dantzig},
title = {Executable Semantics of Recursively Nestable Dialog Flow Specifications
for Web Applications},
booktitle = {Proceedings of the Eighth International Conference on Web Engineering,
{ICWE} 2008, 14-18 July 2008, Yorktown Heights, New York, {USA}},
pages = {135--147},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/ICWE.2008.25},
doi = {10.1109/ICWE.2008.25},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icwe/BlomBG08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifl/KoopmanPA08,
author = {Pieter W. M. Koopman and
Rinus Plasmeijer and
Peter Achten},
editor = {Sven{-}Bodo Scholz and
Olaf Chitil},
title = {An Executable and Testable Semantics for iTasks},
booktitle = {Implementation and Application of Functional Languages - 20th International
Symposium, {IFL} 2008, Hatfield, UK, September 10-12, 2008. Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {5836},
pages = {212--232},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-642-24452-0\_12},
doi = {10.1007/978-3-642-24452-0\_12},
timestamp = {Tue, 14 May 2019 10:00:35 +0200},
biburl = {https://dblp.org/rec/conf/ifl/KoopmanPA08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tase/KniekeHL08,
author = {Christoph Knieke and
Michaela Huhn and
Malte Lochau},
title = {Executable Requirements Specification: Formal Semantics of Live Activity
Diagrams},
booktitle = {Second {IEEE/IFIP} International Symposium on Theoretical Aspects
of Software Engineering, {TASE} 2008, June 17-19, 2008, Nanjing, China},
pages = {109--112},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/TASE.2008.10},
doi = {10.1109/TASE.2008.10},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tase/KniekeHL08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vveis/YatakeK08,
author = {Kenro Yatake and
Takuya Katayama},
editor = {Ulrich Ultes{-}Nitsche and
Daniel Moldt and
Juan Carlos Augusto},
title = {An Executable Semantics of Object-oriented Models for Simulation and
Theorem Proving},
booktitle = {Modelling, Simulation, Verification and Validation of Enterprise Information
Systems, Proceedings of the 6th International Workshop on Modelling,
Simulation, Verification and Validation of Enterprise Information
Systems, MSVVEIS-2008, In conjunction with {ICEIS} 2008, Barcelona,
Spain, June 2008},
pages = {71--80},
publisher = {{INSTICC} {PRESS}},
year = {2008},
timestamp = {Mon, 18 Aug 2008 15:10:09 +0200},
biburl = {https://dblp.org/rec/conf/vveis/YatakeK08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jolli/MayerLOP07,
author = {Marta Cialdea Mayer and
Carla Limongelli and
Andrea Orlandini and
Valentina Poggioni},
title = {Linear temporal logic as an executable semantics for planning languages},
journal = {J. Log. Lang. Inf.},
volume = {16},
number = {1},
pages = {63--89},
year = {2007},
url = {https://doi.org/10.1007/s10849-006-9022-1},
doi = {10.1007/S10849-006-9022-1},
timestamp = {Thu, 17 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jolli/MayerLOP07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsw/LorenzoMMV07,
author = {Giusy Di Lorenzo and
Nicola Mazzocca and
Francesco Moscato and
Valeria Vittorini},
title = {Towards Semantics Driven Generation of Executable Web Services Compositions},
journal = {J. Softw.},
volume = {2},
number = {5},
pages = {1--15},
year = {2007},
url = {https://doi.org/10.4304/jsw.2.5.1-15},
doi = {10.4304/JSW.2.5.1-15},
timestamp = {Tue, 15 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsw/LorenzoMMV07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apsec/JiangZM07,
author = {Ke Jiang and
Lei Zhang and
Shigeru Miyake},
title = {An Executable {UML} with OCL-based Action Semantics Language},
booktitle = {14th Asia-Pacific Software Engineering Conference {(APSEC} 2007),
5-7 December 2007, Nagoya, Japan},
pages = {302--309},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/APSEC.2007.21},
doi = {10.1109/APSEC.2007.21},
timestamp = {Wed, 16 Oct 2019 14:14:50 +0200},
biburl = {https://dblp.org/rec/conf/apsec/JiangZM07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/VerdejoM06,
author = {Alberto Verdejo and
Narciso Mart{\'{\i}}{-}Oliet},
title = {Executable structural operational semantics in Maude},
journal = {J. Log. Algebraic Methods Program.},
volume = {67},
number = {1-2},
pages = {226--293},
year = {2006},
url = {https://doi.org/10.1016/j.jlap.2005.09.008},
doi = {10.1016/J.JLAP.2005.09.008},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/VerdejoM06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/PopF07,
author = {Adrian Pop and
Peter Fritzson},
editor = {Rob van Glabbeek and
Peter D. Mosses},
title = {An Eclipse-based Integrated Environment for Developing Executable
Structural Operational Semantics Specifications},
booktitle = {Proceedings of the Third Workshop on Structural Operational Semantics,
{SOS} 2006, Bonn, Germany, August 26, 2006},
series = {Electronic Notes in Theoretical Computer Science},
volume = {175},
number = {1},
pages = {71--75},
publisher = {Elsevier},
year = {2006},
url = {https://doi.org/10.1016/j.entcs.2006.11.019},
doi = {10.1016/J.ENTCS.2006.11.019},
timestamp = {Thu, 15 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/PopF07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/de/Bisanz2005,
author = {Stefan Bisanz},
title = {Executable hybridUML semantics: a transformation definition},
school = {University of Bremen, Germany},
year = {2005},
url = {http://elib.suub.uni-bremen.de/diss/docs/00010166.pdf},
urn = {urn:nbn:de:gbv:46-diss000101662},
timestamp = {Sat, 17 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/de/Bisanz2005.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/epew/ButlerR05,
author = {Michael J. Butler and
Shamim Ripon},
editor = {Mario Bravetti and
Le{\"{\i}}la Kloul and
Gianluigi Zavattaro},
title = {Executable Semantics for Compensating {CSP}},
booktitle = {Formal Techniques for Computer Systems and Business Processes, European
Performance Engineering Workshop, {EPEW} 2005 and International Workshop
on Web Services and Formal Methods, {WS-FM} 2005, Versailles, France,
September 1-3, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3670},
pages = {243--256},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11549970\_18},
doi = {10.1007/11549970\_18},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/epew/ButlerR05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dfg/HarelK04,
author = {David Harel and
Hillel Kugler},
editor = {Hartmut Ehrig and
Werner Damm and
J{\"{o}}rg Desel and
Martin Gro{\ss}e{-}Rhode and
Wolfgang Reif and
Eckehard Schnieder and
Engelbert Westk{\"{a}}mper},
title = {The Rhapsody Semantics of Statecharts (or, On the Executable Core
of the {UML)} - Preliminary Version},
booktitle = {Integration of Software Specification Techniques for Applications
in Engineering, Priority Program SoftSpez of the German Research Foundation
(DFG), Final Report},
series = {Lecture Notes in Computer Science},
volume = {3147},
pages = {325--354},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-27863-4\_19},
doi = {10.1007/978-3-540-27863-4\_19},
timestamp = {Tue, 14 May 2019 10:00:39 +0200},
biburl = {https://dblp.org/rec/conf/dfg/HarelK04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wiw/Oren04,
author = {Eyal Oren},
editor = {Christoph Bussler and
Dieter Fensel and
Holger Lausen and
Eyal Oren},
title = {{WSMX} Execution Semantics - Executable Software Specification},
booktitle = {Proceedings of the {WIW} 2004 Workshop on {WSMO} Implementations,
Frankfurt, Germany, September 29-30, 2004},
series = {{CEUR} Workshop Proceedings},
volume = {113},
publisher = {CEUR-WS.org},
year = {2004},
url = {https://ceur-ws.org/Vol-113/paper6.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:28 +0100},
biburl = {https://dblp.org/rec/conf/wiw/Oren04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/ThatiSM02,
author = {Prasanna Thati and
Koushik Sen and
Narciso Mart{\'{\i}}{-}Oliet},
editor = {Fabio Gadducci and
Ugo Montanari},
title = {An Executable Specification of Asynchronous Pi-Calculus Semantics
and May Testing in Maude 2.0},
booktitle = {Fourth International Workshop on Rewriting logic and Its Applications,
WRLA2002, Pisa, Italy, 19-21, 2002},
series = {Electronic Notes in Theoretical Computer Science},
volume = {71},
pages = {261--281},
publisher = {Elsevier},
year = {2002},
url = {https://doi.org/10.1016/S1571-0661(05)82539-3},
doi = {10.1016/S1571-0661(05)82539-3},
timestamp = {Wed, 07 Dec 2022 08:35:58 +0100},
biburl = {https://dblp.org/rec/journals/entcs/ThatiSM02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/caise/SunyePHGJ01,
author = {Gerson Suny{\'{e}} and
Fran{\c{c}}ois Pennaneac'h and
Wai{-}Ming Ho and
Alain Le Guennec and
Jean{-}Marc J{\'{e}}z{\'{e}}quel},
editor = {Klaus R. Dittrich and
Andreas Geppert and
Moira C. Norrie},
title = {Using {UML} Action Semantics for Executable Modeling and Beyond},
booktitle = {Advanced Information Systems Engineering, 13th International Conference,
CAiSE 2001, Interlaken, Switzerland, June 4-8, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2068},
pages = {433--447},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45341-5\_29},
doi = {10.1007/3-540-45341-5\_29},
timestamp = {Tue, 14 May 2019 10:00:36 +0200},
biburl = {https://dblp.org/rec/conf/caise/SunyePHGJ01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/BartheDJSS01,
author = {Gilles Barthe and
Guillaume Dufay and
Line Jakubiec and
Bernard P. Serpette and
Sim{\~{a}}o Melo de Sousa},
editor = {David Sands},
title = {A Formal Executable Semantics of the JavaCard Platform},
booktitle = {Programming Languages and Systems, 10th European Symposium on Programming,
{ESOP} 2001 Held as Part of the Joint European Conferences on Theory
and Practice of Software, {ETAPS} 2001 Genova, Italy, April 2-6, 2001,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2028},
pages = {302--319},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45309-1\_20},
doi = {10.1007/3-540-45309-1\_20},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/esop/BartheDJSS01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sam/PrinzEG00,
author = {Andreas Prinz and
Robert Eschbach and
Reinhard Gotzhein},
editor = {Edel Sherratt},
title = {A Executable Formal Semantics for {SDL-2000}},
booktitle = {{SAM} 2000, 2nd Workshop on {SDL} and MSC, Col de Porte, Grenoble,
France, June 26-28, 2000},
pages = {249--261},
publisher = {VERIMAG, IRISA, {SDL} Forum},
year = {2000},
timestamp = {Mon, 25 Dec 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sam/PrinzEG00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hicss/Neustadter94,
author = {Laurel Neustadter},
title = {A Formalization of Expression Semantics for an Executable Modeling
Languages},
booktitle = {27th Annual Hawaii International Conference on System Sciences (HICSS-27),
January 4-7, 1994, Maui, Hawaii, {USA}},
pages = {492--504},
publisher = {{IEEE} Computer Society},
year = {1994},
timestamp = {Mon, 04 Jul 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hicss/Neustadter94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/zum/BreuerB94,
author = {Peter T. Breuer and
Jonathan P. Bowen},
editor = {Jonathan P. Bowen and
J. Anthony Hall},
title = {Towards Correct Executable Semantics for {Z}},
booktitle = {Z User Workshop, Cambridge, UK, 29-30 June 1994, Proceedings},
series = {Workshops in Computing},
pages = {185--209},
publisher = {Springer/BCS},
year = {1994},
url = {https://doi.org/10.1007/978-1-4471-3452-7\_11},
doi = {10.1007/978-1-4471-3452-7\_11},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/zum/BreuerB94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/BucciIM93,
author = {A. Bucci and
Paola Inverardi and
Simone Martini},
title = {An 'Executable' Impredicative Semantics for the Ada Configuration},
journal = {Formal Aspects Comput.},
volume = {5},
number = {2},
pages = {91--120},
year = {1993},
url = {https://doi.org/10.1007/BF01211301},
doi = {10.1007/BF01211301},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/BucciIM93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Fisher93,
author = {Michael Fisher},
editor = {Michael Fisher and
Richard Owens},
title = {Towards a Semantics for Concurrent {METATEM}},
booktitle = {Executable Modal and Temporal Logics, {IJCAI} '93, Workshop, Chamb{\'{e}}ry,
France, August 28, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {897},
pages = {86--102},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/3-540-58976-7\_6},
doi = {10.1007/3-540-58976-7\_6},
timestamp = {Tue, 14 May 2019 10:00:47 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/Fisher93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/us/Siritzky92,
author = {Brian Siritzky},
title = {Executable Operational Semantics of Programming Languages},
school = {New York University, {USA}},
year = {1992},
timestamp = {Fri, 13 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/us/Siritzky92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nato/FelderP92a,
author = {Miguel Felder and
Pierluigi {San Pietro}},
editor = {Wolfgang A. Halang and
Alexander D. Stoyenko},
title = {Finite Time Semantics for Executable Logic Specifications},
booktitle = {Real Time Computing, Proceedings of the {NATO} Advanced Study Institute
on Real Time Computing, held in Sint Maarten, Dutch Antilles, October
5-17, 1992},
series = {{NATO} {ASI} Series},
volume = {127},
pages = {685--686},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/978-3-642-88049-0\_106},
doi = {10.1007/978-3-642-88049-0\_106},
timestamp = {Fri, 12 May 2017 11:23:45 +0200},
biburl = {https://dblp.org/rec/conf/nato/FelderP92a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigplan/JiangX90,
author = {XinJie Jiang and
YongSen Xu},
title = {Diverse executable semantics definitions in {NUSL} and an implementation
of functional types},
journal = {{ACM} {SIGPLAN} Notices},
volume = {25},
number = {5},
pages = {39--52},
year = {1990},
url = {https://doi.org/10.1145/382080.382631},
doi = {10.1145/382080.382631},
timestamp = {Tue, 26 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigplan/JiangX90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sdt/Despeyroux84,
author = {Thierry Despeyroux},
editor = {Gilles Kahn and
David B. MacQueen and
Gordon D. Plotkin},
title = {Executable Specification of Static Semantics},
booktitle = {Semantics of Data Types, International Symposium, Sophia-Antipolis,
France, June 27-29, 1984, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {173},
pages = {215--233},
publisher = {Springer},
year = {1984},
url = {https://doi.org/10.1007/3-540-13346-1\_11},
doi = {10.1007/3-540-13346-1\_11},
timestamp = {Tue, 14 May 2019 10:00:38 +0200},
biburl = {https://dblp.org/rec/conf/sdt/Despeyroux84.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-09-19 01:22 CEST 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:
