{"content":[{"text":"Runtime Enforcement of Parametric Timed Properties \n with Practical Applications \n Srinivas Pinisetty, Yliès Falcone, Thierry Jéron, Hervé Marchand","bbox":{"left":0.135422,"top":0.28302,"width":0.7805759999999999,"height":0.08010099999999998}},{"text":"To cite this version: \n Srinivas Pinisetty, Yliès Falcone, Thierry Jéron, Hervé Marchand. Runtime Enforcement of Paramet- \n ric Timed Properties with Practical Applications. IEEE International Workshop on Discrete Event \n Systems, May 2014, Cachan, France. pp.420-427. hal-00974548","bbox":{"left":0.131662,"top":0.416689,"width":0.8095330000000001,"height":0.08386300000000002}},{"text":"HAL Id: hal-00974548 \n https://hal.inria.fr/hal-00974548 \n Submitted on 7 Apr 2014","bbox":{"left":0.305465,"top":0.667864,"width":0.389045,"height":0.07521199999999995}},{"text":"HAL is a multi-disciplinary open access \n archive for the deposit and dissemination of sci- \n entific research documents, whether they are pub- \n lished or not. The documents may come from \n teaching and research institutions in France or \n abroad, or from public or private research centers.","bbox":{"left":0.095238,"top":0.799809,"width":0.396409,"height":0.09890699999999997}},{"text":"L’archive ouverte pluridisciplinaire HAL, est \n destinée au dépôt et à la diffusion de documents \n scientifiques de niveau recherche, publiés ou non, \n émanant des établissements d’enseignement et de \n recherche français ou étrangers, des laboratoires \n publics ou privés.","bbox":{"left":0.508364,"top":0.799809,"width":0.39640999999999993,"height":0.09890699999999997}}],"images_bbox":[{"left":0.424521,"top":0.054944,"width":0.20238,"height":0.080282},{"left":0.120951,"top":0.425109,"width":0.013389,"height":0.010955}],"images_bbox_not_text_overlap":[{"left":0.424521,"top":0.054944,"width":0.20238,"height":0.080282},{"left":0.120951,"top":0.425109,"width":0.013389,"height":0.010955}]}