4 citations · 11 across the 4 of their papers we have counts for
4 papers
PSTM Transaction Scheduler Verification Based on CSP and Testing
Miroslav Popovic, Marko Popovic, Branislav Kordic +1
Many online transaction scheduler architectures and algorithms for various software transactional memories have been designed in order to maintain good system performance even for…
Apricot - An Object-Oriented Modeling Language for Hybrid Systems
Huixing Fang, Huibiao Zhu, Jianqi Shi
We propose Apricot as an object-oriented language for modeling hybrid systems. The language combines the features in domain specific language and object-oriented language, that fil…
Modelling Chinese Smart Grid: A Stochastic Model Checking Case Study
Ender Yüksel, Hanne Riis Nielson, Flemming Nielson +2
Cyber-physical systems integrate information and communication technology functions to the physical elements of a system for monitoring and controlling purposes. The conversion of…
Formalising the Continuous/Discrete Modeling Step
Richard Banach, Huibiao Zhu, Wen Su +1
Formally capturing the transition from a continuous model to a discrete model is investigated using model based refinement techniques. A very simple model for stopping (eg. of a tr…