Eclipse Golo
Ponge, Julien, Loiseau, Yannick, Le Mouël, Frédéric, Stouls, Nicolas, Charrière, Philippe, Petisme, Daniel, Desgrais, Sylvain, Verrot, Franck
Published in Journal of open source software (01.12.2016)
Published in Journal of open source software (01.12.2016)
Get full text
Journal Article
B model slicing and predicate abstraction to generate tests
Julliand, J., Stouls, N., Bué, P.-C., Masson, P.-A.
Published in Software quality journal (01.03.2013)
Published in Software quality journal (01.03.2013)
Get full text
Journal Article
GeneSyst: A Tool to Reason About Behavioral Aspects of B Event Specifications. Application to Security Properties
Bert, Didier, Potet, Marie-Laure, Stouls, Nicolas
Published in Lecture notes in computer science (2005)
Published in Lecture notes in computer science (2005)
Get full text
Book Chapter
Conference Proceeding
Syntactic Abstraction of B Models to Generate Tests
Julliand, Jacques, Stouls, Nicolas, Bué, Pierre-christophe, Masson, Pierre-Alain
Published in Tests and Proofs (2010)
Published in Tests and Proofs (2010)
Get full text
Book Chapter
Security Policy Enforcement Through Refinement Process
Stouls, Nicolas, Potet, Marie-Laure
Published in B 2007: Formal Specification and Development in B (2006)
Published in B 2007: Formal Specification and Development in B (2006)
Get full text
Book Chapter
Conference Proceeding
Towards a Decoupled Context-Oriented Programming Language for the Internet of Things
Maingret, Baptiste, Frédéric Le Mouël, Ponge, Julien, Stouls, Nicolas, Cao, Jian, Loiseau, Yannick
Published in arXiv.org (30.07.2015)
Published in arXiv.org (30.07.2015)
Get full text
Paper
Journal Article
Automated Application Offloading through Ant-inspired Decision-Making
Golchay, Roya, Frédéric Le Mouël, Ponge, Julien, Stouls, Nicolas
Published in arXiv.org (07.11.2016)
Get full text
Published in arXiv.org (07.11.2016)
Paper