1 – 20 of 184
- show: 20
- |
- sort: year (new to old)
Close
Embed this list
<iframe src=" "
width=" "
height=" "
allowtransparency="true"
frameborder="0">
</iframe>
- 2024
-
Mark
Succinct Opacity Micromaps
2024) High-Performance Graphics 2024 In Proceedings of the ACM in Computer Graphics and Interactive Techniques 7(3).(
- Contribution to journal › Article
-
Mark
VNN: Verification-Friendly Neural Networks with Hard Robustness Guarantees
2024) 41st International Conference on Machine Learning, ICML 2024 In Proceedings of Machine Learning Research 235. p.2846-2856(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Conflict Simulation for Shared Autonomy in Autonomous Driving
2024) 19th Annual ACM/IEEE International Conference on Human-Robot Interaction, HRI 2024 In ACM/IEEE International Conference on Human-Robot Interaction p.882-887(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Hardware and Software Generation from Large Actor Machines in Streaming Applications
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Autonomous Monitors for Detecting Failures Early and Reporting Interpretable Alerts in Cloud Operations
2024) 46th International Conference on Software Engineering, ICSE 2024(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
On Decentralized Cloud Storage Security and an Efficient Post-Quantum Encryption Scheme
2024)(
- Thesis › Licentiate thesis
-
Mark
On Modeling and Detecting Trojans in Instruction Sets
(
- Contribution to journal › Article
-
Mark
Scalable Intelligent Traffic Balancing: Advancing Efficiency, Safety, and Sustainability in Urban Transportation Through Machine Learning and AIM Integration
2024) 2023 IEEE Global Conference on Artificial Intelligence and Internet of Things, GCAIoT(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Storage Assignment Using Nested Metropolis Sampling and Approximations of Order Batching Travel Costs
(
- Contribution to journal › Article
-
Mark
Resilient Cloud Control System: Dynamic Frequency Adaptation via Q-learning
2024) 27th Conference on Innovation in Clouds, Internet and Networks, ICIN(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
- 2023
-
Mark
Workload Characterization and Traffic Analysis for Reconfigurable Intelligent Surfaces within 6G Wireless Systems
(
- Contribution to journal › Article
-
Mark
Attack Resilient Cloud-Based Control Systems for Industry 4.0
(
- Contribution to journal › Article
-
Mark
SafeDeep: A Scalable Robustness Verification Framework for Deep Neural Networks
2023) IEEE International Conference on Acoustics, Speech, and Signal Processing, ICASSP 2023(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Barriers to continuance use of cloud computing : Evidence from two case studies
(
- Contribution to journal › Article
-
Mark
DDPC : Automated Data-Driven Power-Performance Controller Design on-the-fly for Latency-sensitive Web Services
2023) 2023 World Wide Web Conference, WWW 2023 In ACM Web Conference 2023 - Proceedings of the World Wide Web Conference, WWW 2023 p.3067-3076(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Homunculus : Auto-Generating Efficient Data-Plane ML Pipelines for Datacenter Networks
2023) 28th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, ASPLOS 2023 In International Conference on Architectural Support for Programming Languages and Operating Systems - ASPLOS 3. p.329-342(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Towards optimization of anomaly detection in DevOps
(
- Contribution to journal › Article
-
Mark
Building Stronger Bridges: Strategies for Improving Communication and Collaboration Between Industry and Academia in Software Engineering
2023)(
- Thesis › Doctoral thesis (compilation)
-
Mark
Hybrid planning for challenging construction problems : An Answer Set Programming approach
(
- Contribution to journal › Article
-
Mark
EpilepsyNet: Interpretable Self-Supervised Seizure Detection for Low-Power Wearable Systems
2023) 5th IEEE International Conference on Artificial Intelligence Circuits and Systems, AICAS 2023(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding