Proceedings of the 15th ACM-IEEE International Conference on Formal Methods and Models for System Design - MEMOCODE '17
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By ACM Press

9781450350938

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Efficient realization of logical execution times in legacy embedded software

Proceedings of the 15th ACM-IEEE International Conference on Formal Methods and Models for System Design - MEMOCODE '17 ◽

10.1145/3127041.3127054 ◽

2017 ◽

Cited By ~ 4

Author(s):

Stefan Resmerita ◽

Andreas Naderlinger ◽

Stefan Lukesch

Keyword(s):

Embedded Software ◽

Execution Times ◽

Efficient Realization

Download Full-text

Elevate embedded real-time programming with a synchronous language

Proceedings of the 15th ACM-IEEE International Conference on Formal Methods and Models for System Design - MEMOCODE '17 ◽

10.1145/3127041.3131363 ◽

2017 ◽

Author(s):

Franz-Josef Grosch

Keyword(s):

Real Time ◽

Synchronous Language

Download Full-text

Compositional dataflow circuits

Proceedings of the 15th ACM-IEEE International Conference on Formal Methods and Models for System Design - MEMOCODE '17 ◽

10.1145/3127041.3127055 ◽

2017 ◽

Cited By ~ 5

Author(s):

Stephen A. Edwards ◽

Richard Townsend ◽

Martha A. Kim

Download Full-text

Hyperproperties of real-valued signals

Proceedings of the 15th ACM-IEEE International Conference on Formal Methods and Models for System Design - MEMOCODE '17 ◽

10.1145/3127041.3127058 ◽

2017 ◽

Cited By ~ 9

Author(s):

Luan Viet Nguyen ◽

James Kapinski ◽

Xiaoqing Jin ◽

Jyotirmoy V. Deshmukh ◽

Taylor T. Johnson

Download Full-text

Formal verification of complex systems

Proceedings of the 15th ACM-IEEE International Conference on Formal Methods and Models for System Design - MEMOCODE '17 ◽

10.1145/3127041.3131362 ◽

2017 ◽

Cited By ~ 2

Author(s):

Alessandro Abate

Keyword(s):

Complex Systems ◽

Formal Verification

Download Full-text

Using the coq theorem prover to verify complex data structure invariants

Proceedings of the 15th ACM-IEEE International Conference on Formal Methods and Models for System Design - MEMOCODE '17 ◽

10.1145/3127041.3127061 ◽

2017 ◽

Author(s):

Kenneth Roe ◽

Scott F. Smith

Keyword(s):

Data Structure ◽

Theorem Prover ◽

Complex Data ◽

Complex Data Structure

Download Full-text

Simulation of cyber-physical systems using IEC61499

Proceedings of the 15th ACM-IEEE International Conference on Formal Methods and Models for System Design - MEMOCODE '17 ◽

10.1145/3127041.3127052 ◽

2017 ◽

Author(s):

Hammond A. Pearce ◽

Matthew M. Y. Kuo ◽

Nathan Allen ◽

Partha S. Roop ◽

Avinash Malik

Keyword(s):

Cyber Physical Systems ◽

Physical Systems

Download Full-text

Property templates for checking source code security

Proceedings of the 15th ACM-IEEE International Conference on Formal Methods and Models for System Design - MEMOCODE '17 ◽

10.1145/3127041.3127063 ◽

2017 ◽

Author(s):

Elizabeth I. Leonard ◽

Myla M. Archer ◽

Constance L. Heitmeyer

Keyword(s):

Source Code ◽

Code Security

Download Full-text

A core calculus for secure hardware

Proceedings of the 15th ACM-IEEE International Conference on Formal Methods and Models for System Design - MEMOCODE '17 ◽

10.1145/3127041.3127048 ◽

2017 ◽

Author(s):

Thomas N. Reynolds ◽

Adam Procter ◽

William L. Harrison ◽

Gerard Allwein

Keyword(s):

Secure Hardware

Download Full-text

Extraction of missing formal assumptions in under-constrained designs

Proceedings of the 15th ACM-IEEE International Conference on Formal Methods and Models for System Design - MEMOCODE '17 ◽

10.1145/3127041.3127046 ◽

2017 ◽

Cited By ~ 1

Author(s):

Guillaume Plassan ◽

Katell Morin-Allory ◽

Dominique Borrione

Download Full-text

Proceedings of the 15th ACM-IEEE International Conference on Formal Methods and Models for System Design - MEMOCODE '17Latest Publications

TOTAL DOCUMENTS

H-INDEX

Published By ACM Press

Efficient realization of logical execution times in legacy embedded software

Elevate embedded real-time programming with a synchronous language

Compositional dataflow circuits

Hyperproperties of real-valued signals

Formal verification of complex systems

Using the coq theorem prover to verify complex data structure invariants

Simulation of cyber-physical systems using IEC61499

Property templates for checking source code security

A core calculus for secure hardware

Extraction of missing formal assumptions in under-constrained designs

Proceedings of the 15th ACM-IEEE International Conference on Formal Methods and Models for System Design - MEMOCODE '17
Latest Publications