2019 export record
dblp key:
journals/access/SultanaW19a share record
persistent URL:
Tanin Sultana , Khan A. Wahid : IoT-Guard: Event-Driven Fog-Based Video Surveillance System for Real-Time Security Management. IEEE Access 7 : 134881-134894 (2019 )export record
dblp key:
journals/ijautcomp/ArdiyantoM19 share record
persistent URL:
Igi Ardiyanto , Jun Miura : Time-space Viewpoint Planning for Guard Robot with Chance Constraint. Int. J. Autom. Comput. 16 (4 ) : 475-490 (2019 )share record
persistent URL:
Alessandra Aimi , Mauro Diligenti , Chiara Guardasoni : Restrictions matrices for Platonic solids invariance and applications to space-time energetic BEM. J. Comput. Appl. Math. 360 : 18-40 (2019 )export record
dblp key:
journals/pomacs/GrosofSH19 share record
persistent URL:
Isaac Grosof , Ziv Scully , Mor Harchol-Balter : Load Balancing Guardrails: Keeping Your Heavy Traffic on the Road to Low Response Times. Proc. ACM Meas. Anal. Comput. Syst. 3 (2 ) : 42:1-42:31 (2019 )share record
persistent URL:
Raphael Fritz , Patrick Schwarz , Ping Zhang : Modeling of Cyber Attacks and a Time Guard Detection for ICS based on Discrete Event Systems. ECC 2019 : 4368-4373 share record
persistent URL:
Luca Di Angelo , Paolo Di Stefano , Emanuele Guardiani : A build time estimator for Additive Manufacturing. MetroInd4.0&IoT 2019 : 344-349 share record
persistent URL:
Alexandra Silva : Guarded Kleene Algebra with Tests: Verification of Uninterpreted Programs in Nearly Linear Time (Invited Talk). MFCS 2019 : 2:1-2:1 share record
persistent URL:
Omer Nguena Timo , Dimitri Prestat , Antoine Rollet : Multiple Mutation Testing for Timed Finite State Machine with Timed Guards and Timeouts. ICTSS 2019 : 104-120 export record
dblp key:
conf/sigmetrics/GrosofSH19 share record
persistent URL:
Isaac Grosof , Ziv Scully , Mor Harchol-Balter : Load Balancing Guardrails: Keeping Your Heavy Traffic on the Road to Low Response Times. SIGMETRICS (Abstracts) 2019 : 9-10 share record
persistent URL:
Étienne André , Paolo Arcaini , Angelo Gargantini , Marco Radavelli : Repairing Timed Automata Clock Guards through Abstraction and Testing. TAP@FM 2019 : 129-146 export record
dblp key:
conf/wwic/MavromatisPEMPT19 share record
persistent URL:
Alexandros Mavromatis , Georgios Z. Papadopoulos , Atis Elsts , Nicolas Montavont , Robert J. Piechocki , Theo Tryfonas , George Oikonomou , Xenofon Fafoutis : Adaptive Guard Time for Energy-Efficient IEEE 802.15.4 TSCH Networks. WWIC 2019 : 15-26 export record
dblp key:
journals/corr/abs-1902-10311 share record
persistent URL:
Yao Liu , Ying Tai , Ji-Lin Li , Shouhong Ding , Chengjie Wang , Feiyue Huang , Dongyang Li , Wenshuai Qi , Rongrong Ji : Aurora Guard: Real-Time Face Anti-Spoofing via Light Reflection. CoRR abs/1902.10311 (2019 )export record
dblp key:
journals/corr/abs-1905-03439 share record
persistent URL:
Isaac Grosof , Ziv Scully , Mor Harchol-Balter : Load Balancing Guardrails: Keeping Your Heavy Traffic on the Road to Low Response Times. CoRR abs/1905.03439 (2019 )export record
dblp key:
journals/corr/abs-1907-02133 share record
persistent URL:
Étienne André , Paolo Arcaini , Angelo Gargantini , Marco Radavelli : Repairing Timed Automata Clock Guards through Abstraction and Testing. CoRR abs/1907.02133 (2019 )export record
dblp key:
journals/corr/abs-1907-05920 share record
persistent URL:
Steffen Smolka , Nate Foster , Justin Hsu , Tobias Kappé , Dexter Kozen , Alexandra Silva : Guarded Kleene Algebra with Tests: Verification of Uninterpreted Programs in Nearly Linear Time. CoRR abs/1907.05920 (2019 )2018 export record
dblp key:
journals/cor/CamponogaraGA18 share record
persistent URL:
Eduardo Camponogara , Luiz Alberto Guardini , Leonardo Salsano de Assis : Scheduling pumpoff operations in onshore oilfields with electric-power constraints and variable cycle time. Comput. Oper. Res. 91 : 247-257 (2018 )export record
dblp key:
journals/ijsysc/TamssaouetA18 share record
persistent URL:
Ferhat Tamssaouet , Saïd Amari : Modelling and temporal evaluation of networked control systems using timed automata with guards and (max, +) algebra. Int. J. Syst. Sci. 49 (10 ) : 2073-2088 (2018 )share record
persistent URL:
Pablo Guarda , Paula Parpart , Nigel Harvey , Juan Carlos Muñoz : Decisions about time in public transport. CogSci 2018 export record
dblp key:
conf/eurocybersec/CollenNAKGSGVTG18 share record
persistent URL:
Anastasija Collen , Niels A. Nijdam , Javier Augusto-Gonzalez , Sokratis K. Katsikas , Konstantinos M. Giannoutakis , Georgios P. Spathoulas , Erol Gelenbe , Konstantinos Votis , Dimitrios Tzovaras , Navid Ghavami , Melanie Volkamer , Piroska Haller , Alvaro Sánchez , Miltiadis Dimas : GHOST - Safe-Guarding Home IoT Environments with Personalised Real-Time Risk Control. Euro-CYBERSEC 2018 : 68-78 share record
persistent URL:
Pasquale Grippa , Evsen Yanmaz , Paul Ladinig , Christian Bettstetter : Guarded by Gamora: How Access Control Balances Out Waiting Times in Transport Systems. ITSC 2018 : 1914-1919 share record
persistent URL:
Guilherme Aramizo Ribeiro , Nina Mahmoudian , Mo Rastgaar : Time-efficient Target Guarding using Constrained Optimization in 3D Space. SSRR 2018 : 1-6 share record
persistent URL:
João Pereira , Miguel Díaz-Cacho , Susana Sargento , Andre Zuquete , Lucas Guardalben , Miguel Luís : Vehicle-to-Vehicle Real-Time Video Transmission through IEEE 802.11p for Assisted-Driving. VTC Spring 2018 : 1-6 share record
persistent URL:
Rasool Tavakoli , Majid Nabi , Twan Basten , Kees Goossens : Guard-Time Design for Symmetric Synchronization in IEEE 802.15.4 Time-Slotted Channel Hopping. VTC Spring 2018 : 1-5 export record
dblp key:
journals/corr/abs-1803-10271 share record
persistent URL:
Pasquale Grippa , Evsen Yanmaz , Paul Ladinig , Christian Bettstetter : Guarded by Gamora: How Access Control Balances Out Waiting Times in Transport Systems. CoRR abs/1803.10271 (2018 )export record
dblp key:
journals/corr/abs-1804-11088 share record
persistent URL:
Wei-Yu Lai , Tien-Ruey Hsiang : A Linear-Time Approximation Algorithm for the Orthogonal Terrain Guarding Problem. CoRR abs/1804.11088 (2018 )2017 share record
persistent URL:
Mark de Berg , Stephane Durocher , Saeed Mehrabi : Guarding monotone art galleries with sliding cameras in linear time. J. Discrete Algorithms 44 : 39-47 (2017 )share record
persistent URL:
Stanley Bak , Sergiy Bogomolov , Matthias Althoff : Time-Triggered Conversion of Guards for Reachability Analysis of Hybrid Automata. FORMATS 2017 : 133-150 share record
persistent URL:
Hussam Amrouch , Jörg Henkel : Containing Guardbands: From the Macro to Micro Time Domain. MBMV 2017 : 13-14 share record
persistent URL:
Phooi Yee Lau , Hock Woon Hon , Zulaikha Kadim , Kim Meng Liang : GuARD: A Real-Time System for Detecting Aggressive Human Behavior in Cage Environment. MIWAI 2017 : 315-322 share record
persistent URL:
Karthik Sheshadri , Nirav Ajmeri , Jessica Staddon : No (Privacy) News is Good News: An Analysis of New York Times and Guardian Privacy News from 2010-2016. PST 2017 : 159-168