The paper Runtime Enforcement of K-step Opacity has been accepted to CDC, 52nd IEEE Conference on Decision and Control that will be held Tuesday through Friday, December 10-13, 2013 at Palazzo dei Congressi, Florence, Italy. We study the enforcement of K-step opacity at runtime. In K-step opacity, the knowledge of the secret is of interest to the attacker within K […]
Grenoble University recruits motivated candidates for a Ph.D. fellowship. The position is for 3 year starting in September or October 2013. The (net) salary is approximately 1600 Euros per month, medical insurance included. – = = – Context – = = – The purpose of the Ph.D. is to develop new monitoring techniques for component-based […]
Summer School on Cyber-Physical Systems July 8-12, 2013 Grenoble, France EIT ICT Labs and PERSYVAL-Lab are organizing the first edition of the CPS Summer School. The CPS Summer School will explore the manifold relationship between networked embedded systems and humans as their creators, users, and subjects. The format of the Summer School will be a five days […]
We are happy to release the first version of ETAPS 2014 poster. A new version will follow in April with workshop information. Please feel free to broadcast. The pdf of the high-resolution version can be downloaded: here.
ETAPS 2014 European Joint Conferences on Theory And Practice of Software April 5th – 13th, 2014 Grenoble, France — SATELLITE EVENTS — The ETAPS 2014 Organizing Committee invites proposals for Satellite Events (workshops, tutorials, etc.) that will complement the main conferences. They should fall within the scope of ETAPS. This encompasses all aspects of the […]
ETAPS 2014 European Joint Conferences on Theory And Practice of Software April 5th – 13th, 2014 Grenoble, France — ABOUT ETAPS — The European Joint Conferences on Theory and Practice of Software (ETAPS) is the primary European forum for academic and industrial researchers working on topics relating to Software Science. ETAPS is an annual event […]
I have just been informed that I am part of ETAPS 2014 organizing committee as publicity chair. Saddek Bensalem is the organization committee’s chair. ETAPS 2014 will take place in Grenoble, France. More information TBA shortly.