37 results on '"Larsen, Peter A."'
Search Results
2. Uncertainty Quantification and Runtime Monitoring Using Environment-Aware Digital Twins
3. Introducing Regression Tests and Upgrades to the INTO-CPS Application
4. Engineering of Digital Twins for Cyber-Physical Systems
5. Towards Digital Twins for Knowledge-Driven Construction Progress and Predictive Safety Analysis on a Construction Site
6. Generation of Co-simulation Algorithms Subject to Simulator Contracts
7. Towards Reuse of Synchronization Algorithms in Co-simulation Frameworks
8. On the Design of a New Software Engineering Curriculum in Computer Engineering
9. Collaborative Modelling and Co-simulation in Engineering and Computing Curricula
10. Multi-modelling and Co-simulation in the Engineering of Cyber-Physical Systems: Towards the Digital Twin
11. Co-simulation: The Past, Future, and Open Challenges
12. Development of a Driverless Lawn Mower Using Co-simulation
13. A Non-unified View of Modelling, Specification and Programming
14. Towards the Verification of Hybrid Co-simulation Algorithms
15. Injecting Formal Verification in FMI-Based Co-simulations of Cyber-Physical Systems
16. Features of Integrated Model-Based Co-modelling and Co-simulation Technology
17. Demo: Stabilization Technique in INTO-CPS
18. Cyber-Physical Systems Engineering: An Introduction
19. From Software Specifications to Constraint Programming
20. Towards Semantically Integrated Models and Tools for Cyber-Physical Systems Design
21. Formalising and Validating the Interface Description in the FMI Standard
22. Contracts in CML
23. Collaborative Systems of Systems Need Collaborative Design
24. Combining VDM with Executable Code
25. A Deterministic Interpreter Simulating a Distributed Real Time System Using VDM
26. Proof Obligation Generation and Discharging for Recursive Definitions in VDM
27. Connecting UML and VDM++ with Open Tool Support
28. Using Gene Expression Modeling to Determine Biological Relevance of Putative Regulatory Networks
29. Modeling and Validating Distributed Embedded Real-Time Systems with VDM++
30. A Lightweight Approach to Formal Methods
31. The IFAD VDM Tools
32. PICGAL: Practical use of formal specification to develop a complex critical system
33. Combining VDM-SL specifications with C++ code
34. Demo : stabilization technique in INTO-CPS
35. Incorporating Knowledge of Topology Improves Reconstruction of Interaction Networks from Microarray Data
36. Balancing Insight and Effort: The Industrial Uptake of Formal Methods
37. Incorporating Literature Knowledge in Bayesian Network for Inferring Gene Networks with Gene Expression Data
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.