PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Traverso, Riccardo"

Author of the publication

copydeleteadd this publication to your clipboard
The Cost of Parameterized Reachability in Mobile Ad Hoc Networks

, , , and . CoRR, (2012)

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.

No persons found for author name Traverso, Riccardo
add a person with the name Traverso, Riccardo
 

Other publications of authors with the same name

Adding Data Registers to Parameterized Networks with Broadcast., , and . Fundam. Inform., 143 (3-4): 287-316 (2016)Parameterized model checking for security policy analysis., , and . STTT, 18 (5): 559-573 (2016)Graph- versus Vector-Based Analysis of a Consensus Protocol., , and . GRAPHITE, volume 159 of EPTCS, page 44-57. (2014)Model Checking Paxos in Spin., , and . GandALF, volume 161 of EPTCS, page 131-146. (2014)On the Complexity of Parameterized Reachability in Reconfigurable Broadcast Networks., , , and . FSTTCS, volume 18 of LIPIcs, page 289-300. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, (2012)Mobile App Security Assessment with the MAVeriC Dynamic Analysis Module., , , , , , , and . MIST@CCS, page 41-49. ACM, (2015)ALPS: An Action Language for Policy Specification and Automated Safety Analysis., and . STM, volume 8743 of Lecture Notes in Computer Science, page 146-161. Springer, (2014)Designing and Implementing a Framework for BDI-Style Communicating Agents in Haskell - (Position Paper)., and . DALT, volume 7784 of Lecture Notes in Computer Science, page 203-207. Springer, (2012)Parameterized Verification of Broadcast Networks of Register Automata., , and . RP, volume 8169 of Lecture Notes in Computer Science, page 109-121. Springer, (2013)SMT-based Enforcement and Analysis of NATO Content-based Protection and Release Policies., , , and . ABAC@CODASPY, page 35-46. ACM, (2016)