Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Science of Computer Programming, Volume 206

> Home > Journals > Science of Computer Programming

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Volume 206, June 2021

Special issue on Theoretical Aspect of Software Engineering (TASE 2019)

- view
  authority control:
- export record
  dblp key:
  - journals/scp/HeSSLHH21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/HeSSLHH21
Weigang He, Jianqi Shi, Ting Su, Zeyu Lu, Li Hao, Yanhong Huang:
Automated test generation for IEC 61131-3 ST programs via dynamic symbolic execution. 102608

Special issue of the FSEN 2019 International Conference on the Fundamentals of Software Engineering

- view
  authority control:
- export record
  dblp key:
  - journals/scp/BelznerW21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/BelznerW21
Lenz Belzner, Martin Wirsing:
Synthesizing safe policies under probabilistic constraints with reinforcement learning and Bayesian model checking. 102620

Special section on Selected Papers from Symposium on Dependable Software Engineering: Theories, Tools and Applications

- view
  authority control:
- export record
  dblp key:
  - journals/scp/LarsenSW21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/LarsenSW21
Kim G. Larsen, Oleg Sokolsky, Ji Wang:
Preface to the Special Issue on Dependable Software Engineering: Theories, Tools and Applications (SETTA 2017). 102622

Regular articles

- view
  authority control:
- export record
  dblp key:
  - journals/scp/KammullerK21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/KammullerK21
Florian Kammüller, Manfred Kerber:
Applying the Isabelle Insider framework to airplane security. 102623
- view
  authority control:
- export record
  dblp key:
  - journals/scp/GeDLZZ21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/GeDLZZ21
Ning Ge, Silvano Dal-Zilio, Hongyu Liu, Li Zhang, Lianyi Zhang:
RT-MOBS: A compositional observer semantics of time Petri net for real-time property specification language based on μ-calculus. 102624
- view
  authority control:
- export record
  dblp key:
  - journals/scp/HuZDZT21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/HuZDZT21
Kai Hu, Teng Zhang, Yi Ding, Jian Zhu, Jean-Pierre Talpin:
Verification of concurrent code from synchronous specifications. 102625

Special issue of the FSEN 2019 International Conference on the Fundamentals of Software Engineering

- view
  authority control:
- export record
  dblp key:
  - journals/scp/HojjatM21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/HojjatM21
Hossein Hojjat, Mieke Massink:
Fundamentals of Software Engineering (extended versions of selected papers of FSEN 2019). 102626

Special Issue: International Conference on Software Maintenance and Evolution (ICSME 2019)

- view
  authority control:
- export record
  dblp key:
  - journals/scp/Ravelo-MendezEL21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/Ravelo-MendezEL21
William Ravelo-Méndez, Camilo Escobar-Velásquez, Mario Linares-Vásquez:
Kraken: A framework for enabling multi-device interaction-based testing of Android apps. 102627
- view
  authority control:
- export record
  dblp key:
  - journals/scp/EdwardsJS21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/EdwardsJS21
Nystrom Edwards, Dhitiwat Jongsuebchoke, Tim Storer:
Sciit: Embedding issue tracking in source control management. 102628

Special issue on Formal Techniques for Safety-Critical Systems 2019

- view
  authority control:
- export record
  dblp key:
  - journals/scp/LYvonnetMMR21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/LYvonnetMMR21
Thibaud L'Yvonnet, Elisabetta De Maria, Sabine Moisan, Jean-Paul Rigault:
Probabilistic model checking for human activity recognition in medical serious games. 102629

Special Issue: International Conference on Software Maintenance and Evolution (ICSME 2019)

- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/scp/ShimariIKII21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/ShimariIKII21
Kazumasa Shimari, Takashi Ishio, Tetsuya Kanda, Naoto Ishida, Katsuro Inoue:
NOD4J: Near-omniscient debugging tool for Java using size-limited execution trace. 102630

Regular articles

- view
  authority control:
- export record
  dblp key:
  - journals/scp/ChondamrongkulS21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/ChondamrongkulS21
Nacha Chondamrongkul, Jing Sun, Ian Warren:
Formal security analysis for software architecture design: An expressive framework to emerging architectural styles. 102631

a service of

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.