期刊： SCIENCE OF COMPUTER PROGRAMMING, 2021; 206 ()
We define a new verification method, called RT-MOBS, for checking real-time requirements based on Time Petri nets (TPN). Our approach supports require......
期刊： SCIENCE OF COMPUTER PROGRAMMING, 2021; 207 ()
The growing trend to use multi-core processors to get more performance is increasingly present in safety-critical systems. Synchronous dataflow progra......
期刊： SCIENCE OF COMPUTER PROGRAMMING, 2021; 206 ()
The synchronous language SIGNAL is a formal specification formalism for developing safety-critical real-time systems. It is a multi-clocked data-flow ......
期刊： SCIENCE OF COMPUTER PROGRAMMING, 2021; 206 ()
Programmable logic controllers (PLCs) are essentially domain-specific computers that are widely used in the industrial field. These industrial devices......
期刊： SCIENCE OF COMPUTER PROGRAMMING, 2021; 210 ()
Reflective algorithms are algorithms that can modify their own behaviour. Recently a behavioural theory of reflective algorithms has been developed, w......
期刊： SCIENCE OF COMPUTER PROGRAMMING, 2021; 208 ()
A polymorphic subtyping relation, which relates more general types to more specific ones, is at the core of many modern functional languages. As those......
期刊： SCIENCE OF COMPUTER PROGRAMMING, 2021; 202 ()
The Clock Constraint Specification Language (CCSL) is a clock-based formalism for the specification and analysis of real-time embedded systems. The ma......
期刊： SCIENCE OF COMPUTER PROGRAMMING, 2021; 202 ()
To improve the efficiency, developers tend to use APIs to avoid reinventing wheels in the development of Apps. However, there are thousands of APIs fo......
期刊： SCIENCE OF COMPUTER PROGRAMMING, 2021; 203 ()
The Clock Constraint Specification Language (CCSL) is a clock-based specification language for real-time embedded systems. With logical clocks defined......
期刊： SCIENCE OF COMPUTER PROGRAMMING, 2021; 201 ()
Automatic event sequence generation tools are widely used for testing GUI applications. With these tools, developers can easily test the target GUI ap......
期刊： SCIENCE OF COMPUTER PROGRAMMING, 2020; 187 ()
Software-Defined Networking (SDN) is an emerging paradigm, providing separation of concerns between controllers that manage the network and switches t......
期刊： SCIENCE OF COMPUTER PROGRAMMING, 2020; 187 ()
The SPARCv8 instruction set architecture (ISA) has been widely used in various processors for workstations, embedded systems, and space missions. In o......
期刊： SCIENCE OF COMPUTER PROGRAMMING, 2020; 192 ()
In this paper we propose a new language Mediatorto formalize component-based concurrent and distributed system models. Mediator supports a two-step hi......
期刊： SCIENCE OF COMPUTER PROGRAMMING, 2020; 193 ()
Much recent work on type-safe extensibility for Object-Oriented languages has focused on design patterns that require modest type system features. Exa......
