↓ Skip to main content

Software Technologies: Applications and Foundations

Overview of attention for book
Cover of 'Software Technologies: Applications and Foundations'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 Towards the Verification of Hybrid Co-simulation Algorithms
  3. Altmetric Badge
    Chapter 2 A Flexible Framework for FMI-Based Co-Simulation of Human-Centred Cyber-Physical Systems
  4. Altmetric Badge
    Chapter 3 Towards Stochastic FMI Co-Simulations: Implementation of an FMU for a Stochastic Activity Networks Simulator
  5. Altmetric Badge
    Chapter 4 Demo: Stabilization Technique in INTO-CPS
  6. Altmetric Badge
    Chapter 5 Demo: Co-simulation of UAVs with INTO-CPS and PVSio-web
  7. Altmetric Badge
    Chapter 6 Towards a Co-simulation Based Model Assessment Process for System Architecture
  8. Altmetric Badge
    Chapter 7 Co-simulation of Physical Model and Self-Adaptive Predictive Controller Using Hybrid Automata
  9. Altmetric Badge
    Chapter 8 Formalizing a Notion of Concentration Robustness for Biochemical Networks
  10. Altmetric Badge
    Chapter 9 Explaining Successful Docker Images Using Pattern Mining Analysis
  11. Altmetric Badge
    Chapter 10 Analyzing Privacy Risk in Human Mobility Data
  12. Altmetric Badge
    Chapter 11 Generating Synthetic Data for Real World Detection of DoS Attacks in the IoT
  13. Altmetric Badge
    Chapter 12 Annotated BPMN Models for Optimised Healthcare Resource Planning
  14. Altmetric Badge
    Chapter 13 Using Formal Methods to Validate Research Hypotheses: The Duolingo Case Study
  15. Altmetric Badge
    Chapter 14 Personality Gaze Patterns Unveiled via Automatic Relevance Determination
  16. Altmetric Badge
    Chapter 15 FormalMiner: A Formal Framework for Refinement Mining
  17. Altmetric Badge
    Chapter 16 Exploring Applications of Formal Methods in the INSPEX Project
  18. Altmetric Badge
    Chapter 17 Towards a Cognitive Architecture for the Formal Analysis of Human Behaviour and Learning
  19. Altmetric Badge
    Chapter 18 Towards Handling Latency in Interactive Software
  20. Altmetric Badge
    Chapter 19 Refinement Based Formal Development of Human-Machine Interface
  21. Altmetric Badge
    Chapter 20 Using Abstraction with Interaction Sequences for Interactive System Modelling
  22. Altmetric Badge
    Chapter 21 Formal Modelling as a Component of User Centred Design
  23. Altmetric Badge
    Chapter 22 Coordination of Complex Socio-Technical Systems: Challenges and Opportunities
  24. Altmetric Badge
    Chapter 23 Reo Coordination Model for Simulation of Quantum Internet Software
  25. Altmetric Badge
    Chapter 24 Computing the Parallelism Degree of Timed BPMN Processes
  26. Altmetric Badge
    Chapter 25 ReoLive: Analysing Connectors in Your Browser
  27. Altmetric Badge
    Chapter 26 Multi-agent Systems with Virtual Stigmergy
  28. Altmetric Badge
    Chapter 27 Towards a Hybrid Verification Approach
  29. Altmetric Badge
    Chapter 28 Using Reinforcement Learning to Handle the Runtime Uncertainties in Self-adaptive Software
  30. Altmetric Badge
    Chapter 29 Model Based Development of Data Integration in Graph Databases Using Triple Graph Grammars
  31. Altmetric Badge
    Chapter 30 Short-Cut Rules
  32. Altmetric Badge
    Chapter 31 Graph Repair by Graph Programs
  33. Altmetric Badge
    Chapter 32 Double-Pushout Rewriting in Context
  34. Altmetric Badge
    Chapter 33 From Hyperedge Replacement Grammars to Decidable Hyperedge Replacement Games
  35. Altmetric Badge
    Chapter 34 Verifying a Copying Garbage Collector in GP 2
  36. Altmetric Badge
    Chapter 35 From Modeling to Test Case Generation in the Industrial Embedded System Domain
  37. Altmetric Badge
    Chapter 36 Automated Consistency Preservation in Electronics Development of Cyber-Physical Systems
  38. Altmetric Badge
    Chapter 37 A System Modeling Approach to Enhance Functional and Software Development
  39. Altmetric Badge
    Chapter 38 Embedded UML Model Execution to Bridge the Gap Between Design and Runtime
  40. Altmetric Badge
    Chapter 39 Sketching a Model-Based Technique for Integrated Design and Run Time Description
  41. Altmetric Badge
    Chapter 40 Model-Driven Engineering for Design-Runtime Interaction in Complex Systems: Scientific Challenges and Roadmap
  42. Altmetric Badge
    Chapter 41 Design and Implementation of a Remote Care Application Based on Microservice Architecture
  43. Altmetric Badge
    Chapter 42 Ambient Intelligence Users in the Loop: Towards a Model-Driven Approach
  44. Altmetric Badge
    Chapter 43 Integrity Protection Against Insiders in Microservice-Based Infrastructures: From Threats to a Security Framework
  45. Altmetric Badge
    Chapter 44 The Aspect of Resilience in Microservices-Based Software Design
  46. Altmetric Badge
    Chapter 45 On Collaborative Model-Driven Development of Microservices
  47. Altmetric Badge
    Chapter 46 A UML Profile for Privacy Enforcement
  48. Altmetric Badge
    Chapter 47 Specification of Information Flow Security Policies in Model-Based Systems Engineering
  49. Altmetric Badge
    Chapter 48 Towards Scenario-Based Security Requirements Engineering for Cyber-Physical Systems
  50. Altmetric Badge
    Chapter 49 Towards Model-Based Communication Control for the Internet of Things
Attention for Chapter 1: Towards the Verification of Hybrid Co-simulation Algorithms
Altmetric Badge

Readers on

mendeley
12 Mendeley
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.
Chapter title
Towards the Verification of Hybrid Co-simulation Algorithms
Chapter number 1
Book title
Software Technologies: Applications and Foundations
Published by
Springer, Cham, June 2018
DOI 10.1007/978-3-030-04771-9_1
Book ISBNs
978-3-03-004770-2, 978-3-03-004771-9
Authors

Casper Thule, Cláudio Gomes, Julien Deantoni, Peter Gorm Larsen, Jörg Brauer, Hans Vangheluwe, Thule, Casper, Gomes, Cláudio, Deantoni, Julien, Larsen, Peter Gorm, Brauer, Jörg, Vangheluwe, Hans

Mendeley readers

Mendeley readers

The data shown below were compiled from readership statistics for 12 Mendeley readers of this research output. Click here to see the associated Mendeley record.

Geographical breakdown

Country Count As %
Unknown 12 100%

Demographic breakdown

Readers by professional status Count As %
Student > Ph. D. Student 5 42%
Researcher 3 25%
Unspecified 1 8%
Student > Bachelor 1 8%
Student > Doctoral Student 1 8%
Other 0 0%
Unknown 1 8%
Readers by discipline Count As %
Computer Science 5 42%
Engineering 3 25%
Medicine and Dentistry 1 8%
Unspecified 1 8%
Unknown 2 17%