Frank Singhoff

According to our database1, Frank Singhoff authored at least 58 papers between 2004 and 2023.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2023
Work-In-Progress: Could Tensorflow Applications Benefit from a Mixed-Criticality Approach?
Proceedings of the IEEE Real-Time Systems Symposium, 2023

2022
Modèle multi-agent d'auto-organisation pour le butinage au sein d'une colonie d'abeilles.
ROIA, 2022

Specification of schedulability assumptions to leverage multiprocessor Analysis.
J. Syst. Archit., 2022

Observing the Impact of Multicore Execution Platform for TSP Systems Under Schedulability, Security and Safety Constraints.
Proceedings of the Computer Safety, Reliability, and Security. SAFECOMP 2022 Workshops, 2022

2021
EZIOTracer: Unifying Kernel and User Space I/O Tracing for Data-Intensive Applications.
ACM SIGOPS Oper. Syst. Rev., 2021

Feasibility interval and sustainable scheduling simulation with CRPD on uniprocessor platform.
J. Syst. Archit., 2021

ECTM: A network-on-chip communication model to combine task and message schedulability analysis.
J. Syst. Archit., 2021

Work-in-Progress: Models and Tools to Detect Real-Time Scheduling Anomalies.
Proceedings of the 42nd IEEE Real-Time Systems Symposium, 2021

2020
An Interruptible Task Allocation Model - Application to a Honey Bee Colony Simulation.
Proceedings of the Advances in Practical Applications of Agents, Multi-Agent Systems, and Trustworthiness. The PAAMS Collection, 2020

When security affects schedulability of TSP systems: trade-offs observed by design space exploration.
Proceedings of the 25th IEEE International Conference on Emerging Technologies and Factory Automation, 2020

2019
Design and Multi-Abstraction-Level Evaluation of a NoC Router for Mixed-Criticality Real-Time Systems.
ACM J. Emerg. Technol. Comput. Syst., 2019

Combined Security and Schedulability Analysis for MILS Real-Time Critical Architectures.
Proceedings of the 4th International Workshop on Security and Dependability of Critical Embedded Real-Time Systems, 2019

2018
Multi-objective design exploration approach for Ravenscar real-time systems.
Real Time Syst., 2018

Toward a Complete Agent-Based Model of a Honeybee Colony.
Proceedings of the Highlights of Practical Applications of Agents, Multi-Agent Systems, and Complexity: The PAAMS Collection, 2018

Recrutement et auto-organisation : Vers un modèle multi-agent complet d'une colonie d'abeilles.
Proceedings of the Distribution et Décentralisation, 2018

2017
MONTRES : Merge ON-the-Run External Sorting Algorithm for Large Data Volumes on SSD Based Storage Systems.
IEEE Trans. Computers, 2017

DTFM: a flexible model for schedulability analysis of real-time applications on NoC-based architectures.
SIGBED Rev., 2017

Scheduling analysis of tasks constrained by TDMA: Application to software radio protocols.
J. Syst. Archit., 2017

Modeling and Validation of a Mixed-Criticality NoC Router Using the IF Language.
Proceedings of the 10th International Workshop on Network on Chip Architectures, 2017

DAS: An Efficient NoC Router for Mixed-Criticality Real-Time Systems.
Proceedings of the 2017 IEEE International Conference on Computer Design, 2017

2016
Integrating I/Os in Cloudsim for Performance and Energy Estimation.
ACM SIGOPS Oper. Syst. Rev., 2016

Cache-aware real-time scheduling simulator: implementation and return of experience.
SIGBED Rev., 2016

Considering I/O Processing in CloudSim for Performance and Energy Evaluation.
Proceedings of the High Performance Computing, 2016

Efficient parallel multi-objective optimization for real-time systems software design exploration.
Proceedings of the 2016 International Symposium on Rapid System Prototyping, 2016

A Cost Model for Virtual Machine Storage in Cloud IaaS Context.
Proceedings of the 24th Euromicro International Conference on Parallel, 2016

Lynx: a learning linux prefetching mechanism for SSD performance model.
Proceedings of the 5th Non-Volatile Memory Systems and Applications Symposium, 2016

2015
Architecture Exploration of Real-Time Systems Based on Multi-objective Optimization.
Proceedings of the 20th International Conference on Engineering of Complex Computer Systems, 2015

Addressing cache related preemption delay in fixed priority assignment.
Proceedings of the 20th IEEE Conference on Emerging Technologies & Factory Automation, 2015

2014
Scheduling analysis from architectural models of embedded multi-processor systems.
SIGBED Rev., 2014

Composition of design patterns: from the modeling of RTOS synchronization tools to schedulability analysis.
SIGBED Rev., 2014

A multi-level I/O tracer for timing and performance storage systems in IaaS cloud.
Proceedings of the REACTION 2014, 2014

Architecture models refinement for fine grain timing analysis of embedded systems.
Proceedings of the 25nd IEEE International Symposium on Rapid System Prototyping, 2014

Modeling Shared-Memory Multiprocessor Systems with AADL.
Proceedings of the First International Workshop on Architecture Centric Virtual Integration co-located with the 17th International Conference on Model Driven Engineering Languages and Systems, 2014

Synchronization of Models of Rich Languages with Triple Graph Grammars: An Experience Report.
Proceedings of the Theory and Practice of Model Transformations, 2014

Scheduling Analysis of TDMA-Constrained Tasks: Illustration with Software Radio Protocols.
Proceedings of the 2014 IEEE International Conference on High Performance Computing and Communications, 2014

Integration of Cache Related Preemption Delay Analysis in Priority Assignment Algorithm.
Proceedings of the Embed With Linux 2014 Workshop, Lisboa, Portugal, November 13-14, 2014., 2014

Instruction Cache in Hard Real-Time Systems: Modeling and Integration in Scheduling Analysis Tools with AADL.
Proceedings of the 12th IEEE International Conference on Embedded and Ubiquitous Computing, 2014

Extending schedulability tests of tree-shaped transactions for TDMA radio protocols.
Proceedings of the 2014 IEEE Emerging Technology and Factory Automation, 2014

2013
Enforcing software engineering tools interoperability: An example with AADL subsets.
Proceedings of the 24th IEEE International Symposium on Rapid System Prototyping, 2013

Deterministic implementation of periodic-delayed communications and experimentation in AADL.
Proceedings of the 16th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, 2013

2012
Applicability of real-time schedulability analysis on a software radio protocol.
Proceedings of the 2012 ACM Conference on High Integrity Language Technology, 2012

2011
Architecture, mechanisms and scheduling analysis tool for multicore time- and space-partitioned systems.
SIGBED Rev., 2011

Building embedded real-time applications.
Proceedings of the 2011 Annual ACM SIGAda International Conference on Ada, 2011

An Ada design pattern recognition tool for AADL performance analysis.
Proceedings of the 2011 Annual ACM SIGAda International Conference on Ada, 2011

Modeling and Verification of Memory Architectures with AADL and REAL.
Proceedings of the 16th IEEE International Conference on Engineering of Complex Computer Systems, 2011

Building Parallel, Embedded, and Real-Time Applications with Ada.
Cambridge University Press, ISBN: 978-0-521-19716-8, 2011

2010
Enforcing Applicability of Real-Time Scheduling Theory Feasibility Tests with the Use of Design-Patterns.
Proceedings of the Leveraging Applications of Formal Methods, Verification, and Validation, 2010

Comparison of Six Ways to Extend the Scope of Cheddar to AADL v2 with Osate.
Proceedings of the 15th IEEE International Conference on Engineering of Complex Computer Systems, 2010

2009
Investigating the usability of real-time scheduling theory with the Cheddar project.
Real Time Syst., 2009

Validate, simulate, and implement ARINC653 systems using the AADL.
Proceedings of the 2009 Annual ACM SIGAda International Conference on Ada, 2009

2008
Can We Increase the Usability of Real Time Scheduling Theory? The Cheddar Project.
Proceedings of the Reliable Software Technologies, 2008

2007
AADL modeling and analysis of hierarchical schedulers.
Proceedings of the 2007 Annual ACM SIGAda International Conference on Ada, 2007

MP1: real time scheduling theory and its use with ada.
Proceedings of the 2007 Annual ACM SIGAda International Conference on Ada, 2007

Towards User-Level Extensibility of an Ada Library: An Experiment with Cheddar.
Proceedings of the Reliable Software Technologies, 2007

2006
Refactoring of an Ada 95 library with a Meta CASE tool.
Proceedings of the 2006 Annual ACM SIGAda International Conference on Ada, 2006

Performance evaluation of a controlled flow-shop system with a timed petri net model.
Proceedings of the ICINCO 2006, 2006

2005
Scheduling and memory requirements analysis with AADL.
Proceedings of the 2005 Annual ACM SIGAda International Conference on Ada: The Engineering of Correct and Reliable Software for Real-Time & Distributed Systems using Ada and Related Technologies 2005, 2005

2004
Cheddar: a flexible real time scheduling framework.
Proceedings of the 2004 Annual ACM SIGAda International Conference on Ada: The Engineering of Correct and Reliable Software for Real-Time & Distributed Systems using Ada and Related Technologies 2004, 2004


  Loading...