The Second International Workshop on Graphical Models for Security (GraMSec 2015) Co-located with CSF 2015 Graphical security models provide an intuitive but systematic methodology to analyze security weaknesses of systems and to evaluate …

The Computer Security Foundations Symposium (CSF) is an annual conference for researchers in computer security, to examine current theories of security, the formal models that provide a context for those theories, and techniques for verifying security.…

15th International Forum on MPSoC for Software-defined Hardware Focus: Multicore and multiprocessor SoC (MPSoC) started a new computing era but brought a twofold challenge: building HW easy to use by SW designers and building SW that fully exploits HW…

Jens Oehlerking was guest lecturer in Matthias Althoff's Cyber-Physical Systems lecture at TUM, giving an industrial perspective on formal verification and testing.

7th Working Conference on Verified Software: Theories, Tools, and Experiments The Seventh Working Conference on Verified Software: Theories, Tools, and Experiments follows a successful inaugural working conference at Zurich in 2005 followed by…

27th International Conference on Computer Aided Verification CAV 2015 is the 27th in a series dedicated to the advancement of the theory and practice of computer-aided formal analysis methods for hardware and software systems.  The conference covers…

3rd Workshop on Virtual Prototyping of Parallel and Embedded Systems July 19th, 2015, Samos, Greece held in conjunction to the Samos conference, July 20-23rd, 2015 Background The 3rd Workshop on Virtual Prototyping of Parallel and Embedded Systems (…

Software Technologies: Applications and Foundations (STAF) is a federation of a number of the leading conferences on software technologies. It was formed after the end of the successful TOOLS federated event (http://tools.ethz.ch) in 2012, providing a…

The 7th International Workshop on Dependable Many-Core Computing (DMCC 2015) As part of The International Conference on High Performance Computing & Simulation (HPCS 2015) http://hpcs2015.cisedu.info  or  http://cisedu…

Sixth International Workshop on Graph Computation Models Co-located with ICGT 2015 Part of STAF 2015 Background and Aims Graphs are common mathematical structures which are visual and intuitive. They constitute a natural and seamless way for system…

The 8th International Conference on Graph Transformation (ICGT 2015) will be held in L'Aquila (Italy) in July 2015. It continues the series of conferences previously held in Barcelona (Spain) in 2002, Rome (Italy) in 2004 (ICGT 2004), Natal (Brazil) in…

ICINCO 2015 will be held in conjunction with ICETE 2015, ICSOFT 2015, SIMULTECH 2015 and DATA 2015. Registration to ICINCO allows free access to the ICETE, ICSOFT, SIMULTECH and DATA conferences (as a non-speaker). The purpose of the 12th International…

INDIN 2015 IEEE International Conference on Industrial Informatics 22-24 July 2015, Cambridge, UK Sponsored by: IEEE Industrial Electronics Society and Anglia Ruskin University, Cambridge, UK Technical co-sponsor: Institution of Engineering and…

The International Symposium on Low Power Electronics and Design (ISLPED) will be held July 22-24, 2015 at the Sapienza University of Rome, Faculty of Engineering at the Cloister of San Pietro in Vincoli (Saint Peter in Chains), Via Eudossiana 18, Rome,…

Discussion on how to write and integrate code from CORA for SpaceEx

2015 Summer Simulation Multi-Conference is SCS's premier international conference in cooperation with ACM SIGSIM. The conference focuses on modeling and simulation, tools, theory, methodologies and applications and provides a forum for the latest R…