Trust Signal Map
Public graph snapshot linking moderation, structured review and trust-aware ranking.
Graph explorer
Research map
Explore the papers, people and topics connected to your research.
Drag to move · Scroll or pinch to zoom · Select a node for details
7 links
Nicolas Stouls
Researcher
PaperSecurity Policy Enforcement Through Refinement ProcessAuthorship / preprint / 2010PaperGénéSyst : Génération d'un système de transitions étiquetées à partir d'une spécification B événementielAuthorship / preprint / 2010PaperGeneSyst: a Tool to Reason about Behavioral Aspects of B Event Specifications. Application to Security Properties.Authorship / preprint / 2010PaperGraph Based Reduction of Program Verification ConditionsAuthorship / preprint / 2009PaperOpportunities for a Truffle-based Golo InterpreterAuthorship / preprint / 2015PaperTowards a Decoupled Context-Oriented Programming Language for the Internet of ThingsAuthorship / preprint / 2015PaperAutomated Application Offloading through Ant-inspired Decision-MakingAuthorship / preprint / 2016