The Use of Assertions in Algorithmic Debugging. - Wlodzimierz Drabent; Simin Nadjm-Tehrani; Jan Maluszynski (FGCS, 1988)

Algorithmic Debugging with Assertions. - Wlodzimierz Drabent; Simin Nadjm-Tehrani; Jan Maluszynski (META, 1988)

Real-Time Hierarchical Control. - Magnus Morin; Simin Nadjm-Tehrani; Per Österling; Erik Sandewall (IEEE Softw., 1992)

From Physical Modelling to Compositional Models of Hybrid Systems. - Simin Nadjm-Tehrani; Jan-Erik Strömberg (FTRTFT, 1994)

Switched Bond Graphs as Front-End to Formal Verification of Hybrid Systems. - Jan-Erik Strömberg; Simin Nadjm-Tehrani; Jan L. Top (Hybrid Systems, 1995)

Proving Dynamic Properties in an Aerospace Application. - Simin Nadjm-Tehrani; Jan-Erik Strömberg (RTSS, 1995)

Verification of Embedded Systems Using Synchronous Observers. - Martin Westhead; Simin Nadjm-Tehrani (FTRTFT, 1996)

On Semantics of Reactive Rule-Based Systems. - Man Lin; Jacek Malec; Simin Nadjm-Tehrani (ASIAN, 1997)

Time-Deterministic Hybrid Transition Systems. - Simin Nadjm-Tehrani (Hybrid Systems, 1997)

On Semantics and Correctness of Reactive Rule-Based Programs. - Man Lin; Jacek Malec; Simin Nadjm-Tehrani (Ershov Memorial Conference, 1999)

Combining Theorem Proving and Continuous Models in Synchronous Design. - Simin Nadjm-Tehrani; Ove Åkerlund (World Congress on Formal Methods, 1999)

Integration of Analog and Discrete Synchronous Design. - Simin Nadjm-Tehrani (HSCC, 1999)

Formal Verification of Dynamic Properties in an Aerospace Application. - Simin Nadjm-Tehrani; Jan-Erik Strömberg (Formal Methods Syst. Des., 1999)

Co-simulation of Hybrid Systems: Signal-Simulink. - Stéphane Tudoret; Simin Nadjm-Tehrani; Albert Beneviste; Jan-Erik Strömberg (FTRTFT, 2000)

Real-time lab excercises: a teacher's dilemma. - Erik Herzog; Peter Loborg; Simin Nadjm-Tehrani (SIGCSE, 2001)

Mid-term course evaluations with muddy cards. - Christoph W. Keßler; Simin Nadjm-Tehrani (ITiCSE, 2002)

Adaptive load control algorithms for 3rd generation mobile networks. - Simin Nadjm-Tehrani; Kayvan Najarian; Calin Curescu; Tomas Lingvall; Teresa A. Dahlberg (MSWiM, 2002)

Time-Aware Utility-Based QoS Optimisation. - Calin Curescu; Simin Nadjm-Tehrani (ECRTS, 2003)

Development of Safety-Critical Reconfigurable Hardware with Esterel. - Jerker Hammarberg; Simin Nadjm-Tehrani (FMICS, 2003)

ADWICE - Anomaly Detection with Real-Time Incremental Clustering. - Kalle Burbeck; Simin Nadjm-Tehrani (ICISC, 2004)

Scale-up and performance studies of three agent platforms. - Kalle Burbeck; Daniel Garpe; Simin Nadjm-Tehrani (IPCCC, 2004)

Aspects for Improvement of Performance in Fault-Tolerant Software. - Diana Szentiványi; Simin Nadjm-Tehrani (PRDC, 2004)

Raising motivation in real-time laboratories: the soccer scenario. - Mehdi Amirijoo; Aleksandra Tesanovic; Simin Nadjm-Tehrani (SIGCSE, 2004)

Alarm Reduction and Correlation in Defence of IP Networks. - Tobias Chyssler; Simin Nadjm-Tehrani; Stefan Burschka; Kalle Burbeck (WETICE, 2004)

Intents and Upgrades in Component-Based High-Assurance Systems. - Jonas Elmqvist; Simin Nadjm-Tehrani (Model-Driven Software Development, 2005)

Configuring Fault-Tolerant Servers for Best Performance. - Diana Szentiványi; Simin Nadjm-Tehrani (DEXA Workshops, 2005)

Fault Analysis of a Distributed Flight Control System. - Kristina Forsberg; Simin Nadjm-Tehrani; Jan Torin (HICSS, 2005)

Adaptive Real-Time Anomaly Detection with Improved Index and Ability to Forget. - Kalle Burbeck; Simin Nadjm-Tehrani (ICDCS Workshops, 2005)

Optimal Choice of Checkpointing Interval for High Availability. - Diana Szentiványi; Simin Nadjm-Tehrani; John M. Noble (PRDC, 2005)

Utility-based Adaptive Resource Allocation in Hybrid Wireless Networks. - Calin Curescu; Simin Nadjm-Tehrani; Bing Cao 001; Teresa A. Dahlberg (QSHINE, 2005)

Safety Interfaces for Component-Based Systems. - Jonas Elmqvist; Simin Nadjm-Tehrani; Marius Minea (SAFECOMP, 2005)

Price/utility-based optimized resource allocation in wireless ad hoc networks. - Calin Curescu; Simin Nadjm-Tehrani (SECON, 2005)

Formal verification of fault tolerance in safety-critical reconfigurable modules. - Jerker Hammarberg; Simin Nadjm-Tehrani (Int. J. Softw. Tools Technol. Transf., 2005)

Time-Aware Utility-Based Resource Allocation in Wireless Networks. - Calin Curescu; Simin Nadjm-Tehrani (IEEE Trans. Parallel Distributed Syst., 2005)

Modular Verification of Reconfigurable Components. - Aleksandra Tesanovic; Simin Nadjm-Tehrani; Jörgen Hansson (Component-Based Software Development for Embedded Systems, 2005)

Mobility Models for UAV Group Reconnaissance Applications. - Erik Kuiper; Simin Nadjm-Tehrani (ICWMC, 2006)

Comparative study of price-based resource allocation algorithms for ad hoc networks. - Marcel Lüthi; Simin Nadjm-Tehrani; Calin Curescu (IPDPS, 2006)

Formalising Reconciliation in Partitionable Networks with Distributed Services. - Mikael Asplund; Simin Nadjm-Tehrani (RODIN Book, 2006)

Post-partition reconciliation protocols for maintaining consistency. - Mikael Asplund; Simin Nadjm-Tehrani (SAC, 2006)

Safety-Oriented Design of Component Assemblies using Safety Interfaces. - Jonas Elmqvist; Simin Nadjm-Tehrani (FACS, 2006)

Measuring Availability in Optimistic Partition-Tolerant Systems with Data Constraints. - Mikael Asplund; Simin Nadjm-Tehrani; Stefan Beyer; Pablo Galdámez (DSN, 2007)

Adaptive real-time anomaly detection with incremental clustering. - Kalle Burbeck; Simin Nadjm-Tehrani (Inf. Secur. Tech. Rep., 2007)

Geographical Routing in Intermittently Connected Ad Hoc Networks. - Erik Kuiper; Simin Nadjm-Tehrani (AINA Workshops, 2008)

Opportunistic DTN routing with window-aware adaptive replication. - Gabriel Sandulescu; Simin Nadjm-Tehrani (AINTEC, 2008)

Emerging Information Infrastructures: Cooperation in Disasters. - Mikael Asplund; Simin Nadjm-Tehrani; Johan Sigholm (CRITIS, 2008)

Tool Support for Incremental Failure Mode and Effects Analysis of Component-Based Systems. - Jonas Elmqvist; Simin Nadjm-Tehrani (DATE, 2008)

Formal Support for Quantitative Analysis of Residual Risks in Safety-Critical Systems. - Jonas Elmqvist; Simin Nadjm-Tehrani (HASE, 2008)

A Bidding Algorithm for Optimized Utility-Based Resource Allocation in Ad Hoc Networks. - Calin Curescu; Simin Nadjm-Tehrani (IEEE Trans. Mob. Comput., 2008)

Wheels within Wheels: Making Fault Management Cost-Effective. - Moisés Goldszmidt; Miroslaw Malek; Simin Nadjm-Tehrani; Priya Narasimhan; Felix Salfner; Paul A. S. Ward; John Wilkes (Self-Healing and Self-Adaptive Systems, 2009)

A Partition-Tolerant Manycast Algorithm for Disaster Area Networks. - Mikael Asplund; Simin Nadjm-Tehrani (SRDS, 2009)

Middleware extensions that trade consistency for availability. - Mikael Asplund; Simin Nadjm-Tehrani; Klemen Zagar (Concurr. Comput. Pract. Exp., 2009)

Wireless ad hoc dissemination for search and rescue. - Mikael Asplund; Trishan R. de Lanerolle; Christopher Fei; Prasanna Gautam; Ralph A. Morelli; Simin Nadjm-Tehrani; Gustav Nykvist (ISCRAM, 2010)

Anomaly Detection and Mitigation for Disaster Area Networks. - Jordi Cucurull; Mikael Asplund; Simin Nadjm-Tehrani (RAID, 2010)

Vicinity resource cartography for delay-tolerant networks: A holistic perspective. - Gabriel Sandulescu; Péter Schaffer; Simin Nadjm-Tehrani (Wireless Days, 2010)

Adding Redundancy to Replication in Window-aware Delay-tolerant Routing. - Gabriel Sandulescu; Simin Nadjm-Tehrani (J. Commun., 2010)

Crowdroid: behavior-based malware detection system for Android. - Iker Burguera; Urko Zurutuza; Simin Nadjm-Tehrani (SPSM@CCS, 2011)

Towards a Security Domain Model for Embedded Systems. - Simin Nadjm-Tehrani; Maria Vasilevskaya (HASE, 2011)

Predicting the performance of geographic delay-tolerant routing. - Erik Kuiper; Simin Nadjm-Tehrani (MILCOM, 2011)

Software-related energy footprint of a wireless broadband module. - Mikael Asplund; Anton Thomasson; Ekhiotz Jon Vergara; Simin Nadjm-Tehrani (MOBIWAC, 2011)

Resource Footprint of a Manycast Protocol Implementation on Multiple Mobile Platforms. - Ekhiotz Jon Vergara; Simin Nadjm-Tehrani; Mikael Asplund; Urko Zurutuza (NGMAST, 2011)

Modular Anomaly Detection for Smartphone Ad Hoc Communication. - Jordi Cucurull; Simin Nadjm-Tehrani; Massimiliano Raciti (NordSec, 2011)

Energy-based adaptation in simulations of survivability of ad hoc communication. - Massimiliano Raciti; Jordi Cucurull; Simin Nadjm-Tehrani (Wireless Days, 2011)

Geographical Routing With Location Service in Intermittently Connected MANETs. - Erik Kuiper; Simin Nadjm-Tehrani (IEEE Trans. Veh. Technol., 2011)

Analysing Delay-Tolerant Networks with Correlated Mobility. - Mikael Asplund; Simin Nadjm-Tehrani (ADHOC-NOW, 2012)

Embedded Cyber-Physical Anomaly Detection in Smart Meters. - Massimiliano Raciti; Simin Nadjm-Tehrani (CRITIS, 2012)

Energy-aware cross-layer burst buffering for wireless communication. - Ekhiotz Jon Vergara; Simin Nadjm-Tehrani (e-Energy, 2012)

Security asset elicitation for collaborative models. - Maria Vasilevskaya; Simin Nadjm-Tehrani; Linda Ariani Gunawan; Peter Herrmann (MDsec@MoDELS, 2012)

BATMAN store-and-forward: The best of the two worlds. - Laurent Delosières; Simin Nadjm-Tehrani (PerCom Workshops, 2012)

A framework for performance analysis of geographic delaytolerant routing. - Erik Kuiper; Simin Nadjm-Tehrani; Di Yuan 001 (EURASIP J. Wirel. Commun. Netw., 2012)

Worst-case latency of broadcast in intermittently connected networks. - Mikael Asplund; Simin Nadjm-Tehrani (Int. J. Ad Hoc Ubiquitous Comput., 2012)

Surviving Attacks in Challenged Networks. - Jordi Cucurull; Mikael Asplund; Simin Nadjm-Tehrani; Tiziano Santoro (IEEE Trans. Dependable Secur. Comput., 2012)

Anomaly Detection in Water Management Systems. - Massimiliano Raciti; Jordi Cucurull; Simin Nadjm-Tehrani (Critical Infrastructure Protection, 2012)

EnergyBox: A Trace-Driven Tool for Data Transmission Energy Consumption Studies. - Ekhiotz Jon Vergara; Simin Nadjm-Tehrani (EE-LSDS, 2013)

Mobile location sharing: an energy consumption study. - Ekhiotz Jon Vergara; Mihails Prihodko; Simin Nadjm-Tehrani (e-Energy, 2013)

Watts2Share: Energy-Aware Traffic Consolidation. - Ekhiotz Jon Vergara; Simin Nadjm-Tehrani (GreenCom/iThings/CPScom, 2013)

Kernel level energy-efficient 3G background traffic shaper for android smartphones. - Ekhiotz Jon Vergara; Joseba Sanjuan; Simin Nadjm-Tehrani (IWCMC, 2013)

Exploiting resource heterogeneity in delay-tolerant networks. - Gabriel Sandulescu; Péter Schaffer; Simin Nadjm-Tehrani (Wirel. Commun. Mob. Comput., 2013)

Model-Based Security Risk Analysis for Networked Embedded Systems. - Maria Vasilevskaya; Simin Nadjm-Tehrani (CRITIS, 2014)

When mice consume like elephants: instant messaging applications. - Ekhiotz Jon Vergara; Simon Andersson; Simin Nadjm-Tehrani (e-Energy, 2014)

Challenges in Future Avionic Systems on Multi-Core Platforms. - Andreas Löfwenmark; Simin Nadjm-Tehrani (ISSRE Workshops, 2014)

Monkey Gamer: Automatic profiling of Android games. - Javier Marian Santos; Simin Nadjm-Tehrani; Aruna Prem Bianzino (MobiCASE, 2014)

Cooperative proxies: Optimally trading energy and quality of service in mobile devices. - Aruna Prem Bianzino; Mikael Asplund; Ekhiotz Jon Vergara; Simin Nadjm-Tehrani (Comput. Networks, 2014)

Modelling Correlated Mobility. - Mikael Asplund; Simin Nadjm-Tehrani (CoRR, 2014)

Integrating security mechanisms into embedded systems by domain-specific modelling. - Maria Vasilevskaya; Linda Ariani Gunawan; Simin Nadjm-Tehrani; Peter Herrmann (Secur. Commun. Networks, 2014)

EnergyBox: Disclosing the wireless transmission energy cost for mobile devices. - Ekhiotz Jon Vergara; Simin Nadjm-Tehrani; Mihails Prihodko (Sustain. Comput. Informatics Syst., 2014)

Experience report: Memory accesses for avionic applications and operating systems on a multi-core platform. - Andreas Löfwenmark; Simin Nadjm-Tehrani (ISSRE, 2015)

Communication Energy Overhead of Mobiles Games. - Mathias Almquist; Viktor Almquist; Ekhiotz Jon Vergara; Simin Nadjm-Tehrani (MobiGames@MobiSys, 2015)

Sharing the Cost of Lunch: Energy Apportionment Policies. - Ekhiotz Jon Vergara; Simin Nadjm-Tehrani; Mikael Asplund (Q2SWinet@MSWiM, 2015)

Quantifying Risks to Data Assets Using Formal Metrics in Embedded System Design. - Maria Vasilevskaya; Simin Nadjm-Tehrani (SAFECOMP, 2015)

Support for cross-domain composition of embedded systems using MARTE models. - Maria Vasilevskaya; Simin Nadjm-Tehrani (SIGBED Rev., 2015)

Exploiting Bro for Intrusion Detection in a SCADA System. - Robert Udd; Mikael Asplund; Simin Nadjm-Tehrani; Mehrdad Kazemtabrizi; Mathias Ekstedt (CPSS@AsiaCCS, 2016)

Performance-aware scheduling of multicore time-critical systems. - Jalil Boudjadar; Jin Hyun Kim; Simin Nadjm-Tehrani (MEMOCODE, 2016)

Maintainability of functional reactive programs in a telecom server software. - Klervie Toczé; Maria Vasilevskaya; Patrik Sandahl; Simin Nadjm-Tehrani (SAC, 2016)

Understanding Shared Memory Bank Access Interference in Multi-Core Avionics. - Andreas Löfwenmark; Simin Nadjm-Tehrani (WCET, 2016)

Attitudes and Perceptions of IoT Security in Critical Societal Services. - Mikael Asplund; Simin Nadjm-Tehrani (IEEE Access, 2016)

Detection and Visualization of Android Malware Behavior. - Oscar Somarriba Jarquín; Urko Zurutuza; Roberto Uribeetxeberria; Laurent Delosières; Simin Nadjm-Tehrani (J. Electr. Comput. Eng., 2016)

Fairness and Incentive Considerations in Energy Apportionment Policies. - Ekhiotz Jon Vergara; Simin Nadjm-Tehrani; Mikael Asplund (ACM Trans. Model. Perform. Evaluation Comput. Syst., 2016)

Where Resources Meet at the Edge. - Klervie Toczé; Simin Nadjm-Tehrani (CIT, 2017)

Timing-Based Anomaly Detection in SCADA Networks. - Chih-Yuan Lin; Simin Nadjm-Tehrani; Mikael Asplund (CRITIS, 2017)

Towards Combined Safety and Security Constraints Analysis. - Daniel Patrick Pereira; Celso M. Hirata; Rodrigo Pagliares; Simin Nadjm-Tehrani (SAFECOMP Workshops, 2017)

Schedulability and Memory Interference Analysis of Multicore Preemptive Real-time Systems. - Jalil Boudjadar; Simin Nadjm-Tehrani (ICPE, 2017)

Understanding IEC-60870-5-104 Traffic Patterns in SCADA Networks. - Chih-Yuan Lin; Simin Nadjm-Tehrani (CPSS@AsiaCCS, 2018)

RICS-el: Building a National Testbed for Research and Training on SCADA Security (Short Paper). - Magnus Almgren; Peter Andersson; Gunnar Björkman; Mathias Ekstedt; Jonas Hallberg; Simin Nadjm-Tehrani; Erik Westring (CRITIS, 2018)

Formal Verification of Random Forests in Safety-Critical Applications. - John Törnblom; Simin Nadjm-Tehrani (FTSCS, 2018)

In-Store Payments Using Bitcoin. - Mikael Asplund; Jakob Lovhall; Simin Nadjm-Tehrani (NTMS, 2018)

Fault and timing analysis in critical multi-core systems: A survey with an avionics perspective. - Andreas Löfwenmark; Simin Nadjm-Tehrani (J. Syst. Archit., 2018)

A Taxonomy for Management and Optimization of Multiple Resources in Edge Computing. - Klervie Toczé; Simin Nadjm-Tehrani (Wirel. Commun. Mob. Comput., 2018)

Verifying Resource Adequacy of Networked IMA Systems at Concept Level. - Rodrigo Saar de Moraes; Simin Nadjm-Tehrani (FTSCS, 2019)

ORCH: Distributed Orchestration Framework using Mobile Edge Devices. - Klervie Toczé; Simin Nadjm-Tehrani (ICFEC, 2019)

Timing Patterns and Correlations in Spontaneous SCADA Traffic for Anomaly Detection. - Chih-Yuan Lin; Simin Nadjm-Tehrani (RAID, 2019)

Combining GSN and STPA for Safety Arguments. - Celso M. Hirata; Simin Nadjm-Tehrani (SAFECOMP Workshops, 2019)

An Abstraction-Refinement Approach to Formal Verification of Tree Ensembles. - John Törnblom; Simin Nadjm-Tehrani (SAFECOMP Workshops, 2019)

Towards Edge Benchmarking: A Methodology for Characterizing Edge Workloads. - Klervie Toczé; Norbert Schmitt; Ivona Brandic; Atakan Aral; Simin Nadjm-Tehrani (FAS*W@SASO/ICAC, 2019)

Performance Study of Mixed Reality for Edge Computing. - Klervie Toczé; Johan Lindqvist; Simin Nadjm-Tehrani (UCC, 2019)

A STAMP-based ontology approach to support safety and security analyses. - Daniel Patrick Pereira; Celso M. Hirata; Simin Nadjm-Tehrani (J. Inf. Secur. Appl., 2019)

A Comparative Analysis of Emulated and Real IEC-104 Spontaneous Traffic in Power System Networks. - Chih-Yuan Lin; Simin Nadjm-Tehrani (CPS4CIP, 2020)

Permissioned blockchains and distributed databases: A performance study. - Sara Bergman; Mikael Asplund; Simin Nadjm-Tehrani (Concurr. Comput. Pract. Exp., 2020)

Characterization and modeling of an edge computing mixed reality workload. - Klervie Toczé; Johan Lindqvist; Simin Nadjm-Tehrani (J. Cloud Comput., 2020)

Blockchain-based event processing in supply chains - A case study at IKEA. - Tobias Sund; Claes Lööf; Simin Nadjm-Tehrani; Mikael Asplund (Robotics Comput. Integr. Manuf., 2020)

Formal verification of input-output mappings of tree ensembles. - John Törnblom; Simin Nadjm-Tehrani (Sci. Comput. Program., 2020)

Timing Assurance of Avionic Reconfiguration Schemes Using Formal Analysis. - Antonio Augusto da Fontoura; Francisco Assis Moreira do Nascimento; Simin Nadjm-Tehrani; Edison Pignaton de Freitas (IEEE Trans. Aerosp. Electron. Syst., 2020)

A model-based approach for analysing network communication timeliness in IMA systems at concept level. - Rodrigo Saar de Moraes; Simona Bernardi 001; Simin Nadjm-Tehrani (RTNS, 2021)

Scaling up Memory-Efficient Formal Verification Tools for Tree Ensembles. - John Törnblom; Simin Nadjm-Tehrani (CoRR, 2021)

Abstraction models for verifying resource adequacy of IMA systems at concept level. - Rodrigo Saar de Moraes; Simin Nadjm-Tehrani (Sci. Comput. Program., 2021)

On Generating Network Traffic Datasets with Synthetic Attacks for Intrusion Detection. - Carlos Garcia Cordero; Emmanouil Vasilomanolakis; Aidmar Wainakh; Max Mühlhäuser; Simin Nadjm-Tehrani (ACM Trans. Priv. Secur., 2021)

Synthesis of a Controller Algorithm for Safety-Critical Systems. - Fellipe Guilherme Rey de Souza; Celso Massaki Hirata; Simin Nadjm-Tehrani (IEEE Access, 2022)

Digital Twins for Cyber-Physical Systems Security (Dagstuhl Seminar 22171). - Alvaro A. Cárdenas-Mora; Simin Nadjm-Tehrani; Edgar R. Weippl; Matthias Eckhart (Dagstuhl Reports, 2022)

Formal Verification of Tree Ensembles against Real-World Composite Geometric Perturbations. - Valency Oscar Colaco; Simin Nadjm-Tehrani (SafeAI@AAAI, 2023)

Mapping and Analysis of Common Vulnerabilities in Popular Web Servers. - Matyas Barocsai; Johan Can; Martin Karresand; Simin Nadjm-Tehrani (critis, 2023)

Vulnerability Analysis of an Electric Vehicle Charging Ecosystem. - Roland Plaka; Mikael Asplund; Simin Nadjm-Tehrani (critis, 2023)

5G Handover: When Forward Security Breaks. - Navya Sivaraman; Simin Nadjm-Tehrani (SECRYPT, 2023)

Finding Minimum-Cost Explanations for Predictions made by Tree Ensembles. - John Törnblom; Emil Karlsson; Simin Nadjm-Tehrani (CoRR, 2023)

Security-Enhancing Digital Twins: Characteristics, Indicators, and Future Perspectives. - Matthias Eckhart; Andreas Ekelhart; David Allison; Magnus Almgren; Katharina Ceesay-Seitz; Helge Janicke; Simin Nadjm-Tehrani; Awais Rashid; Mark Yampolskiy (IEEE Secur. Priv., 2023)

VioLinn: Proximity-aware Edge Placementwith Dynamic and Elastic Resource Provisioning. - Klervie Toczé; Ali J. Fahs; Guillaume Pierre; Simin Nadjm-Tehrani (ACM Trans. Internet Things, 2023)

Protocol study and anomaly detection for server-driven traffic in SCADA networks. - Chih-Yuan Lin; Simin Nadjm-Tehrani (Int. J. Crit. Infrastructure Prot., 2023)

Dependable and secure infrastructures and systems in intelligent environments. - Simona Bernardi 001; Matthias Eckhart; José Merseguer; Simin Nadjm-Tehrani (J. Reliab. Intell. Environ., 2023)

Penetrating the Power Grid: Realistic Adversarial Attacks on Smart Grid Intrusion Detection Systems. - Nelson Makau Mutua; Simin Nadjm-Tehrani; Petr Matousek (CRITIS, 2024)

NeuralGAP: Deep Learning Evaluation of Networked Avionic Architectures. - Rodrigo S. de Moraes; Simin Nadjm-Tehrani (EDCC, 2024)

Formal Analysis of Julia Key Agreement Protocol. - Navya Sivaraman; Simin Nadjm-Tehrani; Thomas Johansson 001 (ICICS (2), 2024)

Fast Evasion Detection & Alert Management in Tree-Ensemble-Based Intrusion Detection Systems. - Valency Oscar Colaco; Simin Nadjm-Tehrani (ICTAI, 2024)

Energy-aware Distributed Microservice Request Placement at the Edge. - Klervie Toczé; Simin Nadjm-Tehrani (CoRR, 2024)

NetGAP: A graph grammar approach for concept design of networked platforms with extra-functional requirements. - Rodrigo Saar de Moraes; Simin Nadjm-Tehrani (Eng. Appl. Artif. Intell., 2024)

The Necessary Shift: Toward a Sufficient Edge Computing. - Klervie Toczé; Simin Nadjm-Tehrani (IEEE Pervasive Comput., 2024)

Invited Paper: Smart Autonomous Cyber-Physical Systems. - Elisa Bertino; Simin Nadjm-Tehrani (SAT-CPS@CODASPY, 2025)

Topology-Aware Prioritized Patching for EV Charging Infrastructure Vulnerabilities. - Roland Plaka; Mikael Asplund; Simin Nadjm-Tehrani (VEHITS, 2025)

Real-Time Evasion Detection in Tree Ensemble Automotive Intrusion Detection Systems. - Valency Oscar Colaco; Simin Nadjm-Tehrani (VNC, 2025)

Energy Metrics for Edge Microservice Request Placement Strategies. - Klervie Toczé; Simin Nadjm-Tehrani (ICPE, 2025)