This shows you the differences between two versions of the page.
Both sides previous revision Previous revision Next revision | Previous revision | ||
menu [2018/11/22 10:17] pullonen |
menu [2020/03/30 21:24] (current) pullonen |
||
---|---|---|---|
Line 1: | Line 1: | ||
* [[pleak|PLEAK]] | * [[pleak|PLEAK]] | ||
* [[pleak|PLEAK]] | * [[pleak|PLEAK]] | ||
+ | * [[quick-guide| Quick Guide]] | ||
* [[pleak-installation|Installation]] | * [[pleak-installation|Installation]] | ||
* [[pleak-frontend|Frontend]] | * [[pleak-frontend|Frontend]] | ||
* [[pleak-frontend_features|Features]] | * [[pleak-frontend_features|Features]] | ||
* [[pleak-backend|Backend]] | * [[pleak-backend|Backend]] | ||
- | * [[pe-bpmn-editor|PE-BPMN editor]] | + | * [[pe-bpmn-editor|PE-BPMN]] |
- | * [[pe-bpmn-editor_pebpmn|PE-BPMN]] | + | * [[pe-bpmn-editor_pebpmn|PE-BPMN language]] |
* [[pe-bpmn-editor_simpledisclosure|Analysis]] | * [[pe-bpmn-editor_simpledisclosure|Analysis]] | ||
* [[pe-bpmn-editor_stereotypes|Stereotypes]] | * [[pe-bpmn-editor_stereotypes|Stereotypes]] | ||
Line 55: | Line 56: | ||
* [[sql-derivative-sensitivity-analyser_install|Installation guide]] | * [[sql-derivative-sensitivity-analyser_install|Installation guide]] | ||
* [[sql-derivative-sensitivity-analyser_advanced|Advanced settings]] | * [[sql-derivative-sensitivity-analyser_advanced|Advanced settings]] | ||
- | * [[sql-derivative-sensitivity-analyser_demo|Example model]] | ||
* [[sql-guessing-advantage-analyser|SQL guessing advantage analyser]] | * [[sql-guessing-advantage-analyser|SQL guessing advantage analyser]] | ||
+ | * [[sql-derivative-sensitivity-analyser_demo|SQL sensitivity and guessing advantage example model]] | ||
+ | * [[Composition-modeler| Composition Modeler]] | ||
+ | * [[leakage-detection| Leakage Detection]] | ||
* [[research | Research papers]] | * [[research | Research papers]] |