Tigran Avanesov

Publication Activity (10 Years)

Years Active: 2008-2018
Publications (10 Years): 6

Top Venues

J. Symb. Comput.

NetSoft

CoRR

Henri Poincaré University, Nancy, France (PHD)

Education History

Henri Poincaré University, Nancy, France

PHD

Publications

Georgios Varisteas, Tigran Avanesov, Radu State
Distributed C++-Python embedding for fast predictions and fast prototyping. DIDL@Middleware (2018)
Tigran Avanesov, Yannick Chevalier, Michaël Rusinowitch, Mathieu Turuani
Satisfiability of general intruder constraints with and without a set constructor. J. Symb. Comput. 80 (2017)
Tigran Avanesov, Yannick Chevalier, Michaël Rusinowitch, Mathieu Turuani
Intruder deducibility constraints with negation. Decidability and application to secured service compositions. J. Symb. Comput. 80 (2017)
Manxing Du, Radu State, Mats Brorsson, Tigran Avanesov
Behavior profiling for mobile advertising. BDCAT (2016)
Gabriela Gheorghe, Tigran Avanesov, Maria Rita Palattella, Thomas Engel, Ciprian P. Popoviciu
SDN-RADAR: Network troubleshooting combining user experience and SDN capabilities. NetSoft (2015)
Tigran Avanesov, Gabriela Gheorghe, Maria Rita Palattella, Miroslaw Kantor, Ciprian P. Popoviciu, Thomas Engel
Network troubleshooting with SDN-RADAR. IM (2015)
Nicolas Louveton, Roderick McCall, Tigran Avanesov, Vincent Koenig, Thomas Engel
Assessing in-vehicle information systems application in the car: a versatile tool and unified testing platform. AutomotiveUI (2013)
Ioannis P. Chochliouros, Rod McCall, Andrei Popleteev, Tigran Avanesov, Tomas Kamarauskas, Anastasia S. Spiliopoulou, Evangelos Sfakianakis, Evangelia Georgiadou, Nikoletta Liakostavrou, Ioannis Kampourakis, Ioannis M. Stephanakis
(Semi-) Pervasive Gaming Educational and Entertainment Facilities via Interactive Video-to-Video Communication over the Internet, for Museum Exhibits. AIAI (2013)
Alessandro Armando, Wihem Arsac, Tigran Avanesov, Michele Barletta, Alberto Calvi, Alessandro Cappai, Roberto Carbone, Yannick Chevalier, Luca Compagna, Jorge Cuéllar, Gabriel Erzse, Simone Frau, Marius Minea, Sebastian Mödersheim, David von Oheimb, Giancarlo Pellegrino, Serena Elisa Ponta, Marco Rocchetto, Michaël Rusinowitch, Mohammad Torabi Dashti, Mathieu Turuani, Luca Viganò
The AVANTSSAR Platform for the Automated Validation of Trust and Security of Service-Oriented Architectures. TACAS (2012)
Tigran Avanesov, Yannick Chevalier, Michaël Rusinowitch, Mathieu Turuani
Intruder deducibility constraints with negation. Decidability and application to secured service compositions CoRR (2012)
Tigran Avanesov, Yannick Chevalier, Michaël Rusinowitch, Mathieu Turuani
Towards the Orchestration of Secured Services under Non-disclosure Policies. MMM-ACNS (2012)
Tigran Avanesov, Yannick Chevalier, Michaël Rusinowitch, Mathieu Turuani
Satisfiability of General Intruder Constraints with and without a Set Constructor CoRR (2011)
Tigran Avanesov, Yannick Chevalier, Mohammed Anis Mekki, Michaël Rusinowitch, Mathieu Turuani
Distributed Orchestration of Web Services under Security Constraints. DPM/SETOP (2011)
Tigran Avanesov, Yannick Chevalier, Mohammed Anis Mekki, Michaël Rusinowitch
Web Services Verification and Prudent Implementation. DPM/SETOP (2011)
Tigran Avanesov, Yannick Chevalier, Michaël Rusinowitch, Mathieu Turuani
Satisfiability of general intruder constraints with a set constructor. CRiSIS (2010)
Humberto J. Abdelnur, Tigran Avanesov, Michaël Rusinowitch, Radu State
Abusing SIP Authentication. IAS (2008)

Tigran Avanesov.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Tigran Avanesov