@article{DBLP:journals/entcs/DesmetJMNPPV09,
  author    = {Lieven Desmet and
               Wouter Joosen and
               Fabio Massacci and
               Katsiaryna Naliuka and
               Pieter Philippaerts and
               Frank Piessens and
               Dries Vanoverberghe},
  title     = {The {S3MS.NET} Run Time Monitor: Tool Demonstration},
  journal   = {Electr. Notes Theor. Comput. Sci.},
  volume    = {253},
  number    = {5},
  pages     = {153--159},
  year      = {2009}
}

{"_id":"hsumMx3WEf4j5sMAQ","bibbaseid":"desmet-joosen-massacci-naliuka-philippaerts-piessens-vanoverberghe-thes3msnetruntimemonitortooldemonstration-2009","downloads":0,"creationDate":"2018-08-29T13:17:52.267Z","title":"The S3MS.NET Run Time Monitor: Tool Demonstration","author_short":["Desmet, L.","Joosen, W.","Massacci, F.","Naliuka, K.","Philippaerts, P.","Piessens, F.","Vanoverberghe, D."],"year":2009,"bibtype":"article","biburl":"https://dblp.uni-trier.de/pers/tb0/p/Piessens:Frank.bib","bibdata":{"bibtype":"article","type":"article","author":[{"firstnames":["Lieven"],"propositions":[],"lastnames":["Desmet"],"suffixes":[]},{"firstnames":["Wouter"],"propositions":[],"lastnames":["Joosen"],"suffixes":[]},{"firstnames":["Fabio"],"propositions":[],"lastnames":["Massacci"],"suffixes":[]},{"firstnames":["Katsiaryna"],"propositions":[],"lastnames":["Naliuka"],"suffixes":[]},{"firstnames":["Pieter"],"propositions":[],"lastnames":["Philippaerts"],"suffixes":[]},{"firstnames":["Frank"],"propositions":[],"lastnames":["Piessens"],"suffixes":[]},{"firstnames":["Dries"],"propositions":[],"lastnames":["Vanoverberghe"],"suffixes":[]}],"title":"The S3MS.NET Run Time Monitor: Tool Demonstration","journal":"Electr. Notes Theor. Comput. Sci.","volume":"253","number":"5","pages":"153–159","year":"2009","bibtex":"@article{DBLP:journals/entcs/DesmetJMNPPV09,\n author = {Lieven Desmet and\n Wouter Joosen and\n Fabio Massacci and\n Katsiaryna Naliuka and\n Pieter Philippaerts and\n Frank Piessens and\n Dries Vanoverberghe},\n title = {The {S3MS.NET} Run Time Monitor: Tool Demonstration},\n journal = {Electr. Notes Theor. Comput. Sci.},\n volume = {253},\n number = {5},\n pages = {153--159},\n year = {2009}\n}\n\n","author_short":["Desmet, L.","Joosen, W.","Massacci, F.","Naliuka, K.","Philippaerts, P.","Piessens, F.","Vanoverberghe, D."],"key":"DBLP:journals/entcs/DesmetJMNPPV09","id":"DBLP:journals/entcs/DesmetJMNPPV09","bibbaseid":"desmet-joosen-massacci-naliuka-philippaerts-piessens-vanoverberghe-thes3msnetruntimemonitortooldemonstration-2009","role":"author","urls":{},"downloads":0,"html":""},"search_terms":["s3ms","net","run","time","monitor","tool","demonstration","desmet","joosen","massacci","naliuka","philippaerts","piessens","vanoverberghe"],"keywords":[],"authorIDs":["5b869cff119f791000000043"],"dataSources":["cjvMqzGsyByuD9JLe"]}