Author of the publication

A methodology for in-network evaluation of integrated logical-statistical models.

, , , , and . SenSys, page 197-210. ACM, (2008)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Using Integer Clocks to Verify the Timing-Sync Sensor Network Protocol., , and . NASA Formal Methods, volume NASA/CP-2010-216215 of NASA Conference Proceedings, page 77-86. (2010)A methodology for in-network evaluation of integrated logical-statistical models., , , , and . SenSys, page 197-210. ACM, (2008)Query-Based Model Checking of Ad Hoc Network Protocols., , and . CONCUR, volume 5710 of Lecture Notes in Computer Science, page 603-619. Springer, (2009)Using integer clocks to verify clock-synchronization protocols., , and . Innov. Syst. Softw. Eng., 7 (2): 119-130 (2011)A process calculus for Mobile Ad Hoc Networks., , and . Sci. Comput. Program., 75 (6): 440-469 (2010)Security policy analysis using deductive spreadsheets., , , , and . FMSE, page 42-50. ACM, (2007)A Process Calculus for Mobile Ad Hoc Networks., , and . COORDINATION, volume 5052 of Lecture Notes in Computer Science, page 296-314. Springer, (2008)Developing a Suitability Assessment Criteria for Software Developers: Behavioral Assessment Using Psychometric Test., , , , and . CSSE, page 67-70. ACM, (2021)Information systems success factors in software SMEs: a research agenda., , and . Int. J. Bus. Inf. Syst., 3 (4): 410-430 (2008)The influence of the best practices of information system development on software SMEs: a research scope., , and . Int. J. Bus. Inf. Syst., 5 (3): 268-290 (2010)