Several computations executing simultaneously, and potentially interacting with each other.
forum
Submitted by Anonymous on Fri, 12/08/2017 - 10:46am
CALL FOR PAPERS
IEEE Computer Special Issue on Resiliency in CPS
Important dates:
- Abstract submission (by e-mail to co-1018@computer.org): 1 February 2018
- Full paper submission: 1 March 2018
- Expected publication date: October 2018
Guest editors:
event
Submitted by Anonymous on Fri, 12/08/2017 - 10:41am
12th International Conference on Verification and Evaluation of Computer and Communication Systems (VECoS 2018)
The VECoS conference series focuses on the analysis of computer and communication systems, where functional and extra-functional properties are inter-related. VECoS encourages the cross fertilization between the various formal verification and evaluation approaches, methods and techniques, especially those developed for concurrent and distributed hardware/software systems.
Topics of interest include, but are not limited to:
file
This poster surveys results obtained by the project team in the area of logical characterizations for bisimulation over a general mathematical model for cyber-physical systems (CPSs) called Generalized Synchronization Trees (GSTs). GSTs extend traditional models for discrete-event systems with capabilities for modeling non-discrete behavior, and are intended to serve as a vehicle for giving mathematically well-defined notions of compositions for CPSs. Bisimulation represents a notion of equivalence over GSTs that captures when two GSTs are indistinguishable to an outside observer.
file
The overarching project goal is to advance the design of opportunistic state-triggered aperiodic controllers for networked cyber-physical systems. This poster considers the problem of opportunistic human-robot collaboration to solve multi-objective optimization problems. We consider scenarios where a human decision maker works with a robot in a supervisory manner in order to find the best Pareto solution to a given optimization problem. The human has a time-invariant function that represents the value she gives to the different outcomes.
file
When dealing with safety-critical programmed molecular systems, it is essential to be able to observe the behavior of a system. The capability to log the states of a system over time, for later observation, is critical to help determine when and how faults have occurred.
forum
Submitted by Anonymous on Tue, 11/21/2017 - 2:25pm
event
Submitted by Anonymous on Tue, 11/21/2017 - 2:25pm
forum
Submitted by Anonymous on Tue, 11/21/2017 - 1:56pm
CALL FOR PAPERS
18-22 June 2018 | Lisbon, Portugal | http://ae2018.di.fc.ul.pt/index.html
Organized by U.Lisboa on behalf of Ada-Europe, in cooperation with ACM SIGAda, SIGBED (pending), SIGPLAN (pending) and the Ada Resource Association (ARA)
forum
Submitted by Anonymous on Mon, 11/20/2017 - 5:31pm
Journal of Logical and Algebraic Methods in Programming
Special Issue on Open Problems in Concurrency Theory
** Aims and Scope
