Sandeep K. Shukla
Orcid: 0000-0001-5525-7426Affiliations:
- Indian Institute of Technology, Kanpur, India
- Virginia Polytechnic Institute and State University, Blacksburg, VA, USA (former)
- State University of New York at Albany, NY, USA (PhD 1997)
According to our database1,
Sandeep K. Shukla
authored at least 314 papers
between 1996 and 2025.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on zbmath.org
-
on acm.org
-
on orcid.org
-
on id.loc.gov
-
on dl.acm.org
On csauthors.net:
Bibliography
2025
IoT device security audit tools: a comprehensive analysis and a layered architecture approach for addressing expanded security requirements.
Int. J. Inf. Sec., February, 2025
2024
Adversarially robust and real-time DDoS detection and classification framework using AutoML.
Inf. Secur. J. A Glob. Perspect., July, 2024
Peer Peer Netw. Appl., May, 2024
ACM Trans. Web, February, 2024
ADAPT: Adaptive Camouflage Based Deception Orchestration For Trapping Advanced Persistent Threats.
DTRAP, 2024
CoRR, 2024
A Comprehensive Analysis of Machine Learning Based File Trap Selection Methods to Detect Crypto Ransomware.
CoRR, 2024
A Comprehensive Survey of Advanced Persistent Threat Attribution: Taxonomy, Methods, Challenges and Open Research Problems.
CoRR, 2024
TTPXHunter: Actionable Threat Intelligence Extraction as TTPs from Finished Cyber Threat Reports.
CoRR, 2024
Proceedings of the 10th International Conference on Information Systems Security and Privacy, 2024
Proceedings of the 6th Conference on Blockchain Research & Applications for Innovative Networks and Services , 2024
2023
Int. J. Inf. Sec., December, 2023
Cybersecur., December, 2023
Comput. Secur., September, 2023
Clust. Comput., August, 2023
DTRAP, 2023
From Text to MITRE Techniques: Exploring the Malicious Use of Large Language Models for Generating Cyber Attack Payloads.
CoRR, 2023
Proceedings of the Information Security Practice and Experience, 2023
Proceedings of the Information Security Practice and Experience, 2023
Proceedings of the 10th International Conference on Internet of Things: Systems, 2023
Proceedings of the 2023 European Interdisciplinary Cybersecurity Conference, 2023
Proceedings of the IEEE Intl Conf on Dependable, 2023
Ransomware Detection based on Network Behavior using Machine Learning and Hidden Markov Model with Gaussian Emission.
Proceedings of the IEEE International Conference on Cyber Security and Resilience, 2023
Proceedings of the Critical Information Infrastructures Security, 2023
Proceedings of the 15th International Conference on COMmunication Systems & NETworkS, 2023
Proceedings of the Fifth International Conference on Blockchain Computing and Applications, 2023
Proceedings of the Fifth International Conference on Blockchain Computing and Applications, 2023
TTPHunter: Automated Extraction of Actionable Intelligence as TTPs from Narrative Threat Reports.
Proceedings of the 2023 Australasian Computer Science Week, 2023
Proceedings of the 2023 Australasian Computer Science Week, 2023
Proceedings of the 2023 Australasian Computer Science Week, 2023
Tactics, Techniques and Procedures of Cybercrime: A Methodology and Tool for Cybercrime Investigation Process.
Proceedings of the 18th International Conference on Availability, Reliability and Security, 2023
2022
Dataset, April, 2022
Insider attack mitigation in a smart metering infrastructure using reputation score and blockchain technology.
Int. J. Inf. Sec., 2022
Analyzing Malicious Activities and Detecting Adversarial Behavior in Cryptocurrency based Permissionless Blockchains: An Ethereum Usecase.
Distributed Ledger Technol. Res. Pract., 2022
Proceedings of the Security, Privacy, and Applied Cryptography Engineering, 2022
Proceedings of the Security and Privacy in Communication Networks, 2022
Proceedings of the 19th IEEE/ACM International Conference on Mining Software Repositories, 2022
DOTMUG: A Threat Model for Target Specific APT Attacks-Misusing Google Teachable Machine.
Proceedings of the 10th International Symposium on Digital Forensics and Security, 2022
Commissioning Random Matrix Theory and Synthetic Minority Oversampling Technique for Power System Faults Detection and Classification.
Proceedings of the Neural Information Processing - 29th International Conference, 2022
Proceedings of the Digital Forensics and Cyber Crime - 13th EAI International Conference, 2022
Proceedings of the EICC 2022: European Interdisciplinary Cybersecurity Conference, Barcelona, Spain, June 15, 2022
Security Orchestration, Automation, and Response Engine for Deployment of Behavioural Honeypots.
Proceedings of the IEEE Conference on Dependable and Secure Computing, 2022
Proceedings of the IEEE International Conference on Cyber Security and Resilience, 2022
Proceedings of the Fourth International Conference on Blockchain Computing and Applications, 2022
Proceedings of the Fourth International Conference on Blockchain Computing and Applications, 2022
Proceedings of the ASIA CCS '22: ACM Asia Conference on Computer and Communications Security, Nagasaki, Japan, 30 May 2022, 2022
2021
Reputation-based PoS for the Restriction of Illicit Activities on Blockchain: Algorand Usecase.
CoRR, 2021
Understanding Money Trails of Suspicious Activities in a cryptocurrency-based Blockchain.
CoRR, 2021
Identifying malicious accounts in Blockchains using Domain Names and associated temporal properties.
CoRR, 2021
Detecting Malicious Accounts showing Adversarial Behavior in Permissionless Blockchains.
CoRR, 2021
Detecting malicious accounts in permissionless blockchains using temporal graph properties.
Appl. Netw. Sci., 2021
Proceedings of the Silicon Valley Cybersecurity Conference - Second Conference, 2021
Android Malware Family Classification: What Works - API Calls, Permissions or API Packages?
Proceedings of the 14th International Conference on Security of Information and Networks, 2021
Proceedings of the Quality, Reliability, Security and Robustness in Heterogeneous Systems, 2021
Proceedings of the 21st IEEE International Conference on Software Quality, 2021
Proceedings of the Cyberspace Safety and Security - 13th International Symposium, 2021
Adversaries Strike Hard: Adversarial Attacks Against Malware Classifiers Using Dynamic API Calls as Features.
Proceedings of the Cyber Security Cryptography and Machine Learning, 2021
Robust Multivariate Anomaly-Based Intrusion Detection System for Cyber-Physical Systems.
Proceedings of the Cyber Security Cryptography and Machine Learning, 2021
CatchAll: A Robust Multivariate Intrusion Detection System for Cyber-Physical Systems using Low Rank Matrix.
Proceedings of the CPSIoTSec '21: Proceedings of the 2th Workshop on CPS&IoT Security and Privacy, 2021
Proceedings of the 2021 IEEE International Conference on Blockchain, 2021
Proceedings of the Third International Conference on Blockchain Computing and Applications, 2021
2020
ACM Trans. Embed. Comput. Syst., 2020
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2020
Unsupervised Learning Based Robust Multivariate Intrusion Detection System for Cyber-Physical Systems using Low Rank Matrix.
CoRR, 2020
Proceedings of the Security, Privacy, and Applied Cryptography Engineering, 2020
Intrusion Detection & Prevention in Programmable Logic Controllers: A Model-driven Approach.
Proceedings of the IEEE Conference on Industrial Cyberphysical Systems, 2020
Proceedings of the Cyber Security Cryptography and Machine Learning, 2020
STDNeut: Neutralizing Sensor, Telephony System and Device State Information on Emulated Android Environments.
Proceedings of the Cryptology and Network Security - 19th International Conference, 2020
Proceedings of the Cryptology and Network Security - 19th International Conference, 2020
Decentralized Device Authentication Model using the Trust Score and Blockchain Technology for Dynamic Networks.
Proceedings of the IEEE International Conference on Blockchain, 2020
Proceedings of the IEEE International Conference on Blockchain, 2020
Proceedings of the Advances in Cyber Security - Second International Conference, 2020
Proceedings of the Advances in Cyber Security - Second International Conference, 2020
2019
ACM Trans. Embed. Comput. Syst., 2019
ACM Trans. Embed. Comput. Syst., 2019
Editorial: Embedded Security Challenge: Cyber Security Contests in the Embedded Computing Domain.
ACM Trans. Embed. Comput. Syst., 2019
Microprocess. Microsystems, 2019
Microprocess. Microsystems, 2019
CoRR, 2019
Proceedings of the Security, Privacy, and Applied Cryptography Engineering, 2019
Proceedings of the 2019 IEEE Computer Society Annual Symposium on VLSI, 2019
Proceedings of the Sixth International Conference on Internet of Things: Systems, 2019
Proceedings of the Sixth International Conference on Internet of Things: Systems, 2019
Vulnerability Assessment and Mitigation for Industrial Critical Infrastructures with Cyber Physical Test Bed.
Proceedings of the IEEE International Conference on Industrial Cyber Physical Systems, 2019
Proceedings of the Information and Communications Security - 21st International Conference, 2019
Proceedings of the Cyber Security Cryptography and Machine Learning, 2019
Proceedings of the Cyber Security Cryptography and Machine Learning, 2019
Proceedings of the 14th Asia Joint Conference on Information Security, 2019
2018
Interfacing Power System and ICT Simulators: Challenges, State-of-the-Art, and Case Studies.
IEEE Trans. Smart Grid, 2018
ACM Trans. Embed. Comput. Syst., 2018
ACM Trans. Embed. Comput. Syst., 2018
ACM Trans. Embed. Comput. Syst., 2018
Editorial: Industry 4.0 - A Confluence of Embedded Artificial Intelligence, Machine Learning, Robotics and Security.
ACM Trans. Embed. Comput. Syst., 2018
Editorial: Trust and Security Must Become a Primary Design Concern in Embedded Computing.
ACM Trans. Embed. Comput. Syst., 2018
Integr., 2018
IET Comput. Digit. Tech., 2018
Proceedings of the VLSI Design and Test - 22nd International Symposium, 2018
2017
ACM Trans. Embed. Comput. Syst., 2017
Proceedings of the VLSI Design and Test - 21st International Symposium, 2017
Proceedings of the VLSI Design and Test - 21st International Symposium, 2017
Proceedings of the 2017 IEEE Real-Time Systems Symposium, 2017
Proceedings of the 29th Euromicro Conference on Real-Time Systems, 2017
2016
Editorial: Distributed Public Ledgers and Block Chains - What Good Are They for Embedded Systems?
ACM Trans. Embed. Comput. Syst., 2016
Editorial: Security of Embedded Systems and Cyber Irons - Embedded Systems for Security.
ACM Trans. Embed. Comput. Syst., 2016
ACM Trans. Embed. Comput. Syst., 2016
ACM Trans. Embed. Comput. Syst., 2016
Cyber Security of Cyber Physical Systems: Cyber Threats and Defense of Critical Infrastructures.
Proceedings of the 29th International Conference on VLSI Design and 15th International Conference on Embedded Systems, 2016
Proceedings of the 20th International Symposium on VLSI Design and Test, 2016
Design space exploration for deterministic ethernet-based architecture of automotive systems.
Proceedings of the IEEE International High Level Design Validation and Test Workshop, 2016
2015
Editorial: Big Data, Internet of Things, Cybersecurity - A New Trinity of Embedded Systems Research.
ACM Trans. Embed. Comput. Syst., 2015
ACM Trans. Embed. Comput. Syst., 2015
ACM Trans. Embed. Comput. Syst., 2015
IEEE Trans. Computers, 2015
Design of Cyber Security for Critical Infrastructures: A Case for a Schizoid Design Approach.
Proceedings of the Security, Privacy, and Applied Cryptography Engineering, 2015
Mapping functional behavior onto architectural model in a model driven embedded system design.
Proceedings of the 30th Annual ACM Symposium on Applied Computing, 2015
Proceedings of the 13. ACM/IEEE International Conference on Formal Methods and Models for Codesign, 2015
The challenge of interoperability: model-based integration for automotive control software.
Proceedings of the 52nd Annual Design Automation Conference, 2015
2014
Editorial: Diversity Galore & A Call for Resilient, Sustainable and Secure System Design.
ACM Trans. Embed. Comput. Syst., 2014
ACM Trans. Embed. Comput. Syst., 2014
Representation of synchronous, asynchronous, and polychronous components by clocked guarded actions.
Des. Autom. Embed. Syst., 2014
Towards an Architecture-Centric Approach Dedicated to Model-Based Virtual Integration for Embedded Software Systems.
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
Proceedings of the IEEE PES Innovative Smart Grid Technologies Conference, 2014
Proceedings of the 2nd FME Workshop on Formal Methods in Software Engineering, 2014
APECS code synthesis: Extending ocarina for multi-threaded code synthesis from AADL models for Safety Critical applications.
Proceedings of 11th IEEE International Conference on Networking, Sensing and Control, 2014
Proceedings of the 2014 Forum on Specification and Design Languages, 2014
2013
Proceedings of the 2013 International Conference on Embedded Computer Systems: Architectures, 2013
APECS: An AADL and polychrony based embedded computing system design environment with an elevator control case study.
Proceedings of the 11th ACM/IEEE International Conference on Formal Methods and Models for Codesign, 2013
Proceedings of the Critical Infrastructure Protection VII, 2013
Proceedings of the Perspectives on the Future of Software Engineering, 2013
Simplification of C-RTL equivalent checking for fused multiply add unit using intermediate models.
Proceedings of the 18th Asia and South Pacific Design Automation Conference, 2013
A New Multi-threaded Code Synthesis Methodology and Tool for Correct-by-Construction Synthesis from Polychronous Specifications.
Proceedings of the 13th International Conference on Application of Concurrency to System Design, 2013
2012
GECO: Global Event-Driven Co-Simulation Framework for Interconnected Power System and Communication Network.
IEEE Trans. Smart Grid, 2012
Vulnerabilities and Countermeasures - A Survey on the Cyber Security Issues in the Transmission Subsystem of a Smart Grid.
J. Cyber Secur. Mobil., 2012
Formal Verification of Hierarchically Distributed Agent Based Protection Scheme in Smart Grid.
Proceedings of the Model Checking Software - 19th International Workshop, 2012
Cyber security impacts on all-PMU state estimator - a case study on co-simulation platform GECO.
Proceedings of the IEEE Third International Conference on Smart Grid Communications, 2012
Communication network modeling and simulation for Wide Area Measurement applications.
Proceedings of the IEEE PES Innovative Smart Grid Technologies Conference, 2012
A detailed analysis of the effective-load-carrying-capacity behavior of plug-in electric vehicles in the power grid.
Proceedings of the IEEE PES Innovative Smart Grid Technologies Conference, 2012
Proceedings of the 2012 IEEE International High Level Design Validation and Test Workshop, 2012
Springer, ISBN: 978-1-4614-0871-0, 2012
2011
Guest Editors' Introduction: Special Section on Science of Design for Safety Critical Systems.
IEEE Trans. Computers, 2011
IEEE Des. Test Comput., 2011
IEEE Des. Test Comput., 2011
SMT based false causal loop detection during code synthesis from Polychronous specifications.
Proceedings of the 9th IEEE/ACM International Conference on Formal Methods and Models for Codesign, 2011
Proceedings of the IEEE Computer Society Annual Symposium on VLSI, 2011
Proceedings of the 2011 Forum on Specification & Design Languages, 2011
2010
J. Low Power Electron., 2010
J. Electron. Test., 2010
A Methodology for Power Aware High-Level Synthesis of Co-processors from Software Algorithms.
Proceedings of the VLSI Design 2010: 23rd International Conference on VLSI Design, 2010
Proceedings of the 8th ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE 2010), 2010
Translating concurrent action oriented specifications to synchronous guarded actions.
Proceedings of the ACM SIGPLAN/SIGBED 2010 conference on Languages, 2010
Proceedings of the 11th International Symposium on Quality of Electronic Design (ISQED 2010), 2010
Proceedings of the 28th International Conference on Computer Design, 2010
Proceedings of the IEEE International High Level Design Validation and Test Workshop, 2010
Proceedings of the 15th Asia South Pacific Design Automation Conference, 2010
An alternative polychronous model and synthesis methodology for model-driven embedded software.
Proceedings of the 15th Asia South Pacific Design Automation Conference, 2010
Faster Software Synthesis Using Actor Elimination Techniques for Polychronous Formalism.
Proceedings of the 10th International Conference on Application of Concurrency to System Design, 2010
Proceedings of the 10th International Conference on Application of Concurrency to System Design, 2010
Proceedings of the Synthesis of Embedded Software, 2010
Springer, ISBN: 978-1-4419-6480-9, 2010
2009
A Formally Verified Peak-Power Reduction Technique for Hardware Synthesis from Concurrent Action-Oriented Specifications.
J. Low Power Electron., 2009
<i>SCoPE</i>: Statistical Regression Based Power Models for Co-Processors Power Estimation.
J. Low Power Electron., 2009
ACM J. Emerg. Technol. Comput. Syst., 2009
Modeling and Analyzing the Implementation of Latency-Insensitive Protocols Using the Polychrony Framework.
Proceedings of the 4th International Workshop on the Application of Formal Methods for Globally Asynchronous and Locally Synchronous Design, 2009
Proceedings of the 4th International Workshop on the Application of Formal Methods for Globally Asynchronous and Locally Synchronous Design, 2009
Proceedings of the 4th International Workshop on the Application of Formal Methods for Globally Asynchronous and Locally Synchronous Design, 2009
IEEE Des. Test Comput., 2009
IEEE Des. Test Comput., 2009
Expressing the Behavior of Three Very Different Concurrent Systems by Using Natural Extensions of Separation Logic
Proceedings of the Proceedings 16th International Workshop on Expressiveness in Concurrency, 2009
Proceedings of the Annual IEEE International SoC Conference, SoCC 2009, 2009
Proceedings of the 10th International Symposium on Quality of Electronic Design (ISQED 2009), 2009
Distributed Simulation of AADL Specifications in a Polychronous Model of Computation.
Proceedings of the International Conference on Embedded Software and Systems, 2009
Proceedings of the IEEE International High Level Design Validation and Test Workshop, 2009
On the Difficulties of Concurrent-System Design, Illustrated with a 2×2 Switch Case Study.
Proceedings of the FM 2009: Formal Methods, 2009
EmCodeSyn: A visual framework for multi-rate data flow specifications and code synthesis for embedded applications.
Proceedings of the Forum on specification and Design Languages, 2009
Artech House, ISBN: 978-1-59693-424-5, 2009
2008
IEEE Trans. Very Large Scale Integr. Syst., 2008
MCF: A Metamodeling-Based Component Composition Framework - Composing SystemC IPs for Executable System Models.
IEEE Trans. Very Large Scale Integr. Syst., 2008
IEEE Trans. Very Large Scale Integr. Syst., 2008
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2008
Proceedings of the Third International Workshop on Model-driven High-level Programming of Embedded Systems, 2008
Des. Autom. Embed. Syst., 2008
SML-Sys: a functional framework with multiple models of computation for modeling heterogeneous system.
Des. Autom. Embed. Syst., 2008
Proceedings of the Model Checking Software, 2008
Proceedings of the Ninth International Workshop on Microprocessor Test and Verification, 2008
On the Deterministic Multi-threaded Software Synthesis from Polychronous Specifications.
Proceedings of the 6th ACM & IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 2008), 2008
Proceedings of the Forum on specification and Design Languages, 2008
Springer, ISBN: 978-1-4020-8471-3, 2008
2007
ACM Trans. Design Autom. Electr. Syst., 2007
IEEE Trans. Circuits Syst. I Regul. Pap., 2007
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2007
Techniques for Power-Aware Hardware Synthesis from Concurrent Action Oriented Specifications.
J. Low Power Electron., 2007
Algorithms for low power hardware synthesis from Concurrent Action Oriented Specifications (CAOS).
Int. J. Embed. Syst., 2007
Proceedings of the Third International Workshop on Formal Methods for Globally Asynchronous Locally Synchronous Design, 2007
IEEE Des. Test Comput., 2007
Proceedings of the 20th International Conference on VLSI Design (VLSI Design 2007), 2007
Proceedings of the 20th International Conference on VLSI Design (VLSI Design 2007), 2007
Proceedings of the Eighth International Workshop on Microprocessor Test and Verification (MTV 2007), 2007
Proceedings of the Eighth International Workshop on Microprocessor Test and Verification (MTV 2007), 2007
Proceedings of the 5th ACM & IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 2007), May 30, 2007
Proceedings of the 5th ACM & IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 2007), May 30, 2007
Proceedings of the 5th ACM & IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 2007), May 30, 2007
Proceedings of the IEEE International High Level Design Validation and Test Workshop, 2007
Proceedings of the Forum on specification and Design Languages, 2007
Proceedings of the 2007 Design, Automation and Test in Europe Conference and Exposition, 2007
Proceedings of the 2007 Design, Automation and Test in Europe Conference and Exposition, 2007
Complexity of Scheduling in Synthesizing Hardware from Concurrent Action Oriented Specifications.
Proceedings of the Power-aware Computing Systems, 21.01. - 26.01.2007, 2007
2006
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2006
Special issue on formal methods for globally asynchronous and locally synchronous (GALS) systems.
Formal Methods Syst. Des., 2006
IEEE Des. Test Comput., 2006
Proceedings of the 2006 IEEE International SOC Conference, Austin, Texas, USA, 2006
Proceedings of the 2006 IEEE International SOC Conference, Austin, Texas, USA, 2006
Deep vs. Shallow, Kernel vs. Language--What is Better for Heterogeneous Modeling in {SystemC}?.
Proceedings of the Seventh International Workshop on Microprocessor Test and Verification (MTV 2006), 2006
Proceedings of the 4th ACM & IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 2006), 2006
A rule-based model of computation for SystemC: integrating SystemC and Bluespec for co-design.
Proceedings of the 4th ACM & IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 2006), 2006
Proceedings of the 4th ACM & IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 2006), 2006
Proceedings of the Eleventh Annual IEEE International High-Level Design Validation and Test Workshop 2006, 2006
Proceedings of the Eleventh Annual IEEE International High-Level Design Validation and Test Workshop 2006, 2006
Proceedings of the Eleventh Annual IEEE International High-Level Design Validation and Test Workshop 2006, 2006
Proceedings of the Forum on specification and Design Languages, 2006
Proceedings of the Conference on Design, Automation and Test in Europe, 2006
Proceedings of the Conference on Design, Automation and Test in Europe, 2006
Proceedings of the Conference on Design, Automation and Test in Europe, 2006
2005
Proceedings of the Embedded Systems Handbook., 2005
An overview of the competitive and adversarial approaches to designing dynamic power management strategies.
IEEE Trans. Very Large Scale Integr. Syst., 2005
ACM Trans. Design Autom. Electr. Syst., 2005
Guest editorial: Special issue on models and methodologies for co-design of embedded systems.
ACM Trans. Embed. Comput. Syst., 2005
Towards a heterogeneous simulation kernel for system-level models: a SystemC kernel for synchronous data flow models.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2005
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2005
A Compositional Behavioral Modeling Framework for Embedded System Design and Conformance Checking.
Int. J. Parallel Program., 2005
Formal Aspects Comput., 2005
Proceedings of the Second Workshop on Globally Asynchronous, Locally Synchronous Design, 2005
Proceedings of the Second Workshop on Globally Asynchronous, Locally Synchronous Design, 2005
IEEE Des. Test Comput., 2005
Architectural, System Level and Protocol Level Techniques for Power Optimization for Networked Embedded Systems.
Proceedings of the 18th International Conference on VLSI Design (VLSI Design 2005), 2005
Proceedings of the Proceedings 2005 IEEE International SOC Conference, 2005
Proceedings of the Sixth International Workshop on Microprocessor Test and Verification (MTV 2005), 2005
Proceedings of the 2005 International Conference on Microelectronics Systems Education, 2005
Proceedings of the 3rd ACM & IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 2005), 2005
Proceedings of the 3rd ACM & IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 2005), 2005
A Cross-Layer Approach for Power-Performance Optimization in Distributed Mobile Systems.
Proceedings of the 19th International Parallel and Distributed Processing Symposium (IPDPS 2005), 2005
Proceedings of the Tenth IEEE International High-Level Design Validation and Test Workshop 2005, Napa Valley, CA, USA, November 30, 2005
Proceedings of the Forum on specification and Design Languages, 2005
Proceedings of the Forum on specification and Design Languages, 2005
Proceedings of the Forum on specification and Design Languages, 2005
An Introductory Survey of Networked Embedded Systems.
Proceedings of the Industrial Information Technology Handbook, 2005
2004
Fundam. Informaticae, 2004
Proceedings of the First International Workshop on Formal Foundations of Embedded Software and Component-based Software Architectures, 2004
Panel Summaries.
IEEE Des. Test Comput., 2004
Evaluating the Reliability of Defect-Tolerant Architectures for Nanotechnology with Probabilistic Model Checking.
Proceedings of the 17th International Conference on VLSI Design (VLSI Design 2004), 2004
Proceedings of the Fifth International Workshop on Microprocessor Test and Verification (MTV 2004), 2004
Panel: given that hardware verification has been an uphill battle, what is the future of software verification?
Proceedings of the 2nd ACM & IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 2004), 2004
Proceedings of the 2004 IEEE Computer Society Annual Symposium on VLSI (ISVLSI 2004), 2004
Proceedings of the Ninth IEEE International High-Level Design Validation and Test Workshop 2004, 2004
NANOPRISM: a tool for evaluating granularity vs. reliability trade-offs in nano architectures.
Proceedings of the 14th ACM Great Lakes Symposium on VLSI 2004, 2004
A Functional Programming Framework of Heterogeneous Model of Computation for System Design.
Proceedings of the Forum on specification and Design Languages, 2004
Proceedings of the 2004 Design, 2004
Proceedings of the 2004 International Conference on Compilers, 2004
Proceedings of the 4th International Conference on Application of Concurrency to System Design (ACSD 2004), 2004
SystemC Kernel extensions for heterogeneous system modeling - a framework for multi-MoC modeling and simulation.
Kluwer, ISBN: 978-1-4020-8087-6, 2004
2003
Online strategies for dynamic power management in systems with multiple power-saving states.
ACM Trans. Embed. Comput. Syst., 2003
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2003
High Level Modeling and Validation Methodologies for Embedded Systems: Bridging the Productivity Gap.
Proceedings of the 16th International Conference on VLSI Design (VLSI Design 2003), 2003
Hierarchical and Incremental Verification for System Level Design: Challenges and Accomplishments.
Proceedings of the 1st ACM & IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 2003), 2003
Should the space of implementation possibilities be determined by the abilities of high-level synthesis and validation?
Proceedings of the 1st ACM & IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 2003), 2003
Proceedings of the 17th International Parallel and Distributed Processing Symposium (IPDPS 2003), 2003
Proceedings of the 2003 International Conference on Computer-Aided Design, 2003
Nano, quantum, and molecular computing: are we ready for the validation and test challenges?
Proceedings of the Eighth IEEE International High-Level Design Validation and Test Workshop 2003, 2003
Proceedings of the 2003 Design, 2003
Proceedings of the 40th Design Automation Conference, 2003
Proceedings of the 2003 Asia and South Pacific Design Automation Conference, 2003
Proceedings of the 3rd International Conference on Application of Concurrency to System Design (ACSD 2003), 2003
2002
Concurrency in System Level Design: Conflict Between Simulation and Synthesis Goals.
Proceedings of the 11th IEEE/ACM International Workshop on Logic & Synthesis, 2002
Proceedings of the 15th International Symposium on System Synthesis (ISSS 2002), 2002
Formal analysis and validation of continuous-time Markov chain based system level power management strategies.
Proceedings of the Seventh IEEE International High-Level Design Validation and Test Workshop 2002, 2002
Proceedings of the Seventh IEEE International High-Level Design Validation and Test Workshop 2002, 2002
Proceedings of the High Performance Computing, 2002
Automated Concurrency Re-Assignment in High Level System Models for Efficient System-Level Simulation.
Proceedings of the 2002 Design, 2002
Competitive Analysis of Dynamic Power Management Strategies for Systems with Multiple Power Savings States.
Proceedings of the 2002 Design, 2002
Proceedings of the 2002 Design, 2002
2001
Proceedings of the 14th International Symposium on Systems Synthesis, 2001
A model checking approach to evaluating system level dynamic power management policies for embedded systems.
Proceedings of the Sixth IEEE International High-Level Design Validation and Test Workshop 2001, 2001
1999
A Case Study in CORBA-based Event Management for Correlation Across Network Management Servers in a Centralized Network Operation.
Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 1999
1998
Proceedings of the Rewriting Techniques and Applications, 9th International Conference, 1998
1996
I/O Automata Based Verification of Finite State Distributed Systems: Complexity Issues (Abstract).
Proceedings of the Fifteenth Annual ACM Symposium on Principles of Distributed Computing, 1996
On the Complexity of Relational Problems for Finite State Processes (Extended Abstract).
Proceedings of the Automata, Languages and Programming, 23rd International Colloquium, 1996
Proceedings of the Spin Verification System, 1996
The polynomial time decidability of simulation relations for finite processes: A HORNSAT based approach.
Proceedings of the Satisfiability Problem: Theory and Applications, 1996
Proceedings of the Computer Aided Verification, 8th International Conference, 1996