default search action

combined dblp search
author search
venue search
publication search

ask others

13th VECoS 2019: Porto, Portugal

> Home > Conferences and Workshops > VECoS

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - conf/vecos/2019
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vecos/2019
Pierre Ganty, Mohamed Kaâniche:
Verification and Evaluation of Computer and Communication Systems - 13th International Conference, VECoS 2019, Porto, Portugal, October 9, 2019, Proceedings. Lecture Notes in Computer Science 11847, Springer 2019, ISBN 978-3-030-35091-8
- view
  authority control:
- export record
  dblp key:
  - conf/vecos/BoichutCFS19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vecos/BoichutCFS19
Yohan Boichut, Jean-Michel Couvreur, Xavier Ferry, Mohamadou Tafsir Sakho:
Modeling Concurrent Behaviors as Words. 1-15
- view
  authority control:
- export record
  dblp key:
  - conf/vecos/Aljarbouh19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vecos/Aljarbouh19
Ayman Aljarbouh:
Non-Standard Zeno-Free Simulation Semantics for Hybrid Dynamical Systems. 16-31
- view
  authority control:
- export record
  dblp key:
  - conf/vecos/Lau19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vecos/Lau19
Phi Tuong Lau:
Static Detection of Event-Driven Races in HTML5-Based Mobile Apps. 32-46
- view
  authority control:
- export record
  dblp key:
  - conf/vecos/Al-ShareefiLD19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vecos/Al-ShareefiLD19
Farah Al-Shareefi, Alexei Lisitsa, Clare Dixon:
Analysing Security Protocols Using Scenario Based Simulation. 47-62
- view
  authority control:
- export record
  dblp key:
  - conf/vecos/AlbertGRS19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vecos/AlbertGRS19
Elvira Albert, Pablo Gordillo, Albert Rubio, Ilya Sergey:
Running on Fumes - Preventing Out-of-Gas Vulnerabilities in Ethereum Smart Contracts Using Static Resource Analysis. 63-78
- view
  authority control:
- export record
  dblp key:
  - conf/vecos/GlanonAM19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vecos/GlanonAM19
Philippe Glanon, Selma Azaiez, Chokri Mraidha:
Estimating Latency for Synchronous Dataflow Graphs Using Periodic Schedules. 79-94
- view
  authority control:
- export record
  dblp key:
  - conf/vecos/TchindaCL19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vecos/TchindaCL19
Yves Mouafo Tchinda, Annie Choquet-Geniet, Gaëlle Largeteau-Skapin:
Importance-Based Scheduling to Manage Multiple Core Defection in Real-Time Systems. 95-109

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.