Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by George Ungureanu
A Layered Formal Framework for Modeling of Cyber-Physical Systems
Throughput Propagation in Constraint-Based Design Space Exploration for Mixed-Criticality Systems
Related publications
Formal Modeling of Cyber-Physical Systems: Lessons Learn From Refinement and Proof Based Methods
Lecture Notes in Networks and Systems
Control
Computer Networks
Signal Processing
Systems Engineering
Communications
A Formal Mathematical Framework for Modeling Probabilistic Hybrid Systems
Annals of Mathematics and Artificial Intelligence
Applied Mathematics
Artificial Intelligence
Resilience Enhancement in Cyber-Physical Systems: A Multiagent-Based Framework
C-Map: Framework for Multi-Agent Planning in Cyber Physical Systems
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Cyber-Physical Systems Design: Formal Foundations, Methods and Integrated Tool Chains
Cyber Physical Systems
Modeling and Evaluation of Cyber-Physical Systems in Civil Engineering
PAMM
A Formal Framework for Specifying Concurrent Systems
International Journal of Computer Applications
Orchestrated Platform for Cyber-Physical Systems
Complexity
Multidisciplinary
Computer Science
