Search Results - ACM: D.: Software/D.4: OPERATING SYSTEMS/D.4.0: General*

1. American Heart Association. (2021). Heart disease and stroke statistics—2021 update. Circulation, 143(8), e254-e743. 2. Rahman, M., Al Amin, M., Hasan, R., Hossain, S. T., Rahman, M. H., & Rashed, R. A. M. (2025). A Predictive AI Framework for Cardiovascular Disease Screening in the US: Integrating EHR Data with Machine and Deep Learning Models. British Journal of Nursing Studies, 5(2), 40-48. 3. ZakirHossain, M., Khan, M. M., Thapa, S., Uddin, R., Meem, E. J., Niloy, S. K., ... & Bhavani, G. D. (2025, February). Advanced Deep Learning Techniques for Precision Diagnosis of Tea Leaf Diseases. In 2025 IEEE International Conference on Emerging Technologies and Applications (MPSec ICETA) (pp. 1-6). IEEE. 4. Chen, T., & Guestrin, C. (2016). XGBoost: A scalable tree boosting system. In Proceedings of the 22nd ACM SIGKDD international conference on knowledge discovery and data mining (pp. 785-794). ACM. 5. Damen, J. A., Hooft, L., Schuit, E., Debray, T. P., Collins, G. S., Tzoulaki, I., Lassale, C. M., Siontis, G. C., Chiocchia, V., Roberts, C., Schlüssel, M. M., Gerry, S., Black, J. A., Heus, P., van der Schouw, Y. T., Peelen, L. M., & Moons, K. G. (2016). Prediction models for cardiovascular disease risk in the general population: systematic review. BMJ, 353, i2416. 6. Framingham Heart Study. (1948). Framingham Heart Study cohort research data. National Heart, Lung, and Blood Institute. 7. Johnson, A. E., Pollard, T. J., Shen, L., Lehman, L. H., Feng, M., Ghassemi, M., Moody, B., Szolovits, P., Celi, L. A., & Mark, R. G. (2016). MIMIC-III, a freely accessible critical care database. Scientific Data, 3, 160035. 8. Krittanawong, C., Zhang, H., Wang, Z., Aydar, M., & Kitai, T. (2017). Artificial intelligence in precision cardiovascular medicine. Journal of the American College of Cardiology, 69(21), 2657-2664. 9. Lundberg, S. M., & Lee, S. I. (2017). A unified approach to interpreting model predictions. In Advances in Neural Information Processing Systems 30 (NIPS 2017) (pp. 4765-4774). 10. Pedregosa, F., Varoquaux, G., Gramfort, A., Michel, V., Thirion, B., Grisel, O., Blondel, M., Prettenhofer, P., Weiss, R., Dubourg, V., Vanderplas, J., Passos, A., Cournapeau, D., Brucher, M., Perrot, M., & Duchesnay, É. (2011). Scikit-learn: Machine learning in Python. Journal of Machine Learning Research, 12, 2825–2830. 11. Shameer, K., Johnson, K. W., Glicksberg, B. S., Dudley, J. T., & Sengupta, P. P. (2018). Machine learning in cardiovascular medicine: are we there yet? Heart, 104(14), 1156-1164. 12. Steyerberg, E. W., Vergouwe, Y., & van Calster, B. (2019). Towards better clinical prediction models: seven steps for development and an ABCD for validation. European Heart Journal, 40(15), 1255–1264. 13. Sudlow, C., Gallacher, J., Allen, N., Beral, V., Burton, P., Danesh, J., Downey, P., Elliott, P., Green, J., Landray, M., Liu, B., Matthews, P., Ong, G., Pell, J., Silman, A., Young, A., Sprosen, T., Peakman, T., & Collins, R. (2015). UK biobank: an open access resource for identifying the causes of a wide range of complex diseases of middle and old age. PLOS Medicine, 12(3), e1001779. 14. Weng, S. F., Reps, J., Kai, J., Garibaldi, J. M., & Qureshi, N. (2017). Can machine-learning improve cardiovascular risk prediction using routine clinical data? PLOS ONE, 12(4), e0174944. 15. World Health Organization. (2021). Cardiovascular diseases (CVDs). Retrieved from https://www.who.int/news-room/fact-sheets/detail/cardiovascular-diseases-(cvds) 16. Abadi, M., Barham, P., Chen, J., Chen, Z., Davis, A., Dean, J., Devin, M., Ghemawat, S., Irving, G., Isard, M., Kudlur, M., Levenberg, J., Monga, R., Moore, S., Murray, D. G., Steiner, B., Tucker, P., Vasudevan, V., Warden, P., ... Zheng, X. (2016). TensorFlow: A system for large-scale machine learning. In 12th USENIX symposium on operating systems design and implementation (OSDI 16) (pp. 265–283). 17. Chollet, F. (2015). Keras (Version 2.4.0) [Computer software]. https://github.com/fchollet/keras

Authors: Okunola, Abiodun

HARS: A Hardware-Assisted Runtime Software for embedded many-core architectures

Authors: Lhuillier, Y. Ojail, M. Guerre, A. et al.

Contributors: Lhuillier, Y. Ojail, M. Guerre, A. et al.

Source: ISSN: 1539-9087.

Subject Terms: B.5.0 [Register-Transfer-Level Implementation]: General, ACM: D.: Software/D.4: OPERATING SYSTEMS/D.4.7: Organization and Design/D.4.7.4: Real-time systems and embedded systems, ACM: D.: Software/D.4: OPERATING SYSTEMS/D.4.1: Process Management, ACM: C.: Computer Systems Organization/C.1: PROCESSOR ARCHITECTURES/C.1.4: Parallel Architectures, ACM: B.: Hardware/B.5: REGISTER-TRANSFER-LEVEL IMPLEMENTATION, [INFO]Computer Science [cs]

Availability: https://cea.hal.science/cea-01818892
https://doi.org/10.1145/2517311

Papers from the Third ACM Symposium on Operating Systems Principles.

Authors: Denning, Peter J. Randell, Brian

Source: Communications of the ACM; Mar1972, Vol. 15 Issue 3, p133-134, 2p

Subject Terms: COMPUTER operating systems, RESEARCH, CONFERENCES & conventions, COMPUTER software, SYSTEMS software

Company/Entity: ASSOCIATION for Computing Machinery

Proposal for a suspend/resume extension to the OSGi specification

Authors: Dunklau, Ronan Frénot, Stéphane Ambient Middleware Architectures: Service-Oriented, Networked, Efficient and Secured (AMAZONES) et al.

Contributors: Dunklau, Ronan Frénot, Stéphane Ambient Middleware Architectures: Service-Oriented, Networked, Efficient and Secured (AMAZONES) et al.

Source: https://inria.hal.science/inria-00423866 ; [Technical Report] RR-7060, INRIA. 2009, pp.21.

Subject Terms: OSGi suspend resume extension, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.6: Programming Environments, ACM: D.: Software/D.4: OPERATING SYSTEMS/D.4.0: General, [INFO.INFO-OS]Computer Science [cs]/Operating Systems [cs.OS]

Availability: https://inria.hal.science/inria-00423866
https://inria.hal.science/inria-00423866v1/document
https://inria.hal.science/inria-00423866v1/file/RR-7060.pdf

Efficient Testing of Recovery Code Using Fault Injection 11:37

Authors: Paul D. Marinescu George Candea The Pennsylvania State University CiteSeerX Archives

Contributors: Paul D. Marinescu George Candea The Pennsylvania State University CiteSeerX Archives

Source: http://dslab.epfl.ch/pubs/faultInjection.pdf.

Subject Terms: Categories and Subject Descriptors, D.4.5 [Operating Systems, Reliability—Fault-tolerance, D.2.5 [Software Engineering, Testing and Debugging—Testing tools General Terms, Reliability Additional Key Words and Phrases, Fault injection, automated testing ACM Reference Format

File Description: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.485.9452; http://dslab.epfl.ch/pubs/faultInjection.pdf

Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.485.9452
http://dslab.epfl.ch/pubs/faultInjection.pdf

A conceptual meta-model for secured information systems

Authors: Lammari, Nadira Bucumi, Jean-Sylvain Akoka, Jacky et al.

Contributors: Lammari, Nadira Bucumi, Jean-Sylvain Akoka, Jacky et al.

Source: ICSE 2011 : 33rd International Conference on Software Engineering, 7th International Workshops on Software Engineering for Secure Systems (SESS 2011) ; https://hal.science/hal-01125862 ; ICSE 2011 : 33rd International Conference on Software Engineering, 7th International Workshops on Software Engineering for Secure Systems (SESS 2011), May 2011, Waikiki, Honolulu, Hawaii, United States. pp.22-28, ⟨10.1145/1988630.1988635⟩

Subject Terms: Model Driven Approach, Information System, Security, Sécurité, Système d'information, Approche Model Driven, ACM: H.: Information Systems/H.1: MODELS AND PRINCIPLES, ACM: H.: Information Systems/H.2: DATABASE MANAGEMENT/H.2.0: General, ACM: D.: Software/D.4: OPERATING SYSTEMS/D.4.6: Security and Protection, [INFO]Computer Science [cs], [INFO.INFO-DB]Computer Science [cs]/Databases [cs.DB]

Subject Geographic: Waikiki, Honolulu, Hawaii, United States

Availability: https://hal.science/hal-01125862
https://doi.org/10.1145/1988630.1988635

NEWS.

Source: Communications of the ACM; Jul1970, Vol. 13 Issue 7, p454-459, 6p

Subject Terms: ASSOCIATIONS, institutions, etc., CONFERENCES & conventions, COMPUTER operating systems, COMPUTER programming, MEMBERSHIP, SYSTEMS software

Geographic Terms: UNITED States

Component-Based Real-Time Operating System for Embedded Applications

Authors: Loiret, Frédéric Navas, Juan Babau, Jean-Philippe et al.

Contributors: Loiret, Frédéric Navas, Juan Babau, Jean-Philippe et al.

Source: 12th International ACM SIGSOFT Symposium on Component-Based Software Engineering (CBSE'09)
https://inria.hal.science/inria-00437949
12th International ACM SIGSOFT Symposium on Component-Based Software Engineering (CBSE'09), Jun 2009, East Stroudsburg, United States. pp.209-226

Subject Terms: ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.11: Software Architectures, ACM: D.: Software/D.4: OPERATING SYSTEMS, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE], [INFO.INFO-ES]Computer Science [cs]/Embedded Systems, [INFO.INFO-OS]Computer Science [cs]/Operating Systems [cs.OS]

Subject Geographic: East Stroudsburg, United States

Availability: https://inria.hal.science/inria-00437949
https://inria.hal.science/inria-00437949v1/document
https://inria.hal.science/inria-00437949v1/file/Loiret_Navas_Babau_Lobry-CBSE09.pdf

ACM SPECIAL INTEREST GROUPS.

Source: Communications of the ACM; Aug1983, Vol. 26 Issue 8, p569-569, 2/3p

Subject Terms: LISTS, COMPUTER operating systems, COMPUTER software, COMPUTER architecture, COMPUTER systems

acm forum.

Authors: Ousterhout, John K. Parnas, David Lorge Sheppard, Sylvia B. et al.

Source: Communications of the ACM; Aug1981, Vol. 24 Issue 8, p546-549, 4p

Subject Terms: LETTERS to the editor, COMPUTER science, COMPUTER operating systems, COMPUTER software, INFORMATION technology, COMPUTER programming

RsaML : A Domain Specific Modeling Language for describing Robotic software architectures with integration of real time properties

Authors: Monthé, Valéry, M. Nana, Laurent Tchamnda Kouamou, Georges-Edouard et al.

Contributors: Monthé, Valéry, M. Nana, Laurent Tchamnda Kouamou, Georges-Edouard et al.

Source: ESWEEK 2016 - Proceedings of the Embedded Operating Systems Workshop co-located with the Embedded Systems Week, ACM, IEEE ; https://hal.univ-brest.fr/hal-01519475 ; ESWEEK 2016 - Proceedings of the Embedded Operating Systems Workshop co-located with the Embedded Systems Week, ACM, IEEE, Oct 2016, Pittsburgh PA, United States ; http://ceur-ws.org/Vol-1697/

Subject Terms: Eclipse EMF, real-time and embedded system, MDE, domain specic modeling lan- guage, robotics software architecture, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.11: Software Architectures/D.2.11.1: Domain-specific architectures, ACM: D.: Software/D.4: OPERATING SYSTEMS/D.4.7: Organization and Design/D.4.7.4: Real-time systems and embedded systems, ACM: I.: Computing Methodologies/I.2: ARTIFICIAL INTELLIGENCE/I.2.9: Robotics, [INFO]Computer Science [cs]

Subject Geographic: Pittsburgh PA, United States

Availability: https://hal.univ-brest.fr/hal-01519475

Going beyond mean and median programs performances

Authors: Worms, Julien Touati, Sid Laboratoire de Mathématiques de Versailles (LMV) et al.

Contributors: Worms, Julien Touati, Sid Laboratoire de Mathématiques de Versailles (LMV) et al.

Source: IEEE MCSoC 2016 : IEEE 10th International Symposium on Embedded Multicore/Many-core Systems-on-Chip ; https://inria.hal.science/hal-01371467 ; IEEE MCSoC 2016 : IEEE 10th International Symposium on Embedded Multicore/Many-core Systems-on-Chip, Sep 2016, Lyon, France. ⟨10.1109/MCSoC.2016.14⟩

Subject Terms: parametric statistics, programs performances variability, gaussians mixture, programs performances modelling, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.8: Metrics/D.2.8.1: Performance measures, ACM: D.: Software/D.4: OPERATING SYSTEMS/D.4.8: Performance, ACM: H.: Information Systems/H.3: INFORMATION STORAGE AND RETRIEVAL/H.3.4: Systems and Software/H.3.4.3: Performance evaluation (efficiency and effectiveness), ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.4: Software/Program Verification/D.2.4.7: Statistical methods, [SCCO.COMP]Cognitive science/Computer science, [INFO.INFO-PF]Computer Science [cs]/Performance [cs.PF], [STAT.AP]Statistics [stat]/Applications [stat.AP]

Subject Geographic: Lyon, France

Availability: https://inria.hal.science/hal-01371467
https://inria.hal.science/hal-01371467v1/document
https://inria.hal.science/hal-01371467v1/file/MCSoC-16-Worms-Touati.pdf
https://doi.org/10.1109/MCSoC.2016.14

Tolerating Random Byzantine Failures in an Unbounded Network

Authors: Maurer, Alexandre Tixeuil, Sébastien Ecole Polytechnique Fédérale de Lausanne (EPFL) et al.

Contributors: Maurer, Alexandre Tixeuil, Sébastien Ecole Polytechnique Fédérale de Lausanne (EPFL) et al.

Source: ISSN: 0129-6264.

Subject Terms: Byzantine failures, reliable communication, distributed computing, random failures, scalability, grid, ACM: C.: Computer Systems Organization/C.2: COMPUTER-COMMUNICATION NETWORKS/C.2.4: Distributed Systems, ACM: C.: Computer Systems Organization/C.2: COMPUTER-COMMUNICATION NETWORKS/C.2.1: Network Architecture and Design, ACM: C.: Computer Systems Organization/C.2: COMPUTER-COMMUNICATION NETWORKS/C.2.2: Network Protocols, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.1: Requirements/Specifications, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.2: Design Tools and Techniques, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.5: Testing and Debugging, ACM: D.: Software/D.4: OPERATING SYSTEMS/D.4.5: Reliability, ACM: D.: Software/D.4: OPERATING SYSTEMS/D.4.6: Security and Protection, [INFO.INFO-DC]Computer Science [cs]/Distributed, Parallel, and Cluster Computing [cs.DC], [INFO.INFO-CR]Computer Science [cs]/Cryptography and Security [cs.CR], [INFO.INFO-DS]Computer Science [cs]/Data Structures and Algorithms [cs.DS], [INFO.INFO-NI]Computer Science [cs]/Networking and Internet Architecture [cs.NI], [INFO.INFO-PF]Computer Science [cs]/Performance [cs.PF], [INFO.INFO-SY]Computer Science [cs]/Systems and Control [cs.SY], envir, manag

Relation: https://hal.sorbonne-universite.fr/hal-01294311

Availability: https://hal.sorbonne-universite.fr/hal-01294311

ACM Proceedings and Special Publications.

Source: Communications of the ACM; Mar1982, Vol. 25 Issue 3, p165-165, 2/3p

Subject Terms: COMPUTER operating systems, COMPUTER architecture, COMPUTER software, PROGRAMMING languages, COMPUTER science, BIBLIOGRAPHY

Company/Entity: ASSOCIATION for Computing Machinery

From an intermittent rotating star to a leader

Authors: Fernández, Antonio Raynal, Michel Laboratorio de Algoritmia Distribuida y Redes (LADyR) et al.

Contributors: Fernández, Antonio Raynal, Michel Laboratorio de Algoritmia Distribuida y Redes (LADyR) et al.

Source: https://inria.hal.science/inria-00089975 ; [Research Report] PI 1810, 2006, pp.19.

Subject Terms: Systèmes répartis asynchrones, Tolérance aux fautes, Crash de processus, Oracle oméga, Détection de fautes, Leader inéluctable, Synchronie partielle\\ Assumption coverage, Asynchronous system, Distributed algorithm, Eventual $t$-source, Eventual leader, Failure detector, Fault-tolerance, Message pattern, Moving source, Omega, Partial synchrony, Process crash, System model, Timely link, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.5: Testing and Debugging, ACM: D.: Software/D.4: OPERATING SYSTEMS/D.4.5: Reliability, ACM: D.: Software/D.4: OPERATING SYSTEMS/D.4.1: Process Management, [INFO.INFO-OS]Computer Science [cs]/Operating Systems [cs.OS]

Relation: Report N°: PI 1810

Availability: https://inria.hal.science/inria-00089975
https://inria.hal.science/inria-00089975/document
https://inria.hal.science/inria-00089975/file/PI-1810.pdf

Methods and tools for the design of embedded software for highly constrained device ; Élements de conception de systèmes embarqués fortement contraints

Authors: Hauspie, Michaël Centre de Recherche en Informatique, Signal et Automatique de Lille - UMR 9189 (CRIStAL) Centrale Lille-Université de Lille-Centre National de la Recherche Scientifique (CNRS) et al.

Contributors: Hauspie, Michaël Centre de Recherche en Informatique, Signal et Automatique de Lille - UMR 9189 (CRIStAL) Centrale Lille-Université de Lille-Centre National de la Recherche Scientifique (CNRS) et al.

Source: https://hal.science/tel-01104105 ; Systèmes embarqués. Université Lille 1, 2014.

Subject Terms: embedded systems, sensors network, network intrusion detection, smart cards, internet of things, energy aware protocols, économie d'énergie, réseaux de capteurs, détection d'intrusions réseau, cartes à puce, internet des objets, systèmes embarqués, ACM: D.: Software/D.4: OPERATING SYSTEMS, ACM: D.: Software/D.4: OPERATING SYSTEMS/D.4.6: Security and Protection/D.4.6.4: Invasive software (e.g., viruses, worms, Trojan horses), ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.3: Language Constructs and Features, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.2: Design Tools and Techniques, ACM: D.: Software/D.4: OPERATING SYSTEMS/D.4.4: Communications Management/D.4.4.3: Network communication, ACM: C.: Computer Systems Organization/C.2: COMPUTER-COMMUNICATION NETWORKS/C.2.4: Distributed Systems, ACM: C.: Computer Systems Organization/C.2: COMPUTER-COMMUNICATION NETWORKS/C.2.2: Network Protocols, ACM: C.: Computer Systems Organization/C.5: COMPUTER SYSTEM IMPLEMENTATION/C.5.3: Microcomputers, [INFO.INFO-ES]Computer Science [cs]/Embedded Systems, [INFO.INFO-OS]Computer Science [cs]/Operating Systems [cs.OS], [INFO.INFO-NI]Computer Science [cs]/Networking and Internet Architecture [cs.NI], [INFO.INFO-MC]Computer Science [cs]/Mobile Computing

Availability: https://hal.science/tel-01104105
https://hal.science/tel-01104105v1/document
https://hal.science/tel-01104105v1/file/hauspie-hdr.pdf

Reproducible and User-Controlled Software Environments in HPC with Guix

Authors: Courtès, Ludovic Wurmus, Ricardo Service Expérimentation et Développement Bordeaux (SED) et al.

Contributors: Courtès, Ludovic Wurmus, Ricardo Service Expérimentation et Développement Bordeaux (SED) et al.

Source: 2nd International Workshop on Reproducibility in Parallel Computing (RepPar)
https://inria.hal.science/hal-01161771
2nd International Workshop on Reproducibility in Parallel Computing (RepPar), Aug 2015, Vienne, Austria
http://reppar.org/

Subject Terms: hpc, reproducible research, package management, gestion de paquets, répétabilité, calcul intensif, ACM: D.: Software/D.4: OPERATING SYSTEMS/D.4.5: Reliability/D.4.5.3: Verification, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.9: Management/D.2.9.5: Software configuration management, [INFO.INFO-DC]Computer Science [cs]/Distributed, Parallel, and Cluster Computing [cs.DC], [INFO.INFO-OS]Computer Science [cs]/Operating Systems [cs.OS], [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE]

Subject Geographic: Vienne, Austria

Relation: info:eu-repo/semantics/altIdentifier/arxiv/1506.02822; ARXIV: 1506.02822

Availability: https://inria.hal.science/hal-01161771
https://inria.hal.science/hal-01161771v2/document
https://inria.hal.science/hal-01161771v2/file/reproducible-hpc.pdf

A Decision Support Framework for the Choice of Languages and Methods for the Design of Real Time Embedded Systems

Authors: Monthé, Valéry, M. Nana, Laurent Tchamnda Kouamou, Georges-Edouard et al.

Contributors: Monthé, Valéry, M. Nana, Laurent Tchamnda Kouamou, Georges-Edouard et al.

Source: Journal of Software Engineering and Applications. :353-397

Subject Terms: Design Method, Comparison Criteria, Embedded System, [INFO]Computer Science [cs], Real-Time System, Modelling Language, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.2: Design Tools and Techniques, ACM: D.: Software/D.4: OPERATING SYSTEMS/D.4.7: Organization and Design/D.4.7.4: Real-time systems and embedded systems

Access URL: http://www.scirp.org/journal/PaperDownload.aspx?paperID=69283
https://www.scirp.org/journal/PaperInformation.aspx?PaperID=69283
https://file.scirp.org/Html/4-9302171_69283.htm
https://m.scirp.org/papers/69283

No Such Thing as a General- Purpose Processor.

Authors: CHISNALL, DAVID

Source: Communications of the ACM; Dec2014, Vol. 57 Issue 12, p44-48, 5p, 2 Color Photographs

Subject Terms: MICROPROCESSORS, CENTRAL processing units, COMPUTER operating systems, COMPUTER software, CACHE memory, COMPUTER systems

Testing Real-Time Systems With Runtime Enforcement

Authors: Jean-Luc Bechennec Sebastien Faucou Olivier H. Roux et al.

Contributors: Jean-Luc Bechennec Sebastien Faucou Olivier H. Roux et al.

Source: IEEE Design & Test. 35:31-37

Subject Terms: formal methods, real-time testing, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.5: Testing and Debugging, 0102 computer and information sciences, 02 engineering and technology, 7. Clean energy, 01 natural sciences, ACM: D.: Software/D.4: OPERATING SYSTEMS/D.4.5: Reliability, ACM: D.: Software/D.4: OPERATING SYSTEMS/D.4.7: Organization and Design/D.4.7.4: Real-time systems and embedded systems, model-based testing, real-time systems, runtime enforcement, parametric timed model, 13. Climate action, RTOS, 0202 electrical engineering, electronic engineering, information engineering, [INFO.INFO-ES]Computer Science [cs]/Embedded Systems

Access URL: https://hal.archives-ouvertes.fr/hal-01713193/file/DT_DTSI-2017-03-0068.R1_Faucou.pdf
https://hal.archives-ouvertes.fr/hal-01713193/document
https://doi.org/10.1109/MDAT.2018.2791801
https://dblp.uni-trier.de/db/journals/dt/dt35.html#BechennecFRBG18
https://hal.archives-ouvertes.fr/hal-01713193
http://doi.org/10.1109/MDAT.2018.2791801
https://ieeexplore.ieee.org/document/8253506/