frama-c.com
Frama-C
http://www.frama-c.com/video.html
Simple things should be simple,. Complex things should be possible. An Industrial Use-Case of Frama-C. Was initially presented by Dillon Pariente from Dassault Aviation. At the First International Conference on Formal Verification of Object-Oriented Software. By Dillon Pariente and Emmanuel Ledinot which is included in the proceedings. The Frama-C team is very grateful to Dillon Pariente from Dassault Aviation for making this video and making it freely available on our website. A sound card is recommended.
foveoos2011.cost-ic0701.org
Travel Grants - FoVeOOS 2011
http://foveoos2011.cost-ic0701.org/travel-grants
Best Student Presentation Award. COST IC0701 Verification Competition 2011. Meeting of COST Action IC0901. Will provide travel grants for its members for attending the conference. It may also provide a limited number of travel grants for non-members, whose paper has been accepted for presentation at the conference. For more information, please see the registration page. Deadline for application is September 14th.
foveoos2011.cost-ic0701.org
Programme - FoVeOOS 2011
http://foveoos2011.cost-ic0701.org/programme
Best Student Presentation Award. COST IC0701 Verification Competition 2011. Meeting of COST Action IC0901. Sep 26, 2011, 1:11 PM.
foveoos2011.cost-ic0701.org
Proceedings - FoVeOOS 2011
http://foveoos2011.cost-ic0701.org/proceedings
Best Student Presentation Award. COST IC0701 Verification Competition 2011. Meeting of COST Action IC0901. The conference will use a two-stage process for the publication of. Proceedings, allowing for a very brief period between submission of papers and. The conference and, thus, a speedy dissemination of results. All accepted papers will appear in pre-proceedings published as a Technical. Report that will be available at the conference (also: PDF. Post-conference proceedings will be published within the.
foveoos2011.cost-ic0701.org
Reimbursement - FoVeOOS 2011
http://foveoos2011.cost-ic0701.org/reimbursement
Best Student Presentation Award. COST IC0701 Verification Competition 2011. Meeting of COST Action IC0901. The two most beautiful words in the English language are "Cheque Enclosed." - Dorothy Parker. IC0701 reimburses meeting participants according to the. COST rules on reimbursement. This is a very short document, please consult it. Below is a purely unofficial summary. What you can claim. Long-distance travel costs are reimbursed mostly as incurred according to your receipts. You should have received ...
fmse.info.uaic.ro
FMSE
https://fmse.info.uaic.ro//member/2
Profile Dorel Lucanu - Permanents. Alexandru Ioan Cuza" University. Http:/ fmse.info.uaic.ro/member/2/. Faculty of Computer Science, Alexandru Ioan Cuza University, Berthelot 16, 700483 Iasi, Romania. Formal methods, programming languages,. Software engineering, logics, rewriting, P systems, semantic web. There is an open PhD position under my supervision starting with the academic year 2015/2016 for Romanian citizens. The position is funded by the Romanian government. New publication : K-Java: A Complet...
foveoos2011.cost-ic0701.org
COST IC0701 Verification Competition 2011 - FoVeOOS 2011
http://foveoos2011.cost-ic0701.org/verification-competition
Best Student Presentation Award. COST IC0701 Verification Competition 2011. Meeting of COST Action IC0901. COST IC0701 Verification Competition 2011. The COST Verification Competition is a half-day verification tool evaluation event attached to the FoVeOOS conference. A preliminary 18-page report from the competition is now available for download. 2012-02-09: A first version of the extended report is now available. Updates in the near future are probable. Location, Date and Time. Tuesday, October 4, 14:00.
foveoos2011.cost-ic0701.org
Best Student Presentation Award - FoVeOOS 2011
http://foveoos2011.cost-ic0701.org/best-student-presentation-award
Best Student Presentation Award. COST IC0701 Verification Competition 2011. Meeting of COST Action IC0901. Best Student Presentation Award. Based on the comments given by the reviewers in the first stage of reviewing, and the presentation at the conference, the programme committee will give a best student presentation award. Eligible papers are those whose presentation is given by a PhD student.
kindsoftware.com
KindSoftware
http://www.kindsoftware.com/documents/published
Verified Visualisation of Textual Modelling Languages. The Concurrency Semantic Property. Programing and Specification Languages. Operating Systems and Compilers. Feburary 2013 - Saving Democracy from Technology. October 2012 - The Use of JML in Embedded Real-Time Systems. June 2012 - Testing Library Specifications by Verifying Conformance Tests. December 2011 - Validating Semantics. Throughout 2011 - Democracy as a Critical System. April 2011 - Reasoning about Concurrency in (RT) Java. August 2007 - EVT.