41![R E P O RT R E P R I N T Datadog sniffs out opportunity in APM N A NCY GOHR ING 1 8 JA N R E P O RT R E P R I N T Datadog sniffs out opportunity in APM N A NCY GOHR ING 1 8 JA N](https://www.pdfsearch.io/img/85e542f03878be00ea076b318f2c058f.jpg) | Add to Reading ListSource URL: www.datadoghq.comLanguage: English - Date: 2018-06-01 15:28:46
|
---|
42![Unsupervised Detection of APT C&C Channels using Web Request Graphs Pavlos Lamprakis1 , Ruggiero Dargenio1 , David Gugelmann1 , Vincent Lenders2 , Markus Happe1 , and Laurent Vanbever1 1 2 Unsupervised Detection of APT C&C Channels using Web Request Graphs Pavlos Lamprakis1 , Ruggiero Dargenio1 , David Gugelmann1 , Vincent Lenders2 , Markus Happe1 , and Laurent Vanbever1 1 2](https://www.pdfsearch.io/img/8dce9517fd1c59e43398383e7cd778c1.jpg) | Add to Reading ListSource URL: www.lenders.chLanguage: English - Date: 2017-06-18 04:02:10
|
---|
43![Executable Counterexamples in Software Model Checking J. Gennari1 and A. Gurfinkel2 and T. Kahsai3 and J. A. Navas4 and E. J. Schwartz1 Presenter: Natarajan Shankar4 1 Carnegie Executable Counterexamples in Software Model Checking J. Gennari1 and A. Gurfinkel2 and T. Kahsai3 and J. A. Navas4 and E. J. Schwartz1 Presenter: Natarajan Shankar4 1 Carnegie](https://www.pdfsearch.io/img/8cc76216db056f74ec7f3237076326de.jpg) | Add to Reading ListSource URL: seahorn.github.ioLanguage: English - Date: 2018-08-03 20:31:21
|
---|
44![Informatics 1 Functional Programming Lectures 1 and 2 Monday 24–Tuesday 25 September 2012 Introduction, Functions Don Sannella Informatics 1 Functional Programming Lectures 1 and 2 Monday 24–Tuesday 25 September 2012 Introduction, Functions Don Sannella](https://www.pdfsearch.io/img/78f2fe22141226d68bed77b54a6d99a1.jpg) | Add to Reading ListSource URL: www.inf.ed.ac.ukLanguage: English - Date: 2012-09-24 08:45:19
|
---|
45![Specification of Parametric Monitors Quantified Event Automata versus Rule Systems Klaus Havelund1? and Giles Reger2 1 Jet Propulsion Laboratory, California Inst. of Technology, USA Specification of Parametric Monitors Quantified Event Automata versus Rule Systems Klaus Havelund1? and Giles Reger2 1 Jet Propulsion Laboratory, California Inst. of Technology, USA](https://www.pdfsearch.io/img/43c7f3ff7bd788d5829bc244c60deb3c.jpg) | Add to Reading ListSource URL: www.cs.man.ac.ukLanguage: English - Date: 2016-07-20 12:50:10
|
---|
46![Design of Knowledge Analytics Tools for Workplace Learning? Maria A Schett1 , Stefan Thalmann2 , and Ronald K Maier2 1 2 Design of Knowledge Analytics Tools for Workplace Learning? Maria A Schett1 , Stefan Thalmann2 , and Ronald K Maier2 1 2](https://www.pdfsearch.io/img/2e44cb397daa33c88d383392e167056e.jpg) | Add to Reading ListSource URL: ceur-ws.orgLanguage: English - Date: 2016-08-29 07:14:47
|
---|
47![Cubicle: A Parallel SMT-based Model Checker for Parameterized Systems Tool Paper Sylvain Conchon1 , Amit Goel2 , Sava Krsti´c2 Alain Mebsout1 , and Fatiha Za¨ıdi1 1 Cubicle: A Parallel SMT-based Model Checker for Parameterized Systems Tool Paper Sylvain Conchon1 , Amit Goel2 , Sava Krsti´c2 Alain Mebsout1 , and Fatiha Za¨ıdi1 1](https://www.pdfsearch.io/img/f7ae923ee352f7ed8b6a0ced04a7f550.jpg) | Add to Reading ListSource URL: mebsout.github.ioLanguage: English - Date: 2017-07-21 11:03:15
|
---|
48![PRISM-games: A Model Checker for Stochastic Multi-Player Games Taolue Chen1 , Vojtˇech Forejt1 , Marta Kwiatkowska1 , David Parker2 , and Aistis Simaitis1 1 2 PRISM-games: A Model Checker for Stochastic Multi-Player Games Taolue Chen1 , Vojtˇech Forejt1 , Marta Kwiatkowska1 , David Parker2 , and Aistis Simaitis1 1 2](https://www.pdfsearch.io/img/1c2dcece67223b6b09e72bbc1ed51f6f.jpg) | Add to Reading ListSource URL: qav.comlab.ox.ac.ukLanguage: English - Date: 2013-01-13 05:57:32
|
---|