Taxonomic Search: xavier OR leroy

8 results

Results

file

Compiler Verification and Beyond: Verified Tools for High-Assurance Software

Submitted by Katie Dey on Tue, 05/10/2011 - 8:47am. Contributor:

Abstract

The formal verification of software has progressed tremendously in the last decade. Principled but once academic approaches such as Hoare logic and abstract interpretation finally gave birth to quality verification tools, operating over source code (and not just idealized models thereof) and able to verify complex real-world applications.

  • 1005.6 KB
  • 0 views
  • 42 downloads
  • Download
page

2011 Program Agenda

Submitted by Katie Dey on Mon, 02/27/2012 - 5:29pm

Hovering over speakers’ names will display titles in most browsers.

event

ICESS-11
Nov 16, 2011 1:00:am - Nov 17, 2011 5:00:pm

Submitted by admin on Mon, 04/16/2012 - 7:17pm 

The main conference: 

The 8th IEEE International Conference on Embedded 
Software and Systems (IEEE ICESS-11) 
http://trust.csu.edu.cn/conference/icess2011 

2 symposiums/workshops (IWCSEI 2011 and ESA 2011) in conjunction 
with ICESS 2011: See "Symposiums/Workshops" at: 
http://trust.csu.edu.cn/conference/icess2011/ 


Organizers: School of Information Science and Engineering & School of 
Software, 
Central South University, China 
Venue & Dates: Changsha, China, November 16-18, 2011 


Introduction
forum

ICESS-11 - Call for Papers

Submitted by admin on Tue, 06/28/2011 - 7:32pm 

Call for Papers 

The main conference: 

The 8th IEEE International Conference on Embedded 
Software and Systems (IEEE ICESS-11) 
http://trust.csu.edu.cn/conference/icess2011 

2 symposiums/workshops (IWCSEI 2011 and ESA 2011) in conjunction 
with ICESS 2011: See "Symposiums/Workshops" at: 
http://trust.csu.edu.cn/conference/icess2011/ 


Organizers: School of Information Science and Engineering & School of 
Software, 
Central South University, China 
Venue & Dates: Changsha, China, November 16-18, 2011 


Introduction
forum

IEEE/IFIP EUC 2011 Call For Papers

Submitted by admin on Mon, 05/09/2011 - 11:54am
The 9th IEEE/IFIP International Conference on Embedded and Ubiquitous Computing http://anss.org.au/euc2011 October 24-26, 2011 Melbourne, Australia ------------------------------------------------ The EUC 2011 conference provides a forum for engineers and scientists in academia, industry, and government to address all resulting profound challenges including technical, safety, social, legal, political, and economic issues, and to present and discuss their ideas, results, work in progress and experience on all aspects of embedded and ubiquitous computing.