Partha S. Roop
Orcid: 0000-0001-9654-5678Affiliations:
- University of Auckland, New Zealand
According to our database1,
Partha S. Roop
authored at least 162 papers
between 1995 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2024
Towards Personalised Mood Prediction and Explanation for Depression from Biophysical Data.
Sensors, 2024
IEEE Access, 2024
Proceedings of the 7th ACM International Workshop on Verification and Monitoring at Runtime Execution, 2024
A Formal Approach for Safe Reinforcement Learning: A Rate-Adaptive Pacemaker Case Study.
Proceedings of the Runtime Verification - 24th International Conference, 2024
Proceedings of the 22nd ACM-IEEE International Symposium on Formal Methods and Models for System Design, 2024
2023
IEEE Trans. Computers, September, 2023
ACM Trans. Program. Lang. Syst., June, 2023
A Novel Mapping of ECG and PPG to Ensure the Safety of Health Monitoring Applications.
IEEE Embed. Syst. Lett., March, 2023
CoRR, 2023
A Novel Framework for the Design of Resilient Cyber-Physical Systems Using Control Theory and Formal Methods.
IEEE Access, 2023
Proceedings of the 54th ACM Technical Symposium on Computer Science Education, Volume 1, 2023
Proceedings of the 29th International Conference on Mechatronics and Machine Vision in Practice, 2023
2022
IEEE Trans. Computers, 2022
Runtime Monitoring and Statistical Approaches for Correlation Analysis of ECG and PPG.
CoRR, 2022
A framework for the design of a closed-loop gastric pacemaker for treating conduction block.
Comput. Methods Programs Biomed., 2022
Comput. Biol. Medicine, 2022
Proceedings of the 20th ACM-IEEE International Conference on Formal Methods and Models for System Design, 2022
Robust hardware-software Co-simulation framework for design and validation of Hybrid Systems.
Proceedings of the 20th ACM-IEEE International Conference on Formal Methods and Models for System Design, 2022
Runtime Interchange of Enforcers for Adaptive Attacks: A Security Analysis Framework for Drones.
Proceedings of the 20th ACM-IEEE International Conference on Formal Methods and Models for System Design, 2022
Proceedings of the 20th ACM-IEEE International Conference on Formal Methods and Models for System Design, 2022
Proceedings of the Bioinformatics Research and Applications - 18th International Symposium, 2022
Proceedings of the 35th IEEE International Symposium on Computer-Based Medical Systems, 2022
2021
IEEE Trans. Intell. Transp. Syst., 2021
Runtime Interchange for Adaptive Re-use of Intelligent Cyber-Physical System Controllers.
CoRR, 2021
Runtime verification of implantable medical devices using multiple physiological signals.
Proceedings of the SAC '21: The 36th ACM/SIGAPP Symposium on Applied Computing, 2021
Proceedings of the MEMOCODE '21: 19th ACM-IEEE International Conference on Formal Methods and Models for System Design, Virtual Event, China, November 20, 2021
Proceedings of the MEMOCODE '21: 19th ACM-IEEE International Conference on Formal Methods and Models for System Design, Virtual Event, China, November 20, 2021
2020
Closing the Loop: Validation of Implantable Cardiac Devices With Computational Heart Models.
IEEE J. Biomed. Health Informatics, 2020
Smart I/O Modules for Mitigating Cyber-Physical Attacks on Industrial Control Systems.
IEEE Trans. Ind. Informatics, 2020
ACM Trans. Embed. Comput. Syst., 2020
IEEE Trans. Biomed. Eng., 2020
Future Gener. Comput. Syst., 2020
Comput. Biol. Medicine, 2020
Proceedings of the 2nd Workshop on Artificial Intelligence and Formal Verification, 2020
Proceedings of the 18th ACM/IEEE International Conference on Formal Methods and Models for System Design, 2020
Proceedings of the 11th ACM/IEEE International Conference on Cyber-Physical Systems, 2020
Design of a closed-loop gastric pacemaker for modulating dysrhythmic conduction patterns via extracellular potentials.
Proceedings of the 42nd Annual International Conference of the IEEE Engineering in Medicine & Biology Society, 2020
Proceedings of the 2020 Design, Automation & Test in Europe Conference & Exhibition, 2020
2019
ACM Trans. Design Autom. Electr. Syst., 2019
IEEE Trans. Biomed. Eng., 2019
A compositional semantics of Simulink/Stateflow based on quantized state hybrid automata.
Proceedings of the 17th ACM-IEEE International Conference on Formal Methods and Models for System Design, 2019
Proceedings of the 17th ACM-IEEE International Conference on Formal Methods and Models for System Design, 2019
Proceedings of the 17th ACM-IEEE International Conference on Formal Methods and Models for System Design, 2019
Proceedings of the IEEE International Instrumentation and Measurement Technology Conference, 2019
Proceedings of the International Conference on Electronics, Information, and Communication, 2019
2018
IEEE Trans. Intell. Transp. Syst., 2018
IEEE Trans. Ind. Informatics, 2018
ACM Trans. Cyber Phys. Syst., 2018
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2018
IEEE Trans. Biomed. Eng., 2018
Proceedings of the 16th ACM/IEEE International Conference on Formal Methods and Models for System Design, 2018
Proceedings of the 16th ACM/IEEE International Conference on Formal Methods and Models for System Design, 2018
Proceedings of the 21st IEEE International Symposium on Real-Time Distributed Computing, 2018
Rethinking the Validation Process for Medical Devices: A Cardiac Pacemaker Case Study.
Proceedings of the 21st IEEE International Symposium on Real-Time Distributed Computing, 2018
Proceedings of the Programming Languages and Systems, 2018
Logic Meets Algebra: Compositional Timing Analysis for Synchronous Reactive Multithreading.
Proceedings of the Models, Mindsets, 2018
2017
IEEE Trans. Ind. Informatics, 2017
Timing Analysis of Synchronous Programs using WCRT Algebra: Scalability through Abstraction.
ACM Trans. Embed. Comput. Syst., 2017
ACM Trans. Embed. Comput. Syst., 2017
ACM Trans. Embed. Comput. Syst., 2017
Proceedings of the 2017 IEEE Trustcom/BigDataSE/ICESS, Sydney, Australia, August 1-4, 2017, 2017
Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software, 2017
Proceedings of the 15th ACM-IEEE International Conference on Formal Methods and Models for System Design, 2017
Proceedings of the 20th IEEE International Symposium on Real-Time Distributed Computing, 2017
Proceedings of the 2017 Forum on Specification and Design Languages, 2017
An intracardiac electrogram model to bridge virtual hearts and implantable cardiac devices.
Proceedings of the 2017 39th Annual International Conference of the IEEE Engineering in Medicine and Biology Society (EMBC), 2017
Proceedings of the 2017 ACM on Asia Conference on Computer and Communications Security, 2017
2016
IEEE Trans. Ind. Informatics, 2016
CoRR, 2016
Proceedings of the 10th IEEE International Symposium on Embedded Multicore/Many-core Systems-on-Chip, 2016
Proceedings of the 19th IEEE International Symposium on Real-Time Distributed Computing, 2016
Proceedings of the 19th IEEE International Symposium on Real-Time Distributed Computing, 2016
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2016
Proceedings of the 2016 International Conference on Embedded Software, 2016
Hybrid automata models of cardiac ventricular electrophysiology for real-time computational applications.
Proceedings of the 38th Annual International Conference of the IEEE Engineering in Medicine and Biology Society, 2016
Proceedings of the 2016 Design, Automation & Test in Europe Conference & Exhibition, 2016
Modular code generation for emulating the electrical conduction system of the human heart.
Proceedings of the 2016 Design, Automation & Test in Europe Conference & Exhibition, 2016
Proceedings of the 2016 Design, Automation & Test in Europe Conference & Exhibition, 2016
Proceedings of the ARCH@CPSWeek 2016, 2016
2015
CoRR, 2015
A unified framework for modeling and implementation of hybrid systems with synchronous controllers.
CoRR, 2015
Proceedings of the IEEE 18th International Symposium on Real-Time Distributed Computing, 2015
Schedule Synthesis for Time-Triggered Multi-hop Wireless Networks with Retransmissions.
Proceedings of the IEEE 18th International Symposium on Real-Time Distributed Computing, 2015
Proceedings of the IEEE 18th International Symposium on Real-Time Distributed Computing, 2015
Model-Driven Design Using IEC 61499 - A Synchronous Approach for Embedded and Automation Systems.
Springer, ISBN: 978-3-319-10520-8, 2015
2014
ACM Trans. Design Autom. Electr. Syst., 2014
Sequentially Constructive Concurrency - A Conservative Extension of the Synchronous Model of Computation.
ACM Trans. Embed. Comput. Syst., 2014
IEEE Trans. Computers, 2014
Proceedings of the 20th IEEE Real-Time and Embedded Technology and Applications Symposium, 2014
A model-driven approach with synchronous semantics for developing hard real-time WSNs.
Proceedings of the 2014 IEEE Emerging Technology and Factory Automation, 2014
2013
Int. J. Softw. Informatics, 2013
Proceedings of the 2013 IEEE 20th International Conference on Web Services, Santa Clara, CA, USA, June 28, 2013
Proceedings of the 50th Annual Design Automation Conference 2013, 2013
Proceedings of the International Conference on Compilers, 2013
Proceedings of the 13th International Conference on Application of Concurrency to System Design, 2013
Proceedings of the 13th International Conference on Application of Concurrency to System Design, 2013
2012
IEEE Trans. Syst. Man Cybern. Part C, 2012
ACM Trans. Embed. Comput. Syst., 2012
Combining IEC 61499 Model-Based Design with Component-Based Architecture for Robotics.
Proceedings of the Simulation, Modeling, and Programming for Autonomous Robots, 2012
A Service Composition Framework Based on Goal-Oriented Requirements Engineering, Model Checking, and Qualitative Preference Analysis.
Proceedings of the Service-Oriented Computing - 10th International Conference, 2012
Model-driven development of industrial embedded systems: Challenges faced and lessons learnt.
Proceedings of 2012 IEEE 17th International Conference on Emerging Technologies & Factory Automation, 2012
Proceedings of the 2012 Design, Automation & Test in Europe Conference & Exhibition, 2012
2011
IEEE Trans. Parallel Distributed Syst., 2011
Proceedings of the IEEE 6th International Symposium on Service Oriented System Engineering, 2011
Proceedings of the 14th Euromicro Conference on Digital System Design, 2011
Proceedings of the Sixth IEEE International Symposium on Electronic Design, 2011
Proceedings of the Design, Automation and Test in Europe, 2011
Proceedings of the 48th Design Automation Conference, 2011
2010
Proceedings of the 8th ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE 2010), 2010
Proceedings of the Design, Automation and Test in Europe, 2010
2009
ACM Trans. Design Autom. Electr. Syst., 2009
IEEE Trans. Computers, 2009
EURASIP J. Embed. Syst., 2009
Proceedings of 12th IEEE International Conference on Emerging Technologies and Factory Automation, 2009
Proceedings of the Design, Automation and Test in Europe, 2009
Proceedings of the 2009 International Conference on Compilers, 2009
Proceedings of the Ninth International Conference on Application of Concurrency to System Design, 2009
2008
Proceedings of the Third International Workshop on Model-driven High-level Programming of Embedded Systems, 2008
Proceedings of the 21st International Conference on VLSI Design (VLSI Design 2008), 2008
Proceedings of the 13th Asia-Pacific Computer Systems Architecture Conference, 2008
2007
J. Appl. Log., 2007
Proceedings of the International Workshop on Model-driven High-level Programming of Embedded Systems, 2007
Proceedings of the 5th ACM & IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 2007), May 30, 2007
2006
Microprocess. Microsystems, 2006
Proceedings of the Workshop on Formal Foundations of Embedded Software and Component-Based Software Architectures, 2006
IEEE Des. Test Comput., 2006
Proceedings of the 19th International Conference on VLSI Design (VLSI Design 2006), 2006
Proceedings of the 12th IEEE Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA 2006), 2006
Proceedings of the 4th ACM & IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 2006), 2006
2005
A New Model for Heterogeneous Embedded Systems - What Esterel and SyncCharts Need to Become a Suitable Specification Platform.
Int. J. Softw. Eng. Knowl. Eng., 2005
Proceedings of the Second International Workshop on Formal Foundations of Embedded Software and Component-based Software Architectures, 2005
Adaptive Techniques for Specification Matching in Embedded Systems: A Comparative Study.
Proceedings of the Integrated Formal Methods, 5th International Conference, 2005
Proceedings of the Forum on specification and Design Languages, 2005
Proceedings of the 2005 Conference on Asia South Pacific Design Automation, 2005
2004
REFLIX: a processor core with native support for control-dominated embedded applications.
Microprocess. Microsystems, 2004
Customizing Processor Cores to Support Reactivity.
Proceedings of the International Conference on Engineering of Reconfigurable Systems and Algorithms, 2004
Proceedings of the EMSOFT 2004, 2004
HiDRA: A New Architecture for Heterogeneous Embedded Systems.
Proceedings of the International Conference on Embedded Systems and Applications, 2004
2003
Proceedings of the Extreme Programming and Agile Processes in Software Engineering, 2003
Proceedings of the Extreme Programming and Agile Processes in Software Engineering, 2003
A New Reactive Processor with Architectural Support for Control Dominated Embedded Systems.
Proceedings of the 16th International Conference on VLSI Design (VLSI Design 2003), 2003
2002
Proceedings of the 20th International Conference on Computer Design (ICCD 2002), 2002
Proceedings of the Field-Programmable Logic and Applications, 2002
2001
ACM Trans. Design Autom. Electr. Syst., 2001
Proceedings of ASP-DAC 2001, 2001
2000
Forced simulation: a formal approach to component based development of embedded systems.
PhD thesis, 2000
Proceedings of the 13th International Conference on VLSI Design (VLSI Design 2000), 2000
Proceedings of the 5th Australasian Computer Architecture Conference (ACAC 2000), 31 January, 2000
1998
Proceedings of the 11th International Conference on VLSI Design (VLSI Design 1991), 1998
Proceedings of the 10th Euromicro Conference on Real-Time Systems (ECRTS 1998), 1998
1996
IEEE Trans. Very Large Scale Integr. Syst., 1996
1995
Proceedings of the 8th International Conference on VLSI Design (VLSI Design 1995), 1995