Search dblp for Publications

export results for "execution behavior"

 download as .bib file

@article{DBLP:journals/corr/abs-2403-16437,
  author       = {Junkai Chen and
                  Zhiyuan Pan and
                  Xing Hu and
                  Zhenhao Li and
                  Ge Li and
                  Xin Xia},
  title        = {Evaluating Large Language Models with Runtime Behavior of Program
                  Execution},
  journal      = {CoRR},
  volume       = {abs/2403.16437},
  year         = {2024},
  url          = {https://doi.org/10.48550/arXiv.2403.16437},
  doi          = {10.48550/ARXIV.2403.16437},
  eprinttype    = {arXiv},
  eprint       = {2403.16437},
  timestamp    = {Wed, 10 Apr 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2403-16437.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/kbs/TadewosSK23,
  author       = {Tadewos G. Tadewos and
                  Laya Shamgah and
                  Ali Karimoddini},
  title        = {Automatic Decentralized Behavior Tree Synthesis and Execution for
                  Coordination of Intelligent Vehicles},
  journal      = {Knowl. Based Syst.},
  volume       = {260},
  pages        = {110181},
  year         = {2023},
  url          = {https://doi.org/10.1016/j.knosys.2022.110181},
  doi          = {10.1016/J.KNOSYS.2022.110181},
  timestamp    = {Tue, 31 Jan 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/kbs/TadewosSK23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/trob/PezzatoCBW23,
  author       = {Corrado Pezzato and
                  Carlos Hern{\'{a}}ndez Corbato and
                  Stefan Bonhof and
                  Martijn Wisse},
  title        = {Active Inference and Behavior Trees for Reactive Action Planning and
                  Execution in Robotics},
  journal      = {{IEEE} Trans. Robotics},
  volume       = {39},
  number       = {2},
  pages        = {1050--1069},
  year         = {2023},
  url          = {https://doi.org/10.1109/TRO.2022.3226144},
  doi          = {10.1109/TRO.2022.3226144},
  timestamp    = {Wed, 17 May 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/trob/PezzatoCBW23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tsc/YangWGL23,
  author       = {Yong Yang and
                  Long Wang and
                  Jing Gu and
                  Ying Li},
  title        = {Capturing Request Execution Path for Understanding Service Behavior
                  and Detecting Anomalies Without Code Instrumentation},
  journal      = {{IEEE} Trans. Serv. Comput.},
  volume       = {16},
  number       = {2},
  pages        = {996--1010},
  year         = {2023},
  url          = {https://doi.org/10.1109/TSC.2022.3149949},
  doi          = {10.1109/TSC.2022.3149949},
  timestamp    = {Sat, 29 Apr 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tsc/YangWGL23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coinco/AyubS23,
  author       = {Md. Ahsan Ayub and
                  Ambareen Siraj},
  title        = {Understanding the Behavior of Ransomware: An {I/O} Request Packet
                  {(IRP)} Driven Study on Ransomware Detection against Execution Time},
  booktitle    = {9th {IEEE} International Conference on Collaboration and Internet
                  Computing, {CIC} 2023, Atlanta, GA, USA, November 1-4, 2023},
  pages        = {1--10},
  publisher    = {{IEEE}},
  year         = {2023},
  url          = {https://doi.org/10.1109/CIC58953.2023.00018},
  doi          = {10.1109/CIC58953.2023.00018},
  timestamp    = {Thu, 07 Mar 2024 22:43:57 +0100},
  biburl       = {https://dblp.org/rec/conf/coinco/AyubS23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2312-05011,
  author       = {Alireza Mohamadkhani and
                  Marc Geilen and
                  Jeroen Voeten and
                  Twan Basten},
  title        = {Time- and Behavior-Preserving Execution of Determinate Supervisory
                  Control},
  journal      = {CoRR},
  volume       = {abs/2312.05011},
  year         = {2023},
  url          = {https://doi.org/10.48550/arXiv.2312.05011},
  doi          = {10.48550/ARXIV.2312.05011},
  eprinttype    = {arXiv},
  eprint       = {2312.05011},
  timestamp    = {Wed, 03 Jan 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2312-05011.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/access/Ruiz-CeladaVDR22,
  author       = {Oriol Ruiz{-}Celada and
                  Parikshit Verma and
                  Mohammed Diab and
                  Jan Rosell},
  title        = {Automating Adaptive Execution Behaviors for Robot Manipulation},
  journal      = {{IEEE} Access},
  volume       = {10},
  pages        = {123489--123497},
  year         = {2022},
  url          = {https://doi.org/10.1109/ACCESS.2022.3223995},
  doi          = {10.1109/ACCESS.2022.3223995},
  timestamp    = {Mon, 26 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/access/Ruiz-CeladaVDR22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eswa/TadewosNK22,
  author       = {Tadewos G. Tadewos and
                  Abdullah Al Redwan Newaz and
                  Ali Karimoddini},
  title        = {Specification-guided behavior tree synthesis and execution for coordination
                  of autonomous systems},
  journal      = {Expert Syst. Appl.},
  volume       = {201},
  pages        = {117022},
  year         = {2022},
  url          = {https://doi.org/10.1016/j.eswa.2022.117022},
  doi          = {10.1016/J.ESWA.2022.117022},
  timestamp    = {Tue, 28 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/eswa/TadewosNK22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cluster/PatelTKARL22,
  author       = {Tirthak Patel and
                  Devesh Tiwari and
                  Raj Kettimuthu and
                  William E. Allcock and
                  Paul Rich and
                  Zhengchun Liu},
  title        = {What does Inter-Cluster Job Submission and Execution Behavior Reveal
                  to Us?},
  booktitle    = {{IEEE} International Conference on Cluster Computing, {CLUSTER} 2022,
                  Heidelberg, Germany, September 5-8, 2022},
  pages        = {35--46},
  publisher    = {{IEEE}},
  year         = {2022},
  url          = {https://doi.org/10.1109/CLUSTER51413.2022.00019},
  doi          = {10.1109/CLUSTER51413.2022.00019},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cluster/PatelTKARL22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/humanoids/IovinoDLS22,
  author       = {Matteo Iovino and
                  Fethiye Irmak Dogan and
                  Iolanda Leite and
                  Christian Smith},
  title        = {Interactive Disambiguation for Behavior Tree Execution},
  booktitle    = {21st {IEEE-RAS} International Conference on Humanoid Robots, Humanoids
                  2022, Ginowan, Japan, November 28-30, 2022},
  pages        = {82--89},
  publisher    = {{IEEE}},
  year         = {2022},
  url          = {https://doi.org/10.1109/Humanoids53995.2022.10000088},
  doi          = {10.1109/HUMANOIDS53995.2022.10000088},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/humanoids/IovinoDLS22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2203-02994,
  author       = {Matteo Iovino and
                  Fethiye Irmak Dogan and
                  Iolanda Leite and
                  Christian Smith},
  title        = {Interactive Disambiguation for Behavior Tree Execution},
  journal      = {CoRR},
  volume       = {abs/2203.02994},
  year         = {2022},
  url          = {https://doi.org/10.48550/arXiv.2203.02994},
  doi          = {10.48550/ARXIV.2203.02994},
  eprinttype    = {arXiv},
  eprint       = {2203.02994},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2203-02994.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ral/SuzukiMO21,
  author       = {Kanata Suzuki and
                  Hiroki Mori and
                  Tetsuya Ogata},
  title        = {Compensation for Undefined Behaviors During Robot Task Execution by
                  Switching Controllers Depending on Embedded Dynamics in {RNN}},
  journal      = {{IEEE} Robotics Autom. Lett.},
  volume       = {6},
  number       = {2},
  pages        = {3475--3482},
  year         = {2021},
  url          = {https://doi.org/10.1109/LRA.2021.3063702},
  doi          = {10.1109/LRA.2021.3063702},
  timestamp    = {Wed, 07 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ral/SuzukiMO21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sp/TangLZDWM21,
  author       = {Yahui Tang and
                  Tong Li and
                  Rui Zhu and
                  Fei Du and
                  Jishu Wang and
                  Zifei Ma},
  title        = {A Discovery Method for Hierarchical Software Execution Behavior Models
                  Based on Components},
  journal      = {Sci. Program.},
  volume       = {2021},
  pages        = {4788357:1--4788357:22},
  year         = {2021},
  url          = {https://doi.org/10.1155/2021/4788357},
  doi          = {10.1155/2021/4788357},
  timestamp    = {Mon, 03 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/sp/TangLZDWM21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tjs/MalyshkinAP21,
  author       = {Victor Malyshkin and
                  Darkhan Akhmed{-}Zaki and
                  Vladislav Perepelkin},
  title        = {Parallel programs execution optimization using behavior control in
                  LuNA system},
  journal      = {J. Supercomput.},
  volume       = {77},
  number       = {9},
  pages        = {9771--9779},
  year         = {2021},
  url          = {https://doi.org/10.1007/s11227-021-03654-2},
  doi          = {10.1007/S11227-021-03654-2},
  timestamp    = {Mon, 26 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tjs/MalyshkinAP21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/RicoMELO21,
  author       = {Francisco Mart{\'{\i}}n Rico and
                  Matteo Morelli and
                  Hu{\'{a}}scar Espinoza and
                  Francisco J. Rodr{\'{\i}}guez{-}Lera and
                  Vicente Matell{\'{a}}n Olivera},
  editor       = {Frank Dignum and
                  Alessio Lomuscio and
                  Ulle Endriss and
                  Ann Now{\'{e}}},
  title        = {Optimized Execution of {PDDL} Plans using Behavior Trees},
  booktitle    = {{AAMAS} '21: 20th International Conference on Autonomous Agents and
                  Multiagent Systems, Virtual Event, United Kingdom, May 3-7, 2021},
  pages        = {1596--1598},
  publisher    = {{ACM}},
  year         = {2021},
  url          = {https://www.ifaamas.org/Proceedings/aamas2021/pdfs/p1596.pdf},
  doi          = {10.5555/3463952.3464171},
  timestamp    = {Thu, 25 Apr 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/atal/RicoMELO21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/corl/0001MSC21,
  author       = {Nick Walker and
                  Christoforos I. Mavrogiannis and
                  Siddhartha S. Srinivasa and
                  Maya Cakmak},
  editor       = {Aleksandra Faust and
                  David Hsu and
                  Gerhard Neumann},
  title        = {Influencing Behavioral Attributions to Robot Motion During Task Execution},
  booktitle    = {Conference on Robot Learning, 8-11 November 2021, London, {UK}},
  series       = {Proceedings of Machine Learning Research},
  volume       = {164},
  pages        = {169--179},
  publisher    = {{PMLR}},
  year         = {2021},
  url          = {https://proceedings.mlr.press/v164/walker22a.html},
  timestamp    = {Sun, 12 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/corl/0001MSC21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/etfa/VermaDR21,
  author       = {Parikshit Verma and
                  Mohammed Diab and
                  Jan Rosell},
  title        = {Automatic generation of behavior trees for the execution of robotic
                  manipulation tasks},
  booktitle    = {26th {IEEE} International Conference on Emerging Technologies and
                  Factory Automation, {ETFA} 2021, Vasteras, Sweden, September 7-10,
                  2021},
  pages        = {1--4},
  publisher    = {{IEEE}},
  year         = {2021},
  url          = {https://doi.org/10.1109/ETFA45728.2021.9613583},
  doi          = {10.1109/ETFA45728.2021.9613583},
  timestamp    = {Wed, 15 Dec 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/etfa/VermaDR21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iros/ColledanchiseCD21,
  author       = {Michele Colledanchise and
                  Giuseppe Cicala and
                  Daniele E. Domenichelli and
                  Lorenzo Natale and
                  Armando Tacchella},
  title        = {Formalizing the Execution Context of Behavior Trees for Runtime Verification
                  of Deliberative Policies},
  booktitle    = {{IEEE/RSJ} International Conference on Intelligent Robots and Systems,
                  {IROS} 2021, Prague, Czech Republic, September 27 - Oct. 1, 2021},
  pages        = {9841--9848},
  publisher    = {{IEEE}},
  year         = {2021},
  url          = {https://doi.org/10.1109/IROS51168.2021.9636129},
  doi          = {10.1109/IROS51168.2021.9636129},
  timestamp    = {Mon, 26 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/iros/ColledanchiseCD21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/robio/MaZWW21,
  author       = {Yongjie Ma and
                  Jiexin Zhang and
                  Yunlong Wu and
                  Yanzhen Wang},
  title        = {Follow Me: Hierarchical Parallel Execution Synchronization in Behavior
                  Trees},
  booktitle    = {{IEEE} International Conference on Robotics and Biomimetics, {ROBIO}
                  2021, Sanya, China, December 27-31, 2021},
  pages        = {613--618},
  publisher    = {{IEEE}},
  year         = {2021},
  url          = {https://doi.org/10.1109/ROBIO54168.2021.9739272},
  doi          = {10.1109/ROBIO54168.2021.9739272},
  timestamp    = {Thu, 16 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/robio/MaZWW21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/roedunet/VaradiCR21,
  author       = {Robert V{\'{a}}radi and
                  Adrian Colesa and
                  Gabriel Rat},
  title        = {Infrastructure for Capturing and Persisting Virtualization-Specific
                  Events Triggered by In-Guest Process Executions for Behavioral-Based
                  Analysis},
  booktitle    = {2021 20th RoEduNet Conference: Networking in Education and Research
                  (RoEduNet), Iasi, Romania, November 4-6, 2021},
  pages        = {1--6},
  publisher    = {{IEEE}},
  year         = {2021},
  url          = {https://doi.org/10.1109/RoEduNet54112.2021.9638282},
  doi          = {10.1109/ROEDUNET54112.2021.9638282},
  timestamp    = {Thu, 16 Dec 2021 10:06:47 +0100},
  biburl       = {https://dblp.org/rec/conf/roedunet/VaradiCR21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sbesc/AndradeLLAC21,
  author       = {Tadeu Nogueira C. Andrade and
                  George Lima and
                  Veronica Maria Cadena Lima and
                  Yasmina Abdedda{\"{\i}}m and
                  Liliana Cucu{-}Grosjean},
  title        = {On the Selection of Relevant Hardware Events for Explaining Execution
                  Time Behavior},
  booktitle    = {{XI} Brazilian Symposium on Computing Systems Engineering, {SBESC}
                  2021, Florianopolis, Brazil, November 22-26, 2021},
  pages        = {1--8},
  publisher    = {{IEEE}},
  year         = {2021},
  url          = {https://doi.org/10.1109/SBESC53686.2021.9628374},
  doi          = {10.1109/SBESC53686.2021.9628374},
  timestamp    = {Wed, 01 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sbesc/AndradeLLAC21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2101-01964,
  author       = {Francisco Mart{\'{\i}}n and
                  Matteo Morelli and
                  Hu{\'{a}}scar Espinoza and
                  Francisco J. Rodr{\'{\i}}guez{-}Lera and
                  Vicente Matell{\'{a}}n},
  title        = {Optimized Execution of {PDDL} Plans using Behavior Trees},
  journal      = {CoRR},
  volume       = {abs/2101.01964},
  year         = {2021},
  url          = {https://arxiv.org/abs/2101.01964},
  eprinttype    = {arXiv},
  eprint       = {2101.01964},
  timestamp    = {Thu, 25 Apr 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2101-01964.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2102-10127,
  author       = {Eduard Kamburjan and
                  Marco Scaletta and
                  Nils Rollshausen},
  title        = {Crowbar: Behavioral Symbolic Execution for Deductive Verification
                  of Active Objects},
  journal      = {CoRR},
  volume       = {abs/2102.10127},
  year         = {2021},
  url          = {https://arxiv.org/abs/2102.10127},
  eprinttype    = {arXiv},
  eprint       = {2102.10127},
  timestamp    = {Wed, 24 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2102-10127.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2103-06545,
  author       = {Martin Molina and
                  Pablo Santamar{\'{\i}}a and
                  Abraham Carrera},
  title        = {Programming Robot Behaviors with Execution Management Functions},
  journal      = {CoRR},
  volume       = {abs/2103.06545},
  year         = {2021},
  url          = {https://arxiv.org/abs/2103.06545},
  eprinttype    = {arXiv},
  eprint       = {2103.06545},
  timestamp    = {Thu, 09 Feb 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2103-06545.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2106-12474,
  author       = {Michele Colledanchise and
                  Giuseppe Cicala and
                  Daniele E. Domenichelli and
                  Lorenzo Natale and
                  Armando Tacchella},
  title        = {Formalizing the Execution Context of Behavior Trees for Runtime Verification
                  of Deliberative Policies},
  journal      = {CoRR},
  volume       = {abs/2106.12474},
  year         = {2021},
  url          = {https://arxiv.org/abs/2106.12474},
  eprinttype    = {arXiv},
  eprint       = {2106.12474},
  timestamp    = {Wed, 30 Jun 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2106-12474.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/il/Busany20,
  author       = {Nimrod Busany},
  title        = {Behavioral Analysis of Big and Complex Execution Logs},
  school       = {Tel Aviv University, Israel},
  year         = {2020},
  url          = {https://tau.primo.exlibrisgroup.com/permalink/972TAU\_INST/bai57q/alma9933224865604146},
  timestamp    = {Fri, 03 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/phd/il/Busany20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/compsec/SebastioBBDGLPQ20,
  author       = {Stefano Sebastio and
                  Eduard Baranov and
                  Fabrizio Biondi and
                  Olivier Decourbe and
                  Thomas Given{-}Wilson and
                  Axel Legay and
                  Cassius Puodzius and
                  Jean Quilbeuf},
  title        = {Optimizing symbolic execution for malware behavior classification},
  journal      = {Comput. Secur.},
  volume       = {93},
  pages        = {101775},
  year         = {2020},
  url          = {https://doi.org/10.1016/j.cose.2020.101775},
  doi          = {10.1016/J.COSE.2020.101775},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/compsec/SebastioBBDGLPQ20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tifs/FormbyB20,
  author       = {David Formby and
                  Raheem Beyah},
  title        = {Temporal Execution Behavior for Host Anomaly Detection in Programmable
                  Logic Controllers},
  journal      = {{IEEE} Trans. Inf. Forensics Secur.},
  volume       = {15},
  pages        = {1455--1469},
  year         = {2020},
  url          = {https://doi.org/10.1109/TIFS.2019.2940890},
  doi          = {10.1109/TIFS.2019.2940890},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tifs/FormbyB20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isncc/BhandariJF20,
  author       = {Arnav Bhandari and
                  Katherine Juarez and
                  Errin W. Fulp},
  title        = {Using Execution Profiles to Identify Process Behavior Classes},
  booktitle    = {2020 International Symposium on Networks, Computers and Communications,
                  {ISNCC} 2020, Montreal, QC, Canada, October 20-22, 2020},
  pages        = {1--4},
  publisher    = {{IEEE}},
  year         = {2020},
  url          = {https://doi.org/10.1109/ISNCC49221.2020.9297303},
  doi          = {10.1109/ISNCC49221.2020.9297303},
  timestamp    = {Fri, 15 Jan 2021 09:21:28 +0100},
  biburl       = {https://dblp.org/rec/conf/isncc/BhandariJF20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2011-09756,
  author       = {Corrado Pezzato and
                  Carlos Hern{\'{a}}ndez Corbato and
                  Martijn Wisse},
  title        = {Active Inference and Behavior Trees for Reactive Action Planning and
                  Execution in Robotics},
  journal      = {CoRR},
  volume       = {abs/2011.09756},
  year         = {2020},
  url          = {https://arxiv.org/abs/2011.09756},
  eprinttype    = {arXiv},
  eprint       = {2011.09756},
  timestamp    = {Wed, 25 Nov 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2011-09756.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/access/HeRZZX19,
  author       = {Hongdou He and
                  Jiadong Ren and
                  Guyu Zhao and
                  Yinghui Zhang and
                  Hao Xiaobing},
  title        = {Mining of Probabilistic Controlling Behavior Model From Dynamic Software
                  Execution Trace},
  journal      = {{IEEE} Access},
  volume       = {7},
  pages        = {79602--79616},
  year         = {2019},
  url          = {https://doi.org/10.1109/ACCESS.2019.2922998},
  doi          = {10.1109/ACCESS.2019.2922998},
  timestamp    = {Wed, 15 Jan 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/access/HeRZZX19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bpm/GengaFGZ19,
  author       = {Laura Genga and
                  Chiara Di Francescomarino and
                  Chiara Ghidini and
                  Nicola Zannone},
  editor       = {Thomas T. Hildebrandt and
                  Boudewijn F. van Dongen and
                  Maximilian R{\"{o}}glinger and
                  Jan Mendling},
  title        = {Predicting Critical Behaviors in Business Process Executions: When
                  Evidence Counts},
  booktitle    = {Business Process Management Forum - {BPM} Forum 2019, Vienna, Austria,
                  September 1-6, 2019, Proceedings},
  series       = {Lecture Notes in Business Information Processing},
  volume       = {360},
  pages        = {72--90},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-26643-1\_5},
  doi          = {10.1007/978-3-030-26643-1\_5},
  timestamp    = {Mon, 03 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/bpm/GengaFGZ19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iros/ColledanchiseN19,
  author       = {Michele Colledanchise and
                  Lorenzo Natale},
  title        = {Analysis and Exploitation of Synchronized Parallel Executions in Behavior
                  Trees},
  booktitle    = {2019 {IEEE/RSJ} International Conference on Intelligent Robots and
                  Systems, {IROS} 2019, Macau, SAR, China, November 3-8, 2019},
  pages        = {6399--6406},
  publisher    = {{IEEE}},
  year         = {2019},
  url          = {https://doi.org/10.1109/IROS40897.2019.8967812},
  doi          = {10.1109/IROS40897.2019.8967812},
  timestamp    = {Mon, 03 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iros/ColledanchiseN19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtas/KumarNP19,
  author       = {Tushar Kumar and
                  Kangqi Ni and
                  Santosh Pande},
  editor       = {Bj{\"{o}}rn B. Brandenburg},
  title        = {Characterizing Dominant Program Behavior Using the Execution-Time
                  Variance of the Call Structure},
  booktitle    = {25th {IEEE} Real-Time and Embedded Technology and Applications Symposium,
                  {RTAS} 2019, Montreal, QC, Canada, April 16-18, 2019},
  pages        = {117--129},
  publisher    = {{IEEE}},
  year         = {2019},
  url          = {https://doi.org/10.1109/RTAS.2019.00018},
  doi          = {10.1109/RTAS.2019.00018},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rtas/KumarNP19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1908-01539,
  author       = {Michele Colledanchise and
                  Lorenzo Natale},
  title        = {Analysis and Exploitation of Synchronized Parallel Executions in Behavior
                  Trees},
  journal      = {CoRR},
  volume       = {abs/1908.01539},
  year         = {2019},
  url          = {http://arxiv.org/abs/1908.01539},
  eprinttype    = {arXiv},
  eprint       = {1908.01539},
  timestamp    = {Fri, 09 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1908-01539.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/hal/Costiou18,
  author       = {Steven Costiou},
  title        = {Adaptation non-anticip{\'{e}}e de comportement: application au
                  d{\'{e}}verminage de programmes en cours d'ex{\'{e}}cution.
                  (Unanticipated behavior adaptation: application to the debugging of
                  running programs)},
  school       = {University of Western Brittany, Brest, France},
  year         = {2018},
  url          = {https://tel.archives-ouvertes.fr/tel-02082447},
  timestamp    = {Tue, 21 Jul 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/phd/hal/Costiou18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jrm/HerediaSSROHO18,
  author       = {Jorge David Figueroa Heredia and
                  Shouhei Shirafuji and
                  Hamdi M. Sahloul and
                  Jose Ildefonso U. Rubrico and
                  Taiki Ogata and
                  Tatsunori Hara and
                  Jun Ota},
  title        = {Refining Two Robots Task Execution Through Tuning Behavior Trajectory
                  and Balancing the Communication},
  journal      = {J. Robotics Mechatronics},
  volume       = {30},
  number       = {4},
  pages        = {613--623},
  year         = {2018},
  url          = {https://doi.org/10.20965/jrm.2018.p0613},
  doi          = {10.20965/JRM.2018.P0613},
  timestamp    = {Tue, 29 Jun 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jrm/HerediaSSROHO18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tase/Liu18,
  author       = {Cong Liu},
  title        = {Automatic Discovery of Behavioral Models From Software Execution Data},
  journal      = {{IEEE} Trans Autom. Sci. Eng.},
  volume       = {15},
  number       = {4},
  pages        = {1897--1908},
  year         = {2018},
  url          = {https://doi.org/10.1109/TASE.2018.2844725},
  doi          = {10.1109/TASE.2018.2844725},
  timestamp    = {Fri, 26 Nov 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tase/Liu18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiide/NeufeldMB18,
  author       = {Xenija Neufeld and
                  Sanaz Mostaghim and
                  Sandy Brand},
  editor       = {Jonathan P. Rowe and
                  Gillian Smith},
  title        = {A Hybrid Approach to Planning and Execution in Dynamic Environments
                  Through Hierarchical Task Networks and Behavior Trees},
  booktitle    = {Proceedings of the Fourteenth {AAAI} Conference on Artificial Intelligence
                  and Interactive Digital Entertainment, {AIIDE} 2018, November 13-17,
                  2018, Edmonton, Canada},
  pages        = {201--207},
  publisher    = {{AAAI} Press},
  year         = {2018},
  url          = {https://aaai.org/ocs/index.php/AIIDE/AIIDE18/paper/view/18111},
  timestamp    = {Wed, 10 Feb 2021 22:01:28 +0100},
  biburl       = {https://dblp.org/rec/conf/aiide/NeufeldMB18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/civemsa/HalalZ18,
  author       = {Fadi Halal and
                  Marek B. Zaremba},
  title        = {A Hybrid Architecture for Planning and Execution of Multi-Behavior
                  Data Acquisition Missions},
  booktitle    = {{IEEE} International Conference on Computational Intelligence and
                  Virtual Environments for Measurement Systems and Applications, {CIVEMSA}
                  2018, Ottawa, ON, Canada, June 12-13, 2018},
  pages        = {1--6},
  publisher    = {{IEEE}},
  year         = {2018},
  url          = {https://doi.org/10.1109/CIVEMSA.2018.8439996},
  doi          = {10.1109/CIVEMSA.2018.8439996},
  timestamp    = {Tue, 23 Aug 2022 13:01:08 +0200},
  biburl       = {https://dblp.org/rec/conf/civemsa/HalalZ18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/enase/LiuDAA18,
  author       = {Cong Liu and
                  Boudewijn F. van Dongen and
                  Nour Assy and
                  Wil M. P. van der Aalst},
  editor       = {Ernesto Damiani and
                  George Spanoudakis and
                  Leszek A. Maciaszek},
  title        = {A Framework to Support Behavioral Design Pattern Detection from Software
                  Execution Data},
  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        = {65--76},
  publisher    = {SciTePress},
  year         = {2018},
  url          = {https://doi.org/10.5220/0006688000650076},
  doi          = {10.5220/0006688000650076},
  timestamp    = {Tue, 29 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/enase/LiuDAA18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/enase/LiuDAA18a,
  author       = {Cong Liu and
                  Boudewijn F. van Dongen and
                  Nour Assy and
                  Wil M. P. van der Aalst},
  editor       = {Ernesto Damiani and
                  George Spanoudakis and
                  Leszek A. Maciaszek},
  title        = {Detecting Behavioral Design Patterns from Software Execution Data},
  booktitle    = {Evaluation of Novel Approaches to Software Engineering - 13th International
                  Conference, {ENASE} 2018, Funchal, Madeira, Portugal, March 23-24,
                  2018, Revised Selected Papers},
  series       = {Communications in Computer and Information Science},
  volume       = {1023},
  pages        = {137--164},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-030-22559-9\_7},
  doi          = {10.1007/978-3-030-22559-9\_7},
  timestamp    = {Fri, 26 Nov 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/enase/LiuDAA18a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/giots/ZafeiropoulosFG18,
  author       = {Anastasios Zafeiropoulos and
                  Eleni Fotopoulou and
                  Aurora Gonz{\'{a}}lez{-}Vidal and
                  Antonio F. Skarmeta},
  title        = {Detaching the design, development and execution of big data analysis
                  processes: {A} case study based on energy and behavioral analytics},
  booktitle    = {2018 Global Internet of Things Summit, GIoTS 2018, Bilbao, Spain,
                  June 4-7, 2018},
  pages        = {1--6},
  publisher    = {{IEEE}},
  year         = {2018},
  url          = {https://doi.org/10.1109/GIOTS.2018.8534525},
  doi          = {10.1109/GIOTS.2018.8534525},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/giots/ZafeiropoulosFG18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsoc/0003MDS18,
  author       = {Monika Gupta and
                  Atri Mandal and
                  Gargi Dasgupta and
                  Alexander Serebrenik},
  editor       = {Claus Pahl and
                  Maja Vukovic and
                  Jianwei Yin and
                  Qi Yu},
  title        = {Runtime Monitoring in Continuous Deployment by Differencing Execution
                  Behavior Model},
  booktitle    = {Service-Oriented Computing - 16th International Conference, {ICSOC}
                  2018, Hangzhou, China, November 12-15, 2018, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11236},
  pages        = {812--827},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-030-03596-9\_58},
  doi          = {10.1007/978-3-030-03596-9\_58},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icsoc/0003MDS18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ipps/NeillDP18,
  author       = {Richard Neill and
                  Andi Drebes and
                  Antoniu Pop},
  title        = {Automated Analysis of Task-Parallel Execution Behavior Via Artificial
                  Neural Networks},
  booktitle    = {2018 {IEEE} International Parallel and Distributed Processing Symposium
                  Workshops, {IPDPS} Workshops 2018, Vancouver, BC, Canada, May 21-25,
                  2018},
  pages        = {647--656},
  publisher    = {{IEEE} Computer Society},
  year         = {2018},
  url          = {https://doi.org/10.1109/IPDPSW.2018.00105},
  doi          = {10.1109/IPDPSW.2018.00105},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ipps/NeillDP18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/irc/SchierlHNR18,
  author       = {Andreas Schierl and
                  Alwin Hoffmann and
                  Ludwig N{\"{a}}gele and
                  Wolfgang Reif},
  title        = {Integrating Reactive Behavior and Planning: Optimizing Execution Time
                  Through Predictive Preparation of State Machine Tasks},
  booktitle    = {Second {IEEE} International Conference on Robotic Computing, {IRC}
                  2018, Laguna Hills, CA, USA, January 31 - February 2, 2018},
  pages        = {95--101},
  publisher    = {{IEEE} Computer Society},
  year         = {2018},
  url          = {https://doi.org/10.1109/IRC.2018.00022},
  doi          = {10.1109/IRC.2018.00022},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/irc/SchierlHNR18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iros/ColledanchiseN18,
  author       = {Michele Colledanchise and
                  Lorenzo Natale},
  title        = {Improving the Parallel Execution of Behavior Trees},
  booktitle    = {2018 {IEEE/RSJ} International Conference on Intelligent Robots and
                  Systems, {IROS} 2018, Madrid, Spain, October 1-5, 2018},
  pages        = {7103--7110},
  publisher    = {{IEEE}},
  year         = {2018},
  url          = {https://doi.org/10.1109/IROS.2018.8593504},
  doi          = {10.1109/IROS.2018.8593504},
  timestamp    = {Mon, 03 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iros/ColledanchiseN18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ispdc/KalinnikR18,
  author       = {Natalia Kalinnik and
                  Thomas Rauber},
  title        = {Execution Behavior Analysis of Parallel Schemes for Implicit Solution
                  Methods for ODEs},
  booktitle    = {17th International Symposium on Parallel and Distributed Computing,
                  {ISPDC} 2018, Geneva, Switzerland, June 25-28, 2018},
  pages        = {1--8},
  publisher    = {{IEEE}},
  year         = {2018},
  url          = {https://doi.org/10.1109/ISPDC2018.2018.00010},
  doi          = {10.1109/ISPDC2018.2018.00010},
  timestamp    = {Wed, 16 Oct 2019 14:14:54 +0200},
  biburl       = {https://dblp.org/rec/conf/ispdc/KalinnikR18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/GuWYL18,
  author       = {Jing Gu and
                  Long Wang and
                  Yong Yang and
                  Ying Li},
  editor       = {Sudipto Ghosh and
                  Roberto Natella and
                  Bojan Cukic and
                  Robin S. Poston and
                  Nuno Laranjeiro},
  title        = {{KEREP:} Experience in Extracting Knowledge on Distributed System
                  Behavior through Request Execution Path},
  booktitle    = {2018 {IEEE} International Symposium on Software Reliability Engineering
                  Workshops, {ISSRE} Workshops, Memphis, TN, USA, October 15-18, 2018},
  pages        = {30--35},
  publisher    = {{IEEE} Computer Society},
  year         = {2018},
  url          = {https://doi.org/10.1109/ISSREW.2018.00-35},
  doi          = {10.1109/ISSREW.2018.00-35},
  timestamp    = {Thu, 13 Apr 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/issre/GuWYL18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwpc/LiuDAA18,
  author       = {Cong Liu and
                  Boudewijn F. van Dongen and
                  Nour Assy and
                  Wil M. P. van der Aalst},
  editor       = {Foutse Khomh and
                  Chanchal K. Roy and
                  Janet Siegmund},
  title        = {Component interface identification and behavioral model discovery
                  from software execution data},
  booktitle    = {Proceedings of the 26th Conference on Program Comprehension, {ICPC}
                  2018, Gothenburg, Sweden, May 27-28, 2018},
  pages        = {97--107},
  publisher    = {{ACM}},
  year         = {2018},
  url          = {https://doi.org/10.1145/3196321.3196338},
  doi          = {10.1145/3196321.3196338},
  timestamp    = {Fri, 26 Nov 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iwpc/LiuDAA18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1809-04898,
  author       = {Michele Colledanchise and
                  Lorenzo Natale},
  title        = {Improving the Parallel Execution of Behavior Trees},
  journal      = {CoRR},
  volume       = {abs/1809.04898},
  year         = {2018},
  url          = {http://arxiv.org/abs/1809.04898},
  eprinttype    = {arXiv},
  eprint       = {1809.04898},
  timestamp    = {Fri, 05 Oct 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1809-04898.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaaifs/BrutzmanBMD17,
  author       = {Don Brutzman and
                  Curtis L. Blais and
                  Robert B. McGhee and
                  Duane Davis},
  title        = {Position Paper: Rational Behavior Model {(RBM)} and Human-Robot Ethical
                  Constraints Using Mission Execution Ontology {(MEO)}},
  booktitle    = {2017 {AAAI} Fall Symposia, Arlington, Virginia, USA, November 9-11,
                  2017},
  pages        = {192--193},
  publisher    = {{AAAI} Press},
  year         = {2017},
  url          = {https://aaai.org/ocs/index.php/FSS/FSS17/paper/view/16000},
  timestamp    = {Thu, 22 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aaaifs/BrutzmanBMD17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icorr/CasellatoGCP17,
  author       = {Claudia Casellato and
                  Marta Gandolla and
                  Alessandro Crippa and
                  Alessandra Pedrocchi},
  title        = {Robotic set-up to quantify hand-eye behavior in motor execution and
                  learning of children with autism spectrum disorder},
  booktitle    = {International Conference on Rehabilitation Robotics, {ICORR} 2017,
                  London, United Kingdom, July 17-20, 2017},
  pages        = {953--958},
  publisher    = {{IEEE}},
  year         = {2017},
  url          = {https://doi.org/10.1109/ICORR.2017.8009372},
  doi          = {10.1109/ICORR.2017.8009372},
  timestamp    = {Wed, 16 Oct 2019 14:14:51 +0200},
  biburl       = {https://dblp.org/rec/conf/icorr/CasellatoGCP17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/WangBO17,
  author       = {Qianqian Wang and
                  Yuriy Brun and
                  Alessandro Orso},
  title        = {Behavioral Execution Comparison: Are Tests Representative of Field
                  Behavior?},
  booktitle    = {2017 {IEEE} International Conference on Software Testing, Verification
                  and Validation, {ICST} 2017, Tokyo, Japan, March 13-17, 2017},
  pages        = {321--332},
  publisher    = {{IEEE} Computer Society},
  year         = {2017},
  url          = {https://doi.org/10.1109/ICST.2017.36},
  doi          = {10.1109/ICST.2017.36},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icst/WangBO17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iisa/Al-SharifAA17,
  author       = {Ziad A. Al{-}Sharif and
                  Mohammed I. Al{-}Saleh and
                  Luay Alawneh},
  editor       = {Nikolaos G. Bourbakis and
                  George A. Tsihrintzis and
                  Maria Virvou},
  title        = {Towards the memory forensics of {OOP} execution behavior},
  booktitle    = {8th International Conference on Information, Intelligence, Systems
                  {\&} Applications, {IISA} 2017, Larnaca, Cyprus, August 27-30,
                  2017},
  pages        = {1--6},
  publisher    = {{IEEE}},
  year         = {2017},
  url          = {https://doi.org/10.1109/IISA.2017.8316382},
  doi          = {10.1109/IISA.2017.8316382},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/iisa/Al-SharifAA17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vissoft/BeckSBW17,
  author       = {Fabian Beck and
                  Hafiz Ammar Siddiqui and
                  Alexandre Bergel and
                  Daniel Weiskopf},
  title        = {Method Execution Reports: Generating Text and Visualization to Describe
                  Program Behavior},
  booktitle    = {{IEEE} Working Conference on Software Visualization, {VISSOFT} 2017,
                  Shanghai, China, September 18-19, 2017},
  pages        = {1--10},
  publisher    = {{IEEE}},
  year         = {2017},
  url          = {https://doi.org/10.1109/VISSOFT.2017.11},
  doi          = {10.1109/VISSOFT.2017.11},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/vissoft/BeckSBW17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/basesearch/Kumar16,
  author       = {Tushar Kumar},
  title        = {Characterizing and controlling program behavior using execution-time
                  variance},
  school       = {Georgia Institute of Technology, Atlanta, GA, {USA}},
  year         = {2016},
  url          = {https://hdl.handle.net/1853/55000},
  timestamp    = {Wed, 04 May 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/phd/basesearch/Kumar16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/percom/KwonYKYCP16,
  author       = {Yongin Kwon and
                  Hayoon Yi and
                  Donghyun Kwon and
                  Seungjun Yang and
                  Yeongpil Cho and
                  Yunheung Paek},
  title        = {Precise execution offloading for applications with dynamic behavior
                  in mobile cloud computing},
  journal      = {Pervasive Mob. Comput.},
  volume       = {27},
  pages        = {58--74},
  year         = {2016},
  url          = {https://doi.org/10.1016/j.pmcj.2015.10.001},
  doi          = {10.1016/J.PMCJ.2015.10.001},
  timestamp    = {Sat, 22 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/percom/KwonYKYCP16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bpm/BeestW16,
  author       = {N. R. T. P. van Beest and
                  Ingo Weber},
  editor       = {Marlon Dumas and
                  Marcelo Fantinato},
  title        = {Behavioral Classification of Business Process Executions at Runtime},
  booktitle    = {Business Process Management Workshops - {BPM} 2016 International Workshops,
                  Rio de Janeiro, Brazil, September 19, 2016, Revised Papers},
  series       = {Lecture Notes in Business Information Processing},
  volume       = {281},
  pages        = {339--353},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-58457-7\_25},
  doi          = {10.1007/978-3-319-58457-7\_25},
  timestamp    = {Fri, 02 Nov 2018 09:44:24 +0100},
  biburl       = {https://dblp.org/rec/conf/bpm/BeestW16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cbms/WilkOKKRMF16,
  author       = {Szymon Wilk and
                  Dympna O'Sullivan and
                  Mounira Kezadri{-}Hamiaz and
                  Craig E. Kuziemsky and
                  Daniela Rosu and
                  Wojtek Michalowski and
                  Michael Fung Kee Fung},
  title        = {Aligning Interdisciplinary Healthcare Team Behavior with Workflow
                  Execution: An Example of a Radical Prostatectomy Workflow},
  booktitle    = {29th {IEEE} International Symposium on Computer-Based Medical Systems,
                  {CBMS} 2016, Belfast, {UK} and Dublin, Ireland, June 20-24, 2016},
  pages        = {112--117},
  publisher    = {{IEEE} Computer Society},
  year         = {2016},
  url          = {https://doi.org/10.1109/CBMS.2016.62},
  doi          = {10.1109/CBMS.2016.62},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cbms/WilkOKKRMF16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/data/PhalakSJ16,
  author       = {Chetan Phalak and
                  Rekha Singhal and
                  Tanmay Jhunjhunwala},
  editor       = {Chiara Francalanci and
                  Markus Helfert},
  title        = {Database Buffer Cache Simulator to Study and Predict Cache Behavior
                  for Query Execution},
  booktitle    = {{DATA} 2016 - Proceedings of 5th International Conference on Data
                  Management Technologies and Applications, Lisbon, Portugal, 24-26
                  July, 2016},
  pages        = {71--78},
  publisher    = {SciTePress},
  year         = {2016},
  url          = {https://doi.org/10.5220/0005936800710078},
  doi          = {10.5220/0005936800710078},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/data/PhalakSJ16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/green/MaDL16,
  author       = {Xiaobin Ma and
                  Zhihui Du and
                  Jason Liu},
  title        = {Fast and effective power profiling of program execution based on phase
                  behaviors},
  booktitle    = {Seventh International Green and Sustainable Computing Conference,
                  {IGSC} 2016, Hangzhou, China, November 7-9, 2016},
  pages        = {1--8},
  publisher    = {{IEEE} Computer Society},
  year         = {2016},
  url          = {https://doi.org/10.1109/IGCC.2016.7892625},
  doi          = {10.1109/IGCC.2016.7892625},
  timestamp    = {Mon, 29 Apr 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/green/MaDL16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icete/BoileauGPFM16a,
  author       = {Catherine Boileau and
                  Fran{\c{c}}ois Gagnon and
                  J{\'{e}}r{\'{e}}mie Poisson and
                  Simon Frenette and
                  Mohamed Mejri},
  editor       = {Mohammad S. Obaidat},
  title        = {Towards Understanding the Role of Execution Context for Observing
                  Malicious Behavior in Android Malware},
  booktitle    = {E-Business and Telecommunications - 13th International Joint Conference,
                  {ICETE} 2016, Lisbon, Portugal, July 26-28, 2016, Revised Selected
                  Papers},
  series       = {Communications in Computer and Information Science},
  volume       = {764},
  pages        = {48--71},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-67876-4\_3},
  doi          = {10.1007/978-3-319-67876-4\_3},
  timestamp    = {Mon, 21 Jan 2019 11:20:27 +0100},
  biburl       = {https://dblp.org/rec/conf/icete/BoileauGPFM16a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icpads/TsaiCK16,
  author       = {Shin{-}Chieh Tsai and
                  Chiu{-}Ping Chang and
                  Chung{-}Ta King},
  title        = {Reverse Engineering of Dynamic Parallel Program Behavior from Execution
                  Traces},
  booktitle    = {22nd {IEEE} International Conference on Parallel and Distributed Systems,
                  {ICPADS} 2016, Wuhan, China, December 13-16, 2016},
  pages        = {1075--1082},
  publisher    = {{IEEE} Computer Society},
  year         = {2016},
  url          = {https://doi.org/10.1109/ICPADS.2016.0142},
  doi          = {10.1109/ICPADS.2016.0142},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icpads/TsaiCK16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icra/MurookaUNKOI16,
  author       = {Masaki Murooka and
                  Ryohei Ueda and
                  Shunichi Nozawa and
                  Yohei Kakiuchi and
                  Kei Okada and
                  Masayuki Inaba},
  editor       = {Danica Kragic and
                  Antonio Bicchi and
                  Alessandro De Luca},
  title        = {Planning and execution of groping behavior for contact sensor based
                  manipulation in an unknown environment},
  booktitle    = {2016 {IEEE} International Conference on Robotics and Automation, {ICRA}
                  2016, Stockholm, Sweden, May 16-21, 2016},
  pages        = {3955--3962},
  publisher    = {{IEEE}},
  year         = {2016},
  url          = {https://doi.org/10.1109/ICRA.2016.7487585},
  doi          = {10.1109/ICRA.2016.7487585},
  timestamp    = {Mon, 15 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icra/MurookaUNKOI16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/itsc/NieZWDR16,
  author       = {Jianqiang Nie and
                  Jian Zhang and
                  Xia Wan and
                  Wanting Ding and
                  Bin Ran},
  title        = {Modeling of decision-making behavior for discretionary lane-changing
                  execution},
  booktitle    = {19th {IEEE} International Conference on Intelligent Transportation
                  Systems, {ITSC} 2016, Rio de Janeiro, Brazil, November 1-4, 2016},
  pages        = {707--712},
  publisher    = {{IEEE}},
  year         = {2016},
  url          = {https://doi.org/10.1109/ITSC.2016.7795631},
  doi          = {10.1109/ITSC.2016.7795631},
  timestamp    = {Wed, 16 Oct 2019 14:14:57 +0200},
  biburl       = {https://dblp.org/rec/conf/itsc/NieZWDR16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ssci/LiuDAA16,
  author       = {Cong Liu and
                  Boudewijn F. van Dongen and
                  Nour Assy and
                  Wil M. P. van der Aalst},
  title        = {Component behavior discovery from software execution data},
  booktitle    = {2016 {IEEE} Symposium Series on Computational Intelligence, {SSCI}
                  2016, Athens, Greece, December 6-9, 2016},
  pages        = {1--8},
  publisher    = {{IEEE}},
  year         = {2016},
  url          = {https://doi.org/10.1109/SSCI.2016.7849947},
  doi          = {10.1109/SSCI.2016.7849947},
  timestamp    = {Wed, 16 Oct 2019 14:14:56 +0200},
  biburl       = {https://dblp.org/rec/conf/ssci/LiuDAA16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/ColledanchiseMD15,
  author       = {Michele Colledanchise and
                  Alejandro Marzinotto and
                  Dimos V. Dimarogonas and
                  Petter {\"{O}}gren},
  title        = {Adaptive Fault Tolerant Execution of Multi-Robot Missions using Behavior
                  Trees},
  journal      = {CoRR},
  volume       = {abs/1502.02960},
  year         = {2015},
  url          = {http://arxiv.org/abs/1502.02960},
  eprinttype    = {arXiv},
  eprint       = {1502.02960},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/ColledanchiseMD15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/hal/Lelionnais14,
  author       = {C{\'{e}}drick Lelionnais},
  title        = {Contribution {\`{a}} la consid{\'{e}}ration du comportement des
                  plates-formes d'ex{\'{e}}cution logicielles temps r{\'{e}}el.
                  (Contribution to the Consideration of the Behavior of Real-Time Software
                  Execution Platforms)},
  school       = {{\'{E}}cole centrale de Nantes, France},
  year         = {2014},
  url          = {https://tel.archives-ouvertes.fr/tel-01093814},
  timestamp    = {Tue, 21 Jul 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/phd/hal/Lelionnais14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/amm/OhKHM14,
  author       = {Jung{-}Min Oh and
                  Kyung Hoon Kim and
                  Sangjin Hong and
                  Nammee Moon},
  title        = {Execution Behavior Modeling Methodology for Large Scale Surveillance
                  System Design and Evaluation},
  journal      = {Adv. Multim.},
  volume       = {2014},
  pages        = {962015:1--962015:10},
  year         = {2014},
  url          = {https://doi.org/10.1155/2014/962015},
  doi          = {10.1155/2014/962015},
  timestamp    = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/amm/OhKHM14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/caise/MoriNC14,
  author       = {Marco Mori and
                  Nesrine Noughi and
                  Anthony Cleve},
  editor       = {Selmin Nurcan and
                  Elias Pimenidis and
                  Oscar Pastor and
                  Yannis Vassiliou},
  title        = {Mining {SQL} Execution Traces for Data Manipulation Behavior Recovery},
  booktitle    = {Joint Proceedings of the CAiSE 2014 Forum and CAiSE 2014 Doctoral
                  Consortium co-located with the 26th International Conference on Advanced
                  Information Systems Engineering (CAiSE 2014), Thessaloniki, Greece,
                  June 18-20, 2014},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {1164},
  pages        = {41--48},
  publisher    = {CEUR-WS.org},
  year         = {2014},
  url          = {https://ceur-ws.org/Vol-1164/PaperVision06.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:22:35 +0100},
  biburl       = {https://dblp.org/rec/conf/caise/MoriNC14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/etfa/PrahoferSG14,
  author       = {Herbert Pr{\"{a}}hofer and
                  Roland Schatz and
                  Andreas Grimmer},
  editor       = {Antoni Grau and
                  Herminio Mart{\'{\i}}nez},
  title        = {Behavioral model synthesis of {PLC} programs from execution traces},
  booktitle    = {Proceedings of the 2014 {IEEE} Emerging Technology and Factory Automation,
                  {ETFA} 2014, Barcelona, Spain, September 16-19, 2014},
  pages        = {1--5},
  publisher    = {{IEEE}},
  year         = {2014},
  url          = {https://doi.org/10.1109/ETFA.2014.7005259},
  doi          = {10.1109/ETFA.2014.7005259},
  timestamp    = {Wed, 16 Oct 2019 14:14:55 +0200},
  biburl       = {https://dblp.org/rec/conf/etfa/PrahoferSG14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fcc/SsinCUC14,
  author       = {Seungyoub Ssin and
                  Seoungjae Cho and
                  Kyhyun Um and
                  Kyungeun Cho},
  editor       = {James Jong Hyuk Park and
                  Albert Y. Zomaya and
                  Hwa{-}Young Jeong and
                  Mohammad S. Obaidat},
  title        = {Behavior Execution Method for a Robot Using an Online Development
                  Approach},
  booktitle    = {Frontier and Innovation in Future Computing and Communications, Proceedings
                  of the 2014 {FTRA} International Symposium on Frontier and Innovation
                  in Future Computing and Communications, {FCC} 2014, Auckland, New
                  Zealand, January 13-16, 2014},
  series       = {Lecture Notes in Electrical Engineering},
  volume       = {301},
  pages        = {661--667},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-94-017-8798-7\_76},
  doi          = {10.1007/978-94-017-8798-7\_76},
  timestamp    = {Fri, 27 Mar 2020 08:55:45 +0100},
  biburl       = {https://dblp.org/rec/conf/fcc/SsinCUC14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/Sharma14,
  author       = {Asankhaya Sharma},
  editor       = {Pankaj Jalote and
                  Lionel C. Briand and
                  Andr{\'{e}} van der Hoek},
  title        = {Exploiting undefined behaviors for efficient symbolic execution},
  booktitle    = {36th International Conference on Software Engineering, {ICSE} '14,
                  Companion Proceedings, Hyderabad, India, May 31 - June 07, 2014},
  pages        = {727--729},
  publisher    = {{ACM}},
  year         = {2014},
  url          = {https://doi.org/10.1145/2591062.2594450},
  doi          = {10.1145/2591062.2594450},
  timestamp    = {Sun, 02 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icse/Sharma14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ro-man/StadlerWT14,
  author       = {Susanne Stadler and
                  Astrid Weiss and
                  Manfred Tscheligi},
  title        = {I Trained this robot: The impact of pre-experience and execution behavior
                  on robot teachers},
  booktitle    = {The 23rd {IEEE} International Symposium on Robot and Human Interactive
                  Communication, {IEEE} {RO-MAN} 2014, Edinburgh, UK, August 25-29,
                  2014},
  pages        = {1030--1036},
  publisher    = {{IEEE}},
  year         = {2014},
  url          = {https://doi.org/10.1109/ROMAN.2014.6926388},
  doi          = {10.1109/ROMAN.2014.6926388},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ro-man/StadlerWT14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ieicet/KasamaYIM13,
  author       = {Takahiro Kasama and
                  Katsunari Yoshioka and
                  Daisuke Inoue and
                  Tsutomu Matsumoto},
  title        = {Catching the Behavioral Differences between Multiple Executions for
                  Malware Detection},
  journal      = {{IEICE} Trans. Fundam. Electron. Commun. Comput. Sci.},
  volume       = {96-A},
  number       = {1},
  pages        = {225--232},
  year         = {2013},
  url          = {https://doi.org/10.1587/transfun.E96.A.225},
  doi          = {10.1587/TRANSFUN.E96.A.225},
  timestamp    = {Sat, 11 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ieicet/KasamaYIM13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icra/RamanPK13,
  author       = {Vasumathi Raman and
                  Nir Piterman and
                  Hadas Kress{-}Gazit},
  title        = {Provably correct continuous control for high-level robot behaviors
                  with actions of arbitrary execution durations},
  booktitle    = {2013 {IEEE} International Conference on Robotics and Automation, Karlsruhe,
                  Germany, May 6-10, 2013},
  pages        = {4075--4081},
  publisher    = {{IEEE}},
  year         = {2013},
  url          = {https://doi.org/10.1109/ICRA.2013.6631152},
  doi          = {10.1109/ICRA.2013.6631152},
  timestamp    = {Wed, 16 Oct 2019 14:14:51 +0200},
  biburl       = {https://dblp.org/rec/conf/icra/RamanPK13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icuimc/IsmailSMNK13,
  author       = {Roslan Ismail and
                  Toqeer Ali Syed and
                  Shahrulniza Musa and
                  Mohammad Nauman and
                  Sohail Khan},
  title        = {Realization of dynamic behavior using remotely verifiable n-call slides
                  in Unix process execution trace},
  booktitle    = {The 7th International Conference on Ubiquitous Information Management
                  and Communication, {ICUIMC} '13, Kota Kinabalu, Malaysia - January
                  17 - 19, 2013},
  pages        = {18},
  publisher    = {{ACM}},
  year         = {2013},
  url          = {https://doi.org/10.1145/2448556.2448574},
  doi          = {10.1145/2448556.2448574},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icuimc/IsmailSMNK13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ki/RauchBKK13,
  author       = {Christian Rauch and
                  Elmar Bergh{\"{o}}fer and
                  Tim K{\"{o}}hler and
                  Frank Kirchner},
  editor       = {Ingo J. Timm and
                  Matthias Thimm},
  title        = {Comparison of Sensor-Feedback Prediction Methods for Robust Behavior
                  Execution},
  booktitle    = {{KI} 2013: Advances in Artificial Intelligence - 36th Annual German
                  Conference on AI, Koblenz, Germany, September 16-20, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8077},
  pages        = {200--211},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-40942-4\_18},
  doi          = {10.1007/978-3-642-40942-4\_18},
  timestamp    = {Fri, 01 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ki/RauchBKK13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/milcom/CatheyFW13,
  author       = {Rebecca Cathey and
                  Gregory Frazier and
                  Michael Weber},
  editor       = {Joe Senftle and
                  Mike Beltrani and
                  Kari Karwedsky},
  title        = {Behavior Analysis via Execution Path Clusters},
  booktitle    = {32th {IEEE} Military Communications Conference, {MILCOM} 2013, San
                  Diego, CA, USA, November 18-20, 2013},
  pages        = {974--979},
  publisher    = {{IEEE}},
  year         = {2013},
  url          = {https://doi.org/10.1109/MILCOM.2013.169},
  doi          = {10.1109/MILCOM.2013.169},
  timestamp    = {Wed, 16 Oct 2019 14:14:52 +0200},
  biburl       = {https://dblp.org/rec/conf/milcom/CatheyFW13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/milcom/LouwKTCFW13,
  author       = {Mike Ter Louw and
                  Marc Krull and
                  Tavaris Thomas and
                  Rebecca Cathey and
                  Gregory Frazier and
                  Mike Weber},
  editor       = {Joe Senftle and
                  Mike Beltrani and
                  Kari Karwedsky},
  title        = {Automated Execution Control and Dynamic Behavior Monitoring for Android
                  {(TM)} Applications},
  booktitle    = {32th {IEEE} Military Communications Conference, {MILCOM} 2013, San
                  Diego, CA, USA, November 18-20, 2013},
  pages        = {968--973},
  publisher    = {{IEEE}},
  year         = {2013},
  url          = {https://doi.org/10.1109/MILCOM.2013.168},
  doi          = {10.1109/MILCOM.2013.168},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/milcom/LouwKTCFW13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ram/JayawardenaKM13,
  author       = {Chandimal Jayawardena and
                  I{-}Han Kuo and
                  Bruce A. MacDonald},
  title        = {An efficient programming framework for socially assistive robots based
                  on separation of robot behavior description from execution},
  booktitle    = {{IEEE} 6th International Conference on Robotics, Automation and Mechatronics,
                  {RAM} 2013, Manila, Philippines, November 12-15, 2013},
  pages        = {150--155},
  publisher    = {{IEEE}},
  year         = {2013},
  url          = {https://doi.org/10.1109/RAM.2013.6758575},
  doi          = {10.1109/RAM.2013.6758575},
  timestamp    = {Fri, 07 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ram/JayawardenaKM13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vissoft/PalepuJ13,
  author       = {Vijay Krishna Palepu and
                  James A. Jones},
  editor       = {Alexandru C. Telea and
                  Andreas Kerren and
                  Andrian Marcus},
  title        = {Visualizing constituent behaviors within executions},
  booktitle    = {2013 First {IEEE} Working Conference on Software Visualization (VISSOFT),
                  Eindhoven, The Netherlands, September 27-28, 2013},
  pages        = {1--4},
  publisher    = {{IEEE} Computer Society},
  year         = {2013},
  url          = {https://doi.org/10.1109/VISSOFT.2013.6650537},
  doi          = {10.1109/VISSOFT.2013.6650537},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/vissoft/PalepuJ13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ieicet/NodaKYSA12,
  author       = {Kunihiro Noda and
                  Takashi Kobayashi and
                  Shinichiro Yamamoto and
                  Motoshi Saeki and
                  Kiyoshi Agusa},
  title        = {Reticella: An Execution Trace Slicing and Visualization Tool Based
                  on a Behavior Model},
  journal      = {{IEICE} Trans. Inf. Syst.},
  volume       = {95-D},
  number       = {4},
  pages        = {959--969},
  year         = {2012},
  url          = {https://doi.org/10.1587/transinf.E95.D.959},
  doi          = {10.1587/TRANSINF.E95.D.959},
  timestamp    = {Tue, 18 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ieicet/NodaKYSA12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jss/KimMWL12,
  author       = {Soon{-}Kyeong Kim and
                  Toby Myers and
                  Marc{-}Florian Wendland and
                  Peter A. Lindsay},
  title        = {Execution of natural language requirements using State Machines synthesised
                  from Behavior Trees},
  journal      = {J. Syst. Softw.},
  volume       = {85},
  number       = {11},
  pages        = {2652--2664},
  year         = {2012},
  url          = {https://doi.org/10.1016/j.jss.2012.06.013},
  doi          = {10.1016/J.JSS.2012.06.013},
  timestamp    = {Mon, 24 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jss/KimMWL12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiide/Ocio12,
  author       = {Sergio Ocio},
  editor       = {Mark O. Riedl and
                  Gita Sukthankar},
  title        = {Adapting {AI} Behaviors To Players in Driver San Francisco: Hinted-Execution
                  Behavior Trees},
  booktitle    = {Proceedings of the Eighth {AAAI} Conference on Artificial Intelligence
                  and Interactive Digital Entertainment, AIIDE-12, Stanford, California,
                  USA, October 8-12, 2012},
  publisher    = {The {AAAI} Press},
  year         = {2012},
  url          = {http://www.aaai.org/ocs/index.php/AIIDE/AIIDE12/paper/view/5445},
  timestamp    = {Tue, 12 Apr 2022 13:09:30 +0200},
  biburl       = {https://dblp.org/rec/conf/aiide/Ocio12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccsa/GregioAFGJS12,
  author       = {Andr{\'{e}} Ricardo Abed Gr{\'{e}}gio and
                  Vitor Monte Afonso and
                  Dario Sim{\~{o}}es Fernandes Filho and
                  Paulo L{\'{\i}}cio de Geus and
                  M{\'{a}}rio Jino and
                  Rafael Duarte Coelho dos Santos},
  editor       = {Beniamino Murgante and
                  Osvaldo Gervasi and
                  Sanjay Misra and
                  Nadia Nedjah and
                  Ana Maria A. C. Rocha and
                  David Taniar and
                  Bernady O. Apduhan},
  title        = {Pinpointing Malicious Activities through Network and System-Level
                  Malware Execution Behavior},
  booktitle    = {Computational Science and Its Applications - {ICCSA} 2012 - 12th International
                  Conference, Salvador de Bahia, Brazil, June 18-21, 2012, Proceedings,
                  Part {IV}},
  series       = {Lecture Notes in Computer Science},
  volume       = {7336},
  pages        = {274--285},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-31128-4\_20},
  doi          = {10.1007/978-3-642-31128-4\_20},
  timestamp    = {Mon, 08 Jan 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iccsa/GregioAFGJS12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/saint/KasamaYIM12,
  author       = {Takahiro Kasama and
                  Katsunari Yoshioka and
                  Daisuke Inoue and
                  Tsutomu Matsumoto},
  title        = {Malware Detection Method by Catching Their Random Behavior in Multiple
                  Executions},
  booktitle    = {12th {IEEE/IPSJ} International Symposium on Applications and the Internet,
                  {SAINT} 2012, Izmir, Turkey, July 16-20, 2012},
  pages        = {262--266},
  publisher    = {{IEEE} Computer Society},
  year         = {2012},
  url          = {https://doi.org/10.1109/SAINT.2012.49},
  doi          = {10.1109/SAINT.2012.49},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/saint/KasamaYIM12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/basesearch/Huang11e,
  author       = {Shu Huang},
  title        = {Task Learning and Execution for Behavior-Based Mobile Manipulation
                  (Taken leren en uitvoeren voor gedragsgebaseerde mobiele manipulatie)},
  school       = {Katholieke Universiteit Leuven, Belgium},
  year         = {2011},
  url          = {https://lirias.kuleuven.be/handle/123456789/310115},
  timestamp    = {Tue, 18 Apr 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/phd/basesearch/Huang11e.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/hal/ElHajjChehade11,
  author       = {Wassim El Hajj Chehade},
  title        = {D{\'{e}}ploiement multiplateforme d'applications multit{\^{a}}che
                  par la mod{\'{e}}lisation. (Contribution to multiplatform deployement
                  of muttitasking applications by high-Level execution services behavioral
                  modeling)},
  school       = {University of Paris-Sud, Orsay, France},
  year         = {2011},
  url          = {https://tel.archives-ouvertes.fr/tel-00671383},
  timestamp    = {Tue, 21 Jul 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/phd/hal/ElHajjChehade11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jocn/KamigakiFM11,
  author       = {Tsukasa Kamigaki and
                  Tetsuya Fukushima and
                  Yasushi Miyashita},
  title        = {Neuronal Signal Dynamics during Preparation and Execution for Behavioral
                  Shifting in Macaque Posterior Parietal Cortex},
  journal      = {J. Cogn. Neurosci.},
  volume       = {23},
  number       = {9},
  pages        = {2503--2520},
  year         = {2011},
  url          = {https://doi.org/10.1162/jocn.2011.21613},
  doi          = {10.1162/JOCN.2011.21613},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jocn/KamigakiFM11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiccsa/MartinsenG11,
  author       = {Jan Kasper Martinsen and
                  H{\aa}kan Grahn},
  editor       = {Howard Jay Siegel and
                  Amr El{-}Kadi},
  title        = {A methodology for evaluating JavaScript execution behavior in interactive
                  web applications},
  booktitle    = {The 9th {IEEE/ACS} International Conference on Computer Systems and
                  Applications, {AICCSA} 2011, Sharm El-Sheikh, Egypt, December 27-30,
                  2011},
  pages        = {241--248},
  publisher    = {{IEEE} Computer Society},
  year         = {2011},
  url          = {https://doi.org/10.1109/AICCSA.2011.6126611},
  doi          = {10.1109/AICCSA.2011.6126611},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/aiccsa/MartinsenG11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eoolt/MyersSF11,
  author       = {Toby Myers and
                  Wladimir Schamai and
                  Peter Fritzson},
  editor       = {Fran{\c{c}}ois E. Cellier and
                  David Broman and
                  Peter Fritzson and
                  Edward A. Lee},
  title        = {Comodeling Revisited: Execution of Behavior Trees in Modelica},
  booktitle    = {Proceedings of the 4th International Workshop on Equation-Based Object-Oriented
                  Modeling Languages and Tools, {EOOLT} 2011, Zurich, Switzerland, September
                  5, 2011},
  series       = {Link{\"{o}}ping Electronic Conference Proceedings},
  volume       = {56},
  pages        = {97--106},
  publisher    = {Link{\"{o}}ping University Electronic Press},
  year         = {2011},
  url          = {http://www.ep.liu.se/ecp/article.asp?issue=056\&article=011\&volume=},
  timestamp    = {Thu, 10 Oct 2019 13:06:30 +0200},
  biburl       = {https://dblp.org/rec/conf/eoolt/MyersSF11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icwe/MartinsenGI11,
  author       = {Jan Kasper Martinsen and
                  H{\aa}kan Grahn and
                  Anders Isberg},
  editor       = {S{\"{o}}ren Auer and
                  Oscar D{\'{\i}}az and
                  George A. Papadopoulos},
  title        = {A Comparative Evaluation of JavaScript Execution Behavior},
  booktitle    = {Web Engineering - 11th International Conference, {ICWE} 2011, Paphos,
                  Cyprus, June 20-24, 2011},
  series       = {Lecture Notes in Computer Science},
  volume       = {6757},
  pages        = {399--402},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-22233-7\_35},
  doi          = {10.1007/978-3-642-22233-7\_35},
  timestamp    = {Tue, 14 May 2019 10:00:53 +0200},
  biburl       = {https://dblp.org/rec/conf/icwe/MartinsenGI11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/paste/Detten11,
  author       = {Markus von Detten},
  editor       = {Jeff Foster and
                  Lori L. Pollock},
  title        = {Towards systematic, comprehensive trace generation for behavioral
                  pattern detection through symbolic execution},
  booktitle    = {Proceedings of the 10th {ACM} {SIGPLAN-SIGSOFT} workshop on Program
                  analysis for software tools, PASTE'11, Szeged, Hungary, September
                  5-9, 2011},
  pages        = {17--20},
  publisher    = {{ACM}},
  year         = {2011},
  url          = {https://doi.org/10.1145/2024569.2024573},
  doi          = {10.1145/2024569.2024573},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/paste/Detten11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/GladSBC10,
  author       = {Arnaud Glad and
                  Olivier Simonin and
                  Olivier Buffet and
                  Fran{\c{c}}ois Charpillet},
  editor       = {Wiebe van der Hoek and
                  Gal A. Kaminka and
                  Yves Lesp{\'{e}}rance and
                  Michael Luck and
                  Sandip Sen},
  title        = {Influence of different execution models on patrolling ant behaviors:
                  from agents to robots},
  booktitle    = {9th International Conference on Autonomous Agents and Multiagent Systems
                  {(AAMAS} 2010), Toronto, Canada, May 10-14, 2010, Volume 1-3},
  pages        = {1173--1180},
  publisher    = {{IFAAMAS}},
  year         = {2010},
  url          = {https://dl.acm.org/citation.cfm?id=1838190},
  timestamp    = {Fri, 30 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/atal/GladSBC10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/KrkaBPGM10,
  author       = {Ivo Krka and
                  Yuriy Brun and
                  Daniel Popescu and
                  Joshua Garcia and
                  Nenad Medvidovic},
  editor       = {Jeff Kramer and
                  Judith Bishop and
                  Premkumar T. Devanbu and
                  Sebasti{\'{a}}n Uchitel},
  title        = {Using dynamic execution traces and program invariants to enhance behavioral
                  model inference},
  booktitle    = {Proceedings of the 32nd {ACM/IEEE} International Conference on Software
                  Engineering - Volume 2, {ICSE} 2010, Cape Town, South Africa, 1-8
                  May 2010},
  pages        = {179--182},
  publisher    = {{ACM}},
  year         = {2010},
  url          = {https://doi.org/10.1145/1810295.1810324},
  doi          = {10.1145/1810295.1810324},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icse/KrkaBPGM10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/PrahoferSW10,
  author       = {Herbert Pr{\"{a}}hofer and
                  Roland Schatz and
                  Christian Wirth},
  editor       = {Jonathan Cook and
                  James A. Jones},
  title        = {Detection of high-level execution patterns in reactive behavior of
                  control programs},
  booktitle    = {Proceedings of the International Workshop on Dynamic Analysis: held
                  in conjunction with the {ACM} {SIGSOFT} International Symposium on
                  Software Testing and Analysis {(ISSTA} 2010), {WODA} 2010, Trento,
                  Italy, July 12, 2010},
  pages        = {14--19},
  publisher    = {{ACM}},
  year         = {2010},
  url          = {https://doi.org/10.1145/1868321.1868324},
  doi          = {10.1145/1868321.1868324},
  timestamp    = {Wed, 28 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issta/PrahoferSW10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iva/SansonnetB10,
  author       = {Jean{-}Paul Sansonnet and
                  Fran{\c{c}}ois Bouchet},
  editor       = {Jan M. Allbeck and
                  Norman I. Badler and
                  Timothy W. Bickmore and
                  Catherine Pelachaud and
                  Alla Safonova},
  title        = {Expression of Behaviors in Assistant Agents as Influences on Rational
                  Execution of Plans},
  booktitle    = {Intelligent Virtual Agents, 10th International Conference, {IVA} 2010,
                  Philadelphia, PA, USA, September 20-22, 2010. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6356},
  pages        = {413--419},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-15892-6\_45},
  doi          = {10.1007/978-3-642-15892-6\_45},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/iva/SansonnetB10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sle/BandenerSE10,
  author       = {Nils Bandener and
                  Christian Soltenborn and
                  Gregor Engels},
  editor       = {Brian A. Malloy and
                  Steffen Staab and
                  Mark van den Brand},
  title        = {Extending {DMM} Behavior Specifications for Visual Execution and Debugging},
  booktitle    = {Software Language Engineering - Third International Conference, {SLE}
                  2010, Eindhoven, The Netherlands, October 12-13, 2010, Revised Selected
                  Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {6563},
  pages        = {357--376},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-19440-5\_24},
  doi          = {10.1007/978-3-642-19440-5\_24},
  timestamp    = {Fri, 27 Dec 2019 21:19:31 +0100},
  biburl       = {https://dblp.org/rec/conf/sle/BandenerSE10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/raid/XuanCB09,
  author       = {Chaoting Xuan and
                  John A. Copeland and
                  Raheem A. Beyah},
  editor       = {Engin Kirda and
                  Somesh Jha and
                  Davide Balzarotti},
  title        = {Toward Revealing Kernel Malware Behavior in Virtual Execution Environments},
  booktitle    = {Recent Advances in Intrusion Detection, 12th International Symposium,
                  {RAID} 2009, Saint-Malo, France, September 23-25, 2009. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5758},
  pages        = {304--325},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-04342-0\_16},
  doi          = {10.1007/978-3-642-04342-0\_16},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/raid/XuanCB09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ssiri/ZhaoZHW09,
  author       = {Chunying Zhao and
                  Kang Zhang and
                  Jie Hao and
                  W. Eric Wong},
  title        = {Visualizing Multiple Program Executions to Assist Behavior Verification},
  booktitle    = {Third {IEEE} International Conference on Secure Software Integration
                  and Reliability Improvement, {SSIRI} 2009, Shanghai, China, July 8-10,
                  2009},
  pages        = {113--122},
  publisher    = {{IEEE} Computer Society},
  year         = {2009},
  url          = {https://doi.org/10.1109/SSIRI.2009.26},
  doi          = {10.1109/SSIRI.2009.26},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ssiri/ZhaoZHW09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ieicet/TchernykhE08,
  author       = {Andrei Tchernykh and
                  Klaus Ecker},
  title        = {Worst Case Behavior of List Algorithms for Dynamic Scheduling of Non-unit
                  Execution Time Tasks with Arbitrary Precedence Constrains},
  journal      = {{IEICE} Trans. Fundam. Electron. Commun. Comput. Sci.},
  volume       = {91-A},
  number       = {8},
  pages        = {2277--2280},
  year         = {2008},
  url          = {https://doi.org/10.1093/ietfec/e91-a.8.2277},
  doi          = {10.1093/IETFEC/E91-A.8.2277},
  timestamp    = {Sat, 11 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ieicet/TchernykhE08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icann/MirelesN08,
  author       = {V{\'{\i}}ctor Mireles and
                  Antonio Neme},
  editor       = {Vera Kurkov{\'{a}} and
                  Roman Neruda and
                  Jan Koutn{\'{\i}}k},
  title        = {Analyzing the Behavior of the {SOM} through Wavelet Decomposition
                  of Time Series Generated during Its Execution},
  booktitle    = {Artificial Neural Networks - {ICANN} 2008 , 18th International Conference,
                  Prague, Czech Republic, September 3-6, 2008, Proceedings, Part {I}},
  series       = {Lecture Notes in Computer Science},
  volume       = {5163},
  pages        = {662--670},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-87536-9\_68},
  doi          = {10.1007/978-3-540-87536-9\_68},
  timestamp    = {Tue, 14 May 2019 10:00:49 +0200},
  biburl       = {https://dblp.org/rec/conf/icann/MirelesN08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictai/ZhaoAKZ08,
  author       = {Chunying Zhao and
                  Keven Ates and
                  Jun Kong and
                  Kang Zhang},
  title        = {Discovering Program's Behavioral Patterns by Inferring Graph-Grammars
                  from Execution Traces},
  booktitle    = {20th {IEEE} International Conference on Tools with Artificial Intelligence
                  {(ICTAI} 2008), November 3-5, 2008, Dayton, Ohio, USA, Volume 2},
  pages        = {395--402},
  publisher    = {{IEEE} Computer Society},
  year         = {2008},
  url          = {https://doi.org/10.1109/ICTAI.2008.68},
  doi          = {10.1109/ICTAI.2008.68},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ictai/ZhaoAKZ08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tsmc/PetterssonKS07,
  author       = {Ola Pettersson and
                  Lars Karlsson and
                  Alessandro Saffiotti},
  title        = {Model-Free Execution Monitoring in Behavior-Based Robotics},
  journal      = {{IEEE} Trans. Syst. Man Cybern. Part {B}},
  volume       = {37},
  number       = {4},
  pages        = {890--901},
  year         = {2007},
  url          = {https://doi.org/10.1109/TSMCB.2007.895359},
  doi          = {10.1109/TSMCB.2007.895359},
  timestamp    = {Mon, 18 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tsmc/PetterssonKS07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/formats/KimSTDV07,
  author       = {Minyoung Kim and
                  Mark{-}Oliver Stehr and
                  Carolyn L. Talcott and
                  Nikil D. Dutt and
                  Nalini Venkatasubramanian},
  editor       = {Jean{-}Fran{\c{c}}ois Raskin and
                  P. S. Thiagarajan},
  title        = {Combining Formal Verification with Observed System Execution Behavior
                  to Tune System Parameters},
  booktitle    = {Formal Modeling and Analysis of Timed Systems, 5th International Conference,
                  {FORMATS} 2007, Salzburg, Austria, October 3-5, 2007, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4763},
  pages        = {257--273},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-75454-1\_19},
  doi          = {10.1007/978-3-540-75454-1\_19},
  timestamp    = {Tue, 29 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/formats/KimSTDV07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsoc/KhalafKL07a,
  author       = {Rania Khalaf and
                  Dimka Karastoyanova and
                  Frank Leymann},
  editor       = {Elisabetta Di Nitto and
                  Matei Ripeanu},
  title        = {Pluggable Framework for Enabling the Execution of Extended {BPEL}
                  Behavior},
  booktitle    = {Service-Oriented Computing - {ICSOC} 2007 Workshops, International
                  Workshops, Vienna, Austria, September 17, 2007, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {4907},
  pages        = {376--387},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-93851-4\_37},
  doi          = {10.1007/978-3-540-93851-4\_37},
  timestamp    = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icsoc/KhalafKL07a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/HarelSESC08,
  author       = {David Harel and
                  Yaki Setty and
                  Sol Efroni and
                  Naamah Swerdlin and
                  Irun R. Cohen},
  editor       = {Nicola Cannata and
                  Emanuela Merelli},
  title        = {Concurrency in Biological Modeling: Behavior, Execution and Visualization},
  booktitle    = {Proceedings of the First Workshop "From Biology To Concurrency and
                  back", FBTC@CONCUR 2007, Lisbon, Portugal, September 8, 2007},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {194},
  number       = {3},
  pages        = {119--131},
  publisher    = {Elsevier},
  year         = {2007},
  url          = {https://doi.org/10.1016/j.entcs.2007.12.009},
  doi          = {10.1016/J.ENTCS.2007.12.009},
  timestamp    = {Thu, 09 Feb 2023 10:12:34 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/HarelSESC08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0703021,
  author       = {Wen{-}Li Wang and
                  Mei{-}Huei Tang},
  title        = {Addressing Components' Evolvement and Execution Behavior to Measure
                  Component-Based Software Reliability},
  journal      = {CoRR},
  volume       = {abs/cs/0703021},
  year         = {2007},
  url          = {http://arxiv.org/abs/cs/0703021},
  eprinttype    = {arXiv},
  eprint       = {cs/0703021},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-cs-0703021.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/candc/McCollumPCSS06,
  author       = {James M. McCollum and
                  Gregory D. Peterson and
                  Chris D. Cox and
                  Michael L. Simpson and
                  Nagiza F. Samatova},
  title        = {The sorting direct method for stochastic simulation of biochemical
                  systems with varying reaction execution behavior},
  journal      = {Comput. Biol. Chem.},
  volume       = {30},
  number       = {1},
  pages        = {39--49},
  year         = {2006},
  url          = {https://doi.org/10.1016/j.compbiolchem.2005.10.007},
  doi          = {10.1016/J.COMPBIOLCHEM.2005.10.007},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/candc/McCollumPCSS06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ACMace/SehabaE06,
  author       = {Karim Sehaba and
                  Pascal Estraillier},
  editor       = {Hiroshi Ishii and
                  Newton Lee and
                  St{\'{e}}phane Natkin and
                  Katsuhide Tsushima},
  title        = {Game execution control by analysis of player's behavior},
  booktitle    = {Proceedings of the International Conference on Advances in Computer
                  Entertainment Technology, {ACE} 2006, Hollywood, California, USA,
                  June 14-16, 2006},
  pages        = {19},
  publisher    = {{ACM}},
  year         = {2006},
  url          = {https://doi.org/10.1145/1178823.1178846},
  doi          = {10.1145/1178823.1178846},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ACMace/SehabaE06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aips/InfantesIG06,
  author       = {Guillaume Infantes and
                  F{\'{e}}lix Ingrand and
                  Malik Ghallab},
  editor       = {Derek Long and
                  Stephen F. Smith and
                  Daniel Borrajo and
                  Lee McCluskey},
  title        = {Learning Behaviors Models for Robot Execution Control},
  booktitle    = {Proceedings of the Sixteenth International Conference on Automated
                  Planning and Scheduling, {ICAPS} 2006, Cumbria, UK, June 6-10, 2006},
  pages        = {394--397},
  publisher    = {{AAAI}},
  year         = {2006},
  url          = {http://www.aaai.org/Library/ICAPS/2006/icaps06-049.php},
  timestamp    = {Fri, 05 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/aips/InfantesIG06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/InfantesIG06,
  author       = {Guillaume Infantes and
                  F{\'{e}}lix Ingrand and
                  Malik Ghallab},
  editor       = {Gerhard Brewka and
                  Silvia Coradeschi and
                  Anna Perini and
                  Paolo Traverso},
  title        = {Learning Behaviors Models for Robot Execution Control},
  booktitle    = {{ECAI} 2006, 17th European Conference on Artificial Intelligence,
                  August 29 - September 1, 2006, Riva del Garda, Italy, Including Prestigious
                  Applications of Intelligent Systems {(PAIS} 2006), Proceedings},
  series       = {Frontiers in Artificial Intelligence and Applications},
  volume       = {141},
  pages        = {678--682},
  publisher    = {{IOS} Press},
  year         = {2006},
  timestamp    = {Thu, 12 Feb 2009 12:51:20 +0100},
  biburl       = {https://dblp.org/rec/conf/ecai/InfantesIG06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csmr/Hamou-LhadjBAL05,
  author       = {Abdelwahab Hamou{-}Lhadj and
                  Edna Braun and
                  Daniel Amyot and
                  Timothy Lethbridge},
  title        = {Recovering Behavioral Design Models from Execution Traces},
  booktitle    = {9th European Conference on Software Maintenance and Reengineering
                  {(CSMR} 2005), 21-23 March 2005, Manchester, UK, Proceedings},
  pages        = {112--121},
  publisher    = {{IEEE} Computer Society},
  year         = {2005},
  url          = {https://doi.org/10.1109/CSMR.2005.46},
  doi          = {10.1109/CSMR.2005.46},
  timestamp    = {Mon, 26 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/csmr/Hamou-LhadjBAL05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/padl/WangRYC04,
  author       = {Tao Wang and
                  Abhik Roychoudhury and
                  Roland H. C. Yap and
                  S. C. Choudhary},
  editor       = {Bharat Jayaraman},
  title        = {Symbolic Execution of Behavioral Requirements},
  booktitle    = {Practical Aspects of Declarative Languages, 6th International Symposium,
                  {PADL} 2004, Dallas, TX, USA, June 18-19, 2004, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3057},
  pages        = {178--192},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/978-3-540-24836-1\_13},
  doi          = {10.1007/978-3-540-24836-1\_13},
  timestamp    = {Tue, 14 May 2019 10:00:42 +0200},
  biburl       = {https://dblp.org/rec/conf/padl/WangRYC04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sbac-pad/PetitSPK04,
  author       = {Salvador Petit and
                  Julio Sahuquillo and
                  Ana Pont and
                  David R. Kaeli},
  title        = {Characterizing the Dynamic Behavior of Workload Execution in {SVM}
                  systems},
  booktitle    = {16th Symposium on Computer Architecture and High Performance Computing
                  {(SBAC-PAD} 2004), 27-29 October 2004, Foz do Iguacu, Brazil},
  pages        = {230--237},
  publisher    = {{IEEE} Computer Society},
  year         = {2004},
  url          = {https://doi.org/10.1109/SBAC-PAD.2004.12},
  doi          = {10.1109/SBAC-PAD.2004.12},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sbac-pad/PetitSPK04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/es/Ballester03,
  author       = {Gabriel Recatal{\'{a}}},
  title        = {Visual determination, tracking and execution of 2D grasps using a
                  behavior-inspired approach},
  school       = {Jaume {I} University, Spain},
  year         = {2003},
  url          = {http://hdl.handle.net/10803/10371},
  timestamp    = {Tue, 06 Sep 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/phd/es/Ballester03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amcc/ChamberlainTWAB03,
  author       = {Lyle Chamberlain and
                  Japeck Tang and
                  Megha Watugalal and
                  Julie A. Adams and
                  Michael Babish},
  title        = {A behavioral architecture for strategy execution in the RoboFlag game},
  booktitle    = {American Control Conference, {ACC} 2003, Denver, CO, USA, June 4-6
                  2003},
  pages        = {672--677},
  publisher    = {{IEEE}},
  year         = {2003},
  url          = {https://doi.org/10.1109/ACC.2003.1239097},
  doi          = {10.1109/ACC.2003.1239097},
  timestamp    = {Mon, 06 Dec 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/amcc/ChamberlainTWAB03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ciit/SuranauwaratT02,
  author       = {Sukanya Suranauwarat and
                  Hideo Taniguchi},
  editor       = {M. H. Hamza},
  title        = {Improving a {WWW} Server's Response Time using Its Execution Behavior
                  Information in Resource Scheduling},
  booktitle    = {{IASTED} International Conference on Communications, Internet, and
                  Information Technology, November 18-20, 2002, St. Thomas, {US} Virgin
                  Islands, {USA}},
  pages        = {485--491},
  publisher    = {{IASTED/ACTA} Press},
  year         = {2002},
  timestamp    = {Thu, 05 Jul 2018 07:27:51 +0200},
  biburl       = {https://dblp.org/rec/conf/ciit/SuranauwaratT02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigsoft/Richardson00b,
  author       = {Debra J. Richardson},
  title        = {SoBelt: structural and behavioral execution instrumentation tool},
  journal      = {{ACM} {SIGSOFT} Softw. Eng. Notes},
  volume       = {25},
  number       = {1},
  pages        = {107},
  year         = {2000},
  url          = {https://doi.org/10.1145/340855.341138},
  doi          = {10.1145/340855.341138},
  timestamp    = {Thu, 17 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sigsoft/Richardson00b.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wcae/Manjikian00a,
  author       = {Naraig Manjikian},
  title        = {In-lecture hardware demonstrations with a logic analyzer to illustrate
                  pipelined execution and cache/memory behavior},
  booktitle    = {Proceedings of the 2000 workshop on Computer architecture education,
                  WCAE@ISCA 2000, Vancouver, BC, Canada, June 10, 2000},
  pages        = {15},
  publisher    = {{ACM}},
  year         = {2000},
  url          = {https://doi.org/10.1145/1275240.1275260},
  doi          = {10.1145/1275240.1275260},
  timestamp    = {Tue, 06 Nov 2018 16:57:55 +0100},
  biburl       = {https://dblp.org/rec/conf/wcae/Manjikian00a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aspdac/KountourisW99,
  author       = {Apostolos A. Kountouris and
                  Christophe Wolinski},
  title        = {Combining Speculative Execution and Conditional Resource Sharing to
                  Efficiently Schedule Conditional Behaviors},
  booktitle    = {Proceedings of the 1999 Conference on Asia South Pacific Design Automation,
                  Wanchai, Hong Kong, China, January 18-21, 1999},
  pages        = {343--346},
  publisher    = {{IEEE} Computer Society},
  year         = {1999},
  url          = {https://doi.org/10.1109/ASPDAC.1999.760029},
  doi          = {10.1109/ASPDAC.1999.760029},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/aspdac/KountourisW99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/workflow/Joeris99,
  author       = {Gregor Joeris},
  editor       = {Peter Dadam and
                  Manfred Reichert},
  title        = {Defining Flexible Workflow Execution Behaviors},
  booktitle    = {Workshop Informatik '99: Enterprise-wide and Cross-enterprise Workflow
                  Management: Concepts, Systems, Applications, Paderborn, Germany, October
                  6, 1999},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {24},
  pages        = {49--55},
  publisher    = {CEUR-WS.org},
  year         = {1999},
  url          = {https://ceur-ws.org/Vol-24/joe99.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:23:18 +0100},
  biburl       = {https://dblp.org/rec/conf/workflow/Joeris99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/simpra/RauberRS98,
  author       = {Thomas Rauber and
                  Gudula R{\"{u}}nger and
                  Carsten Scholtes},
  title        = {Execution behavior analysis and performance prediction for a shared-memory
                  implementation of an irregular particle simulation method},
  journal      = {Simul. Pract. Theory},
  volume       = {6},
  number       = {7},
  pages        = {665--687},
  year         = {1998},
  url          = {https://doi.org/10.1016/S0928-4869(98)00006-8},
  doi          = {10.1016/S0928-4869(98)00006-8},
  timestamp    = {Mon, 18 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/simpra/RauberRS98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/LakshminarayanaRJ98,
  author       = {Ganesh Lakshminarayana and
                  Anand Raghunathan and
                  Niraj K. Jha},
  editor       = {Basant R. Chawla and
                  Randal E. Bryant and
                  Jan M. Rabaey},
  title        = {Incorporating Speculative Execution into Scheduling of Control-Flow
                  Intensive Behavioral Descriptions},
  booktitle    = {Proceedings of the 35th Conference on Design Automation, Moscone center,
                  San Francico, California, USA, June 15-19, 1998},
  pages        = {108--113},
  publisher    = {{ACM} Press},
  year         = {1998},
  url          = {https://doi.org/10.1145/277044.277067},
  doi          = {10.1145/277044.277067},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/dac/LakshminarayanaRJ98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iscc/KholiefAENA98,
  author       = {Mohamed Kholief and
                  I. Awad and
                  Mohamed N. El{-}Derini and
                  M. Nagi and
                  H. Ali},
  title        = {Behavior of task scheduling algorithms with probabilistic module execution
                  times},
  booktitle    = {Proceedings of the Third {IEEE} Symposium on Computers and Communications
                  {(ISCC} 1998), June 30 - July 2, 1998, Athens, Greece},
  pages        = {647--651},
  publisher    = {{IEEE} Computer Society},
  year         = {1998},
  url          = {https://doi.org/10.1109/ISCC.1998.702616},
  doi          = {10.1109/ISCC.1998.702616},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iscc/KholiefAENA98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/us/Pierce95,
  author       = {James E. Pierce},
  title        = {Cache behavior in the presence of speculative execution: The benefits
                  of misprediction},
  school       = {University of Michigan, {USA}},
  year         = {1995},
  url          = {https://hdl.handle.net/2027.42/104533},
  timestamp    = {Fri, 12 Aug 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/phd/us/Pierce95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccd/AdamsMT95,
  author       = {Jay K. Adams and
                  John Alan Miller and
                  Donald E. Thomas},
  title        = {Execution-time profiling for multiple-process behavioral synthesis},
  booktitle    = {1995 International Conference on Computer Design {(ICCD} '95), {VLSI}
                  in Computers and Processors, October 2-4, 1995, Austin, TX, USA, Proceedings},
  pages        = {144--149},
  publisher    = {{IEEE} Computer Society},
  year         = {1995},
  url          = {https://doi.org/10.1109/ICCD.1995.528803},
  doi          = {10.1109/ICCD.1995.528803},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iccd/AdamsMT95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iros/WettergreenPB95,
  author       = {David Wettergreen and
                  Henning Pangels and
                  John Bares},
  title        = {Behavior-based gait execution for the Dante {II} walking robot},
  booktitle    = {Proceedings of {IEEE/RSJ} International Conference on Intelligent
                  Robots and Systems, {IROS} 1995, August 5 - 9, 1995, Pittsburgh, PA,
                  {USA}},
  pages        = {274--279},
  publisher    = {{IEEE} Computer Society},
  year         = {1995},
  url          = {https://doi.org/10.1109/IROS.1995.525895},
  doi          = {10.1109/IROS.1995.525895},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iros/WettergreenPB95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aips/LangleyIS94,
  author       = {Pat Langley and
                  Wayne Iba and
                  Jeff Shrager},
  editor       = {Kristian J. Hammond},
  title        = {Reactive and Automatic Behavior in Plan Execution},
  booktitle    = {Proceedings of the Second International Conference on Artificial Intelligence
                  Planning Systems, University of Chicago, Chicago, Illinois, USA, June
                  13-15, 1994},
  pages        = {299--304},
  publisher    = {{AAAI}},
  year         = {1994},
  url          = {http://www.aaai.org/Library/AIPS/1994/aips94-051.php},
  timestamp    = {Fri, 05 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/aips/LangleyIS94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spdp/ZhangHB93,
  author       = {Xiaodong Zhang and
                  Keqiang He and
                  G. Butchee},
  title        = {Execution Behavior Analysis and Performance Improvement in Shared-memory
                  Mutiprocessors},
  booktitle    = {Proceedings of the Fifth {IEEE} Symposium on Parallel and Distributed
                  Processing, {SPDP} 1993, Dallas, Texas, USA, December 2-5, 1993},
  pages        = {23--27},
  publisher    = {{IEEE} Computer Society},
  year         = {1993},
  url          = {https://doi.org/10.1109/SPDP.1993.395555},
  doi          = {10.1109/SPDP.1993.395555},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/spdp/ZhangHB93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fodo/HullTY89,
  author       = {Richard Hull and
                  Katsumi Tanaka and
                  Masatoshi Yoshikawa},
  editor       = {Witold Litwin and
                  Hans{-}J{\"{o}}rg Schek},
  title        = {Behavior Analysis of Object-Oriented Databases: Method Structure,
                  Execution Trees, and Reachability (Extended Abstract)},
  booktitle    = {Foundations of Data Organization and Algorithms, 3rd International
                  Conference, {FODO} 1989, Paris, France, June 21-23, 1989, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {367},
  pages        = {371--388},
  publisher    = {Springer},
  year         = {1989},
  url          = {https://doi.org/10.1007/3-540-51295-0\_143},
  doi          = {10.1007/3-540-51295-0\_143},
  timestamp    = {Tue, 14 May 2019 10:00:48 +0200},
  biburl       = {https://dblp.org/rec/conf/fodo/HullTY89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wsc/FujimotoC87,
  author       = {Richard M. Fujimoto and
                  William B. Campbell},
  editor       = {Arne Thesen and
                  Hank Grant and
                  W. David Kelton},
  title        = {Direct execution models of processor behavior and performance},
  booktitle    = {Proceedings of the 19th conference on Winter simulation, {WSC} 1987,
                  Atlanta, GA, USA, December 14-16, 1987},
  pages        = {751--758},
  publisher    = {{ACM}},
  year         = {1987},
  url          = {https://doi.org/10.1145/318371.318694},
  doi          = {10.1145/318371.318694},
  timestamp    = {Thu, 10 Jun 2021 22:20:08 +0200},
  biburl       = {https://dblp.org/rec/conf/wsc/FujimotoC87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computer/Browne84,
  author       = {James C. Browne},
  title        = {Understanding Execution Behavior of Software Systems},
  journal      = {Computer},
  volume       = {17},
  number       = {7},
  pages        = {83--87},
  year         = {1984},
  url          = {https://doi.org/10.1109/MC.1984.1659189},
  doi          = {10.1109/MC.1984.1659189},
  timestamp    = {Wed, 12 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/computer/Browne84.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/Oldehoeft83,
  author       = {R. R. Oldehoeft},
  title        = {Program Graphs and Execution Behavior},
  journal      = {{IEEE} Trans. Software Eng.},
  volume       = {9},
  number       = {1},
  pages        = {103--108},
  year         = {1983},
  url          = {https://doi.org/10.1109/TSE.1983.236300},
  doi          = {10.1109/TSE.1983.236300},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tse/Oldehoeft83.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rpr/CohenSB82,
  author       = {Donald Cohen and
                  William R. Swartout and
                  Robert Balzer},
  editor       = {Stephen L. Squires and
                  Martha A. Branstad and
                  Marvin V. Zelkowitz},
  title        = {Using symbolic execution to characterize behavior},
  booktitle    = {Proceedings of the workshop on Rapid Prototyping, Columbia, Maryland,
                  USA, April 19-21, 1982},
  pages        = {25--32},
  publisher    = {{ACM}},
  year         = {1982},
  url          = {https://doi.org/10.1145/1006259.1006263},
  doi          = {10.1145/1006259.1006263},
  timestamp    = {Sun, 06 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rpr/CohenSB82.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/Retuadhas79,
  author       = {C. Retuadhas},
  title        = {Execution time behavior of certain high level language constructs
                  on a feedback data flow architecture},
  booktitle    = {The {IEEE} Computer Society's Third International Computer Software
                  and Applications Conference, {COMPSAC} 1979, 6-8 November, 1979, Chicago,
                  Illinois, {USA}},
  pages        = {789--793},
  publisher    = {{IEEE}},
  year         = {1979},
  url          = {https://doi.org/10.1109/CMPSAC.1979.762602},
  doi          = {10.1109/CMPSAC.1979.762602},
  timestamp    = {Wed, 16 Oct 2019 14:14:53 +0200},
  biburl       = {https://dblp.org/rec/conf/compsac/Retuadhas79.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics