great.ufc.br
Supoort / Partnerships
http://great.ufc.br/index.php/en/the-great/support-partnerships.html
Presentations / Dissertations / Thesis / Articles / Tutorial. Rua Campus do Pici - Campus do Pici - Bloco 942-A - CEP: 60440-554 - Fortaleza - CE - Brasil - Telefone/Fax: 55 (85) 3366-9797. GREat, Powered by Joomla!
yade-dem.org
Authors and contributors - Yade
https://yade-dem.org/wiki/Authors_and_contributors
Lab 3SR - Grenoble INP. Yade Project and Package Manager. Active contributors (one-year commits). Daily-updated list can be found at ohloh. DEM modeling of mining rocks. Lab 3SR - Grenoble INP. DEM modelling in geomechanics, solid-fluid couplings, micromechanics. Quasi-static behaviour, shear tests, cohesive contacts, wires and membranes. DEM modeling of concrete. Grenoble Univ., 3SR Lab. Grenoble Univ., 3SR Lab. Shear flow, rheology of dense suspensions. TU Bergakademie Freiberg, Germany. Lattice Geomet...
d-mils.org
International Workshop on MILS: Architecture and Assurance for Secure Systems, Amsterdam, 20 January 2015 - D-MILS Project Website
http://www.d-mils.org/forum/topics/nternational-workshop-on-mils-architecture-and-assurance-for-secu
International Workshop on MILS: Architecture and Assurance for Secure Systems, Amsterdam, 20 January 2015. We are pleased to inform all of those interested in more information concerning D-MILS technologies that there will be a half-day workshop organised at the HiPEAC Conference 2015. Titled: International Workshop on MILS: Architecture and Assurance for Secure Systems. The workshop will be on 20 January 2015 and is being organised jointly with partners from the EURO-MILS. Replies to This News Item.
d-mils.org
Stefano Tonetta's Page - D-MILS Project Website
http://www.d-mils.org/profile/StefanoTonetta
Stefano Tonetta's News Items. Paper on HyComp model checker for hybrid systems. The paper "HyComp: an SMT-based Model Checker for Hybrid Systems" by Alessandro Cimatti, Alberto Griggio, Sergio Mover, and Stefano Tonetta has been accepted for publication in the proceedings of the Continue. Started Jan 28, 2015. Paper on the nuXmv Symbolic Model Checker. Started Aug 4, 2014. Paper on Verifying LTL properties of hybrid systems with K-liveness. Started Aug 4, 2014. Stefano Tonetta's Page.
d-mils.org
Eugene Vasserman's Page - D-MILS Project Website
http://www.d-mils.org/profile/EugeneVasserman
Eugene Vasserman's Page. You need to be a member of D-MILS Project Website to add comments! 2016 Created by Scott Hansen.
d-mils.org
Partners - D-MILS Project Website
http://www.d-mils.org/page/partners
The D-MILS Project is a collaboration amongst market leading industrial organisations who develop products that critical systems, leading software tools and technology companies, and research and development organisations that develop advanced computing systems security technologies. Click on any of the logos to the right to visit a partner's website. 38123 Trento, Italy. Tel: 39 0461 314320. 80805 Munich, Germany. Tel: 49 89 36035 22 0. 1100 Vienna, Austria. Tel: 43 664 60 850 2775. Rue Pierre Curie 38.
d-mils.org
Paper on HyComp model checker for hybrid systems - D-MILS Project Website
http://www.d-mils.org/forum/topics/paper-on-hycomp-model-checker-for-hybrid-systems
Paper on HyComp model checker for hybrid systems. The paper "HyComp: an SMT-based Model Checker for Hybrid Systems" by Alessandro Cimatti, Alberto Griggio, Sergio Mover, and Stefano Tonetta has been accepted for publication in the proceedings of the 21st International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS15). The tool can verify invariant, LTL and other types of properties on a network of hybrid systems. Replies to This News Item.
d-mils.org
News Items - D-MILS Project Website
http://www.d-mils.org/forum/categories/uncategorized/listForCategory
Best Paper Award at FACS 2014. The paper "Compositional Analysis Using Component-Oriented Interpolation", co-authored by team members Joost-Pieter Katoen and Thomas Noll,. Started by Thomas Noll. Sep 12, 2014. Paper on Compositional Analysis Using Component-Oriented Interpolation. The paper "Compositional Analysis Using Component-Oriented Interpolation", co-authored by team members Joost-Pieter Katoen and Thomas Noll,. Started by Thomas Noll. Jul 31, 2014. 2016 Created by Scott Hansen.
d-mils.org
Project Reports - D-MILS Project Website
http://www.d-mils.org/page/results
Research and development within the D-MILS project was completed at the end of October 2015. The following public reports. From the project are available for download. Requirements for distributed MILS technology. Translation of AADL/MILS into formal architectural modeling framework. Principles, syntax and notation for mapping AADL models to modular GSN. Assurance arguments for AADL error models and AADL/MILS formal translations. Review of the state of the art and candidate languages for intermediate rep...