ScienceGate
Advanced Search
Author Search
Journal Finder
Blog
Sign in / Sign up
ScienceGate
Search
Author Search
Journal Finder
Blog
Sign in / Sign up
2019 24th International Conference on Engineering of Complex Computer Systems (ICECCS)
Latest Publications
TOTAL DOCUMENTS
35
(FIVE YEARS 35)
H-INDEX
2
(FIVE YEARS 2)
Published By IEEE
9781728146461
Latest Documents
Most Cited Documents
Contributed Authors
Related Sources
Related Keywords
Latest Documents
Most Cited Documents
Contributed Authors
Related Sources
Related Keywords
Efficient Contention-Aware Scheduling of SDF Graphs on Shared Multi-Bank Memory
2019 24th International Conference on Engineering of Complex Computer Systems (ICECCS)
◽
10.1109/iceccs.2019.00020
◽
2019
◽
Author(s):
Hai Nam Tran
◽
Alexandre Honorat
◽
Jean-Pierre Talpin
◽
Thierry Gautier
◽
Loic Besnard
Download Full-text
Bi-Abductive Inference for Shape and Ordering Properties
2019 24th International Conference on Engineering of Complex Computer Systems (ICECCS)
◽
10.1109/iceccs.2019.00031
◽
2019
◽
Author(s):
Christopher Curry
◽
Quang Loc Le
◽
Shengchao Qin
Keyword(s):
Abductive Inference
Download Full-text
LTL Model Checking of Self Modifying Code
2019 24th International Conference on Engineering of Complex Computer Systems (ICECCS)
◽
10.1109/iceccs.2019.00008
◽
2019
◽
Author(s):
Tayssir Touili
◽
Xin Ye
Keyword(s):
Model Checking
◽
Ltl Model Checking
Download Full-text
Efficient Retiming of Unfolded Synchronous Dataflow Graphs
2019 24th International Conference on Engineering of Complex Computer Systems (ICECCS)
◽
10.1109/iceccs.2019.00022
◽
2019
◽
Author(s):
Xue-Yang Zhu
Keyword(s):
Dataflow Graphs
◽
Synchronous Dataflow
◽
Synchronous Dataflow Graphs
Download Full-text
Checking Multi-Agent Systems Against Temporal-Epistemic Specifications
2019 24th International Conference on Engineering of Complex Computer Systems (ICECCS)
◽
10.1109/iceccs.2019.00010
◽
2019
◽
Author(s):
Ran Chen
◽
Wenhui Zhang
Keyword(s):
Multi Agent Systems
◽
Agent Systems
◽
Multi Agent
Download Full-text
Toward New Unit-Testing Techniques for Shared-Memory Concurrent Programs
2019 24th International Conference on Engineering of Complex Computer Systems (ICECCS)
◽
10.1109/iceccs.2019.00025
◽
2019
◽
Author(s):
Sung-Shik Jongmans
Keyword(s):
Shared Memory
◽
Concurrent Programs
◽
Unit Testing
◽
Testing Techniques
Download Full-text
Organizing Committee
2019 24th International Conference on Engineering of Complex Computer Systems (ICECCS)
◽
10.1109/iceccs.2019.00006
◽
2019
◽
Download Full-text
Industry-Oriented Project-Based Learning of Software Engineering
2019 24th International Conference on Engineering of Complex Computer Systems (ICECCS)
◽
10.1109/iceccs.2019.00013
◽
2019
◽
Cited By ~ 4
Author(s):
Maria Spichkova
Keyword(s):
Software Engineering
◽
Project Based Learning
Download Full-text
Behaviour-Driven Formal Model Development of the ETCS Hybrid Level 3
2019 24th International Conference on Engineering of Complex Computer Systems (ICECCS)
◽
10.1109/iceccs.2019.00018
◽
2019
◽
Author(s):
Michael Butler
◽
Peter Tummeltshammer
◽
Dana Dghaym
◽
Thai Son Hoang
◽
Tope Omitola
◽
...
Keyword(s):
Formal Model
◽
Model Development
◽
Level 3
Download Full-text
Table of contents
2019 24th International Conference on Engineering of Complex Computer Systems (ICECCS)
◽
10.1109/iceccs.2019.00004
◽
2019
◽
Download Full-text
Load More ...
Sign in / Sign up
Close
Export Citation Format
Close
Share Document
Close