Add to ORKGWe present work in progress on, verified, transformation of a modeling language based on communicating concurrent state machines, SLCO, to Java. Some concurrency related challenges, related to atomicity and non-standard fairness issues, are pointed out. We discuss solutions based on Java synchronization concepts
Abstract—To effectively cope with correctness issues of concur-rent and timed systems, the use of fo...
synchronizers, timed automata, UPPAAL, Java. This paper describes the design and implementation of a...
In this paper we discuss a verification method for concurrent Java programs based on the concept of ...
We present work in progress on, verified, transformation of a modeling language based on communicati...
A challenging aspect of model-to-code transformations is to ensure that the semantic behavior of the...
A challenging aspect of model-to-code transformations is to ensure that the semantic behavior of the...
We present a framework for verifiable concurrent programming in Java based on a design pattern for c...
The ProB model checker provides tool support for an integrated formal specification approach, which ...
An important problem in Model Driven Engineering is maintaining the correctness of a specification u...
AbstractDevelopment of concurrent and time-dependent software systems is currently growing in its st...
Digital services are becoming an essential part of our daily lives. To provide these services, effic...
AbstractEvolving and refactoring concurrent Java software can be error-prone, resulting in race cond...
Abstract — The Java programming language supports con-currency. Concurrent programs are harder to ve...
Abstract—To effectively cope with correctness issues of concur-rent and timed systems, the use of fo...
synchronizers, timed automata, UPPAAL, Java. This paper describes the design and implementation of a...
In this paper we discuss a verification method for concurrent Java programs based on the concept of ...
We present work in progress on, verified, transformation of a modeling language based on communicati...
A challenging aspect of model-to-code transformations is to ensure that the semantic behavior of the...
A challenging aspect of model-to-code transformations is to ensure that the semantic behavior of the...
We present a framework for verifiable concurrent programming in Java based on a design pattern for c...
The ProB model checker provides tool support for an integrated formal specification approach, which ...
An important problem in Model Driven Engineering is maintaining the correctness of a specification u...
AbstractDevelopment of concurrent and time-dependent software systems is currently growing in its st...
Digital services are becoming an essential part of our daily lives. To provide these services, effic...
AbstractEvolving and refactoring concurrent Java software can be error-prone, resulting in race cond...
Abstract — The Java programming language supports con-currency. Concurrent programs are harder to ve...
Abstract—To effectively cope with correctness issues of concur-rent and timed systems, the use of fo...
synchronizers, timed automata, UPPAAL, Java. This paper describes the design and implementation of a...
In this paper we discuss a verification method for concurrent Java programs based on the concept of ...