↓ Skip to main content

Theoretical Aspects of Software Engineering

Overview of attention for book
Cover of 'Theoretical Aspects of Software Engineering'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 Practical Theory of Computation on Structures
  3. Altmetric Badge
    Chapter 2 Complexity of Distributed Petri Net Synthesis
  4. Altmetric Badge
    Chapter 3 Repairing Adversarial Texts Through Perturbation
  5. Altmetric Badge
    Chapter 4 Formal Verification of a Keystore
  6. Altmetric Badge
    Chapter 5 A Case Study in the Automated Translation of BSV Hardware to PVS Formal Logic with Subsequent Verification
  7. Altmetric Badge
    Chapter 6 Sound Static Analysis of Regular Expressions for Vulnerabilities to Denial of Service Attacks
  8. Altmetric Badge
    Chapter 7 On Verification of Smart Contracts via Model Checking
  9. Altmetric Badge
    Chapter 8 Equivalence of Denotational and Operational Semantics for Interaction Languages
  10. Altmetric Badge
    Chapter 9 Automatic Classification of Bug Reports Based on Multiple Text Information and Reports’ Intention
  11. Altmetric Badge
    Chapter 10 Collaborative Verification of Uninterpreted Programs
  12. Altmetric Badge
    Chapter 11 MSDetector: A Static PHP Webshell Detection System Based on Deep-Learning
  13. Altmetric Badge
    Chapter 12 Extending Process Algebra with an Undefined Action
  14. Altmetric Badge
    Chapter 13 Machine-Assisted Proofs for Institutions in Coq
  15. Altmetric Badge
    Chapter 14 Optimizing Trans-Compilers in Runtime Verification Makes Sense – Sometimes
  16. Altmetric Badge
    Chapter 15 Testing Vehicle-Mounted Systems: A Stepwise Symbolic Execution Approach for OSEK/VDX Programs
  17. Altmetric Badge
    Chapter 16 Dynamic Specification Mining Based on Transformer
  18. Altmetric Badge
    Chapter 17 Dynamic Environment Simulation for Database Performance Evaluation
  19. Altmetric Badge
    Chapter 18 Extending SysML with Refinement and Decomposition Mechanisms to Generate Event-B Specifications
  20. Altmetric Badge
    Chapter 19 Development of Monitoring Systems for Anomaly Detection Using ASTD Specifications
  21. Altmetric Badge
    Chapter 20 A Language-Based Causal Model for Safety
  22. Altmetric Badge
    Chapter 21 Consistency of Heterogeneously Typed Behavioural Models: A Coalgebraic Approach
  23. Altmetric Badge
    Chapter 22 Improving Adversarial Robustness of Deep Neural Networks via Linear Programming
  24. Altmetric Badge
    Chapter 23 AllSynth: Transiently Correct Network Update Synthesis Accounting for Operator Preferences
  25. Altmetric Badge
    Chapter 24 End-to-End Heat-Pump Control Using Continuous Time Stochastic Modelling and Uppaal Stratego
  26. Altmetric Badge
    Chapter 25 Security Vulnerabilities Detection Through Assertion-Based Approach
  27. Altmetric Badge
    Chapter 26 The Complexity of Evaluating Nfer
  28. Altmetric Badge
    Chapter 27 Supporting Algorithm Analysis with Symbolic Execution in Alk
Overall attention for this book and its chapters
Altmetric Badge

Mentioned by

twitter
8 X users

Citations

dimensions_citation
2 Dimensions
You are seeing a free-to-access but limited selection of the activity Altmetric has collected about this research output. Click here to find out more.
Title
Theoretical Aspects of Software Engineering
Published by
Springer International Publishing, July 2022
DOI 10.1007/978-3-031-10363-6
ISBNs
978-3-03-110362-9, 978-3-03-110363-6
Editors

Aït-Ameur, Yamine, Crăciun, Florin

X Demographics

X Demographics

The data shown below were collected from the profiles of 8 X users who shared this research output. Click here to find out more about how the information was compiled.