Simin Nadjm-Tehrani

ORCID

Publication Activity (10 Years)

Years Active: 1988-2024
Publications (10 Years): 54

Top Venues

Publications

Rodrigo S. de Moraes, Simin Nadjm-Tehrani
NeuralGAP: Deep Learning Evaluation of Networked Avionic Architectures. EDCC (2024)
Rodrigo Saar de Moraes, Simin Nadjm-Tehrani
NetGAP: A graph grammar approach for concept design of networked platforms with extra-functional requirements. Eng. Appl. Artif. Intell. 133 (2024)
Klervie Toczé, Simin Nadjm-Tehrani
The Necessary Shift: Toward a Sufficient Edge Computing. IEEE Pervasive Comput. 23 (2) (2024)
Rodrigo Saar de Moraes, Simin Nadjm-Tehrani
NetGAP: A Graph-Grammar approach for concept design of networked platforms with extra-functional requirements. CoRR (2023)
Roland Plaka, Mikael Asplund, Simin Nadjm-Tehrani
Vulnerability Analysis of an Electric Vehicle Charging Ecosystem. critis (2023)
Klervie Toczé, Ali J. Fahs, Guillaume Pierre, Simin Nadjm-Tehrani
VioLinn: Proximity-aware Edge Placementwith Dynamic and Elastic Resource Provisioning. ACM Trans. Internet Things 4 (1) (2023)
Simona Bernardi, Matthias Eckhart, José Merseguer, Simin Nadjm-Tehrani
Dependable and secure infrastructures and systems in intelligent environments. J. Reliab. Intell. Environ. 9 (3) (2023)
Valency Oscar Colaco, Simin Nadjm-Tehrani
Formal Verification of Tree Ensembles against Real-World Composite Geometric Perturbations. SafeAI@AAAI (2023)
Matyas Barocsai, Johan Can, Martin Karresand, Simin Nadjm-Tehrani
Mapping and Analysis of Common Vulnerabilities in Popular Web Servers. critis (2023)
Matthias Eckhart, Andreas Ekelhart, David Allison, Magnus Almgren, Katharina Ceesay-Seitz, Helge Janicke, Simin Nadjm-Tehrani, Awais Rashid, Mark Yampolskiy
Security-Enhancing Digital Twins: Characteristics, Indicators, and Future Perspectives. IEEE Secur. Priv. 21 (6) (2023)
John Törnblom, Emil Karlsson, Simin Nadjm-Tehrani
Finding Minimum-Cost Explanations for Predictions made by Tree Ensembles. CoRR (2023)
Chih-Yuan Lin, Simin Nadjm-Tehrani
Protocol study and anomaly detection for server-driven traffic in SCADA networks. Int. J. Crit. Infrastructure Prot. 42 (2023)
Navya Sivaraman, Simin Nadjm-Tehrani
5G Handover: When Forward Security Breaks. SECRYPT (2023)
Matthias Eckhart, Andreas Ekelhart, David Allison, Magnus Almgren, Katharina Ceesay-Seitz, Helge Janicke, Simin Nadjm-Tehrani, Awais Rashid, Mark Yampolskiy
Security-Enhancing Digital Twins: Characteristics, Indicators, and Future Perspectives. CoRR (2023)
Fellipe Guilherme Rey de Souza, Celso Massaki Hirata, Simin Nadjm-Tehrani
Synthesis of a Controller Algorithm for Safety-Critical Systems. IEEE Access 10 (2022)
Alvaro A. Cárdenas-Mora, Simin Nadjm-Tehrani, Edgar R. Weippl, Matthias Eckhart
Digital Twins for Cyber-Physical Systems Security (Dagstuhl Seminar 22171). Dagstuhl Reports 12 (4) (2022)
Rodrigo Saar de Moraes, Simona Bernardi, Simin Nadjm-Tehrani
A model-based approach for analysing network communication timeliness in IMA systems at concept level. RTNS (2021)
Rodrigo Saar de Moraes, Simin Nadjm-Tehrani
Abstraction models for verifying resource adequacy of IMA systems at concept level. Sci. Comput. Program. 208 (2021)
Carlos Garcia Cordero, Emmanouil Vasilomanolakis, Aidmar Wainakh, Max Mühlhäuser, Simin Nadjm-Tehrani
On Generating Network Traffic Datasets with Synthetic Attacks for Intrusion Detection. ACM Trans. Priv. Secur. 24 (2) (2021)
John Törnblom, Simin Nadjm-Tehrani
Scaling up Memory-Efficient Formal Verification Tools for Tree Ensembles. CoRR (2021)
Klervie Toczé, Johan Lindqvist, Simin Nadjm-Tehrani
Characterization and modeling of an edge computing mixed reality workload. J. Cloud Comput. 9 (2020)
Tobias Sund, Claes Lööf, Simin Nadjm-Tehrani, Mikael Asplund
Blockchain-based event processing in supply chains - A case study at IKEA. Robotics Comput. Integr. Manuf. 65 (2020)
Antonio Augusto da Fontoura, Francisco Assis Moreira do Nascimento, Simin Nadjm-Tehrani, Edison Pignaton de Freitas
Timing Assurance of Avionic Reconfiguration Schemes Using Formal Analysis. IEEE Trans. Aerosp. Electron. Syst. 56 (1) (2020)
John Törnblom, Simin Nadjm-Tehrani
Formal verification of input-output mappings of tree ensembles. Sci. Comput. Program. 194 (2020)
Sara Bergman, Mikael Asplund, Simin Nadjm-Tehrani
Permissioned blockchains and distributed databases: A performance study. Concurr. Comput. Pract. Exp. 32 (12) (2020)
Chih-Yuan Lin, Simin Nadjm-Tehrani
A Comparative Analysis of Emulated and Real IEC-104 Spontaneous Traffic in Power System Networks. CPS4CIP (2020)
Rodrigo Saar de Moraes, Simin Nadjm-Tehrani
Verifying Resource Adequacy of Networked IMA Systems at Concept Level. FTSCS (2019)
Klervie Toczé, Simin Nadjm-Tehrani
ORCH: Distributed Orchestration Framework using Mobile Edge Devices. ICFEC (2019)
John Törnblom, Simin Nadjm-Tehrani
An Abstraction-Refinement Approach to Formal Verification of Tree Ensembles. SAFECOMP Workshops (2019)
Klervie Toczé, Norbert Schmitt, Ivona Brandic, Atakan Aral, Simin Nadjm-Tehrani
Towards Edge Benchmarking: A Methodology for Characterizing Edge Workloads. FAS*W@SASO/ICAC (2019)
Chih-Yuan Lin, Simin Nadjm-Tehrani
Timing Patterns and Correlations in Spontaneous SCADA Traffic for Anomaly Detection. RAID (2019)
Klervie Toczé, Johan Lindqvist, Simin Nadjm-Tehrani
Performance Study of Mixed Reality for Edge Computing. UCC (2019)
John Törnblom, Simin Nadjm-Tehrani
Formal Verification of Input-Output Mappings of Tree Ensembles. CoRR (2019)
Carlos Garcia Cordero, Emmanouil Vasilomanolakis, Aidmar Wainakh, Max Mühlhäuser, Simin Nadjm-Tehrani
On generating network traffic datasets with synthetic attacks for intrusion detection. CoRR (2019)
Celso M. Hirata, Simin Nadjm-Tehrani
Combining GSN and STPA for Safety Arguments. SAFECOMP Workshops (2019)
Daniel Patrick Pereira, Celso M. Hirata, Simin Nadjm-Tehrani
A STAMP-based ontology approach to support safety and security analyses. J. Inf. Secur. Appl. 47 (2019)
Magnus Almgren, Peter Andersson, Gunnar Björkman, Mathias Ekstedt, Jonas Hallberg, Simin Nadjm-Tehrani, Erik Westring
RICS-el: Building a National Testbed for Research and Training on SCADA Security (Short Paper). CRITIS (2018)
Andreas Löfwenmark, Simin Nadjm-Tehrani
Fault and timing analysis in critical multi-core systems: A survey with an avionics perspective. J. Syst. Archit. 87 (2018)
John Törnblom, Simin Nadjm-Tehrani
Formal Verification of Random Forests in Safety-Critical Applications. FTSCS (2018)
Klervie Toczé, Simin Nadjm-Tehrani
A Taxonomy for Management and Optimization of Multiple Resources in Edge Computing. CoRR (2018)
Klervie Toczé, Simin Nadjm-Tehrani
A Taxonomy for Management and Optimization of Multiple Resources in Edge Computing. Wirel. Commun. Mob. Comput. 2018 (2018)
Mikael Asplund, Jakob Lovhall, Simin Nadjm-Tehrani
In-Store Payments Using Bitcoin. NTMS (2018)
Chih-Yuan Lin, Simin Nadjm-Tehrani
Understanding IEC-60870-5-104 Traffic Patterns in SCADA Networks. CPSS@AsiaCCS (2018)
Daniel Patrick Pereira, Celso M. Hirata, Rodrigo Pagliares, Simin Nadjm-Tehrani
Towards Combined Safety and Security Constraints Analysis. SAFECOMP Workshops (2017)
Chih-Yuan Lin, Simin Nadjm-Tehrani, Mikael Asplund
Timing-Based Anomaly Detection in SCADA Networks. CRITIS (2017)
Jalil Boudjadar, Simin Nadjm-Tehrani
Schedulability and Memory Interference Analysis of Multicore Preemptive Real-time Systems. ICPE (2017)
Klervie Toczé, Simin Nadjm-Tehrani
Where Resources Meet at the Edge. CIT (2017)
Andreas Löfwenmark, Simin Nadjm-Tehrani
Understanding Shared Memory Bank Access Interference in Multi-Core Avionics. WCET (2016)
Robert Udd, Mikael Asplund, Simin Nadjm-Tehrani, Mehrdad Kazemtabrizi, Mathias Ekstedt
Exploiting Bro for Intrusion Detection in a SCADA System. CPSS@AsiaCCS (2016)
Mikael Asplund, Simin Nadjm-Tehrani
Attitudes and Perceptions of IoT Security in Critical Societal Services. IEEE Access 4 (2016)
Jalil Boudjadar, Jin Hyun Kim, Simin Nadjm-Tehrani
Performance-aware scheduling of multicore time-critical systems. MEMOCODE (2016)
Oscar Somarriba Jarquín, Urko Zurutuza, Roberto Uribeetxeberria, Laurent Delosières, Simin Nadjm-Tehrani
Detection and Visualization of Android Malware Behavior. J. Electr. Comput. Eng. 2016 (2016)
Klervie Toczé, Maria Vasilevskaya, Patrik Sandahl, Simin Nadjm-Tehrani
Maintainability of functional reactive programs in a telecom server software. SAC (2016)
Ekhiotz Jon Vergara, Simin Nadjm-Tehrani, Mikael Asplund
Fairness and Incentive Considerations in Energy Apportionment Policies. ACM Trans. Model. Perform. Evaluation Comput. Syst. 2 (1) (2016)
Maria Vasilevskaya, Simin Nadjm-Tehrani
Support for cross-domain composition of embedded systems using MARTE models. SIGBED Rev. 12 (1) (2015)
Mathias Almquist, Viktor Almquist, Ekhiotz Jon Vergara, Simin Nadjm-Tehrani
Communication Energy Overhead of Mobiles Games. MobiGames@MobiSys (2015)
Ekhiotz Jon Vergara, Simin Nadjm-Tehrani, Mikael Asplund
Sharing the Cost of Lunch: Energy Apportionment Policies. Q2SWinet@MSWiM (2015)
Maria Vasilevskaya, Simin Nadjm-Tehrani
Quantifying Risks to Data Assets Using Formal Metrics in Embedded System Design. SAFECOMP (2015)
Andreas Löfwenmark, Simin Nadjm-Tehrani
Experience report: Memory accesses for avionic applications and operating systems on a multi-core platform. ISSRE (2015)
Andreas Löfwenmark, Simin Nadjm-Tehrani
Challenges in Future Avionic Systems on Multi-Core Platforms. ISSRE Workshops (2014)
Ekhiotz Jon Vergara, Simon Andersson, Simin Nadjm-Tehrani
When mice consume like elephants: instant messaging applications. e-Energy (2014)
Ekhiotz Jon Vergara, Simin Nadjm-Tehrani, Mihails Prihodko
EnergyBox: Disclosing the wireless transmission energy cost for mobile devices. Sustain. Comput. Informatics Syst. 4 (2) (2014)
Javier Marian Santos, Simin Nadjm-Tehrani, Aruna Prem Bianzino
Monkey Gamer: Automatic profiling of Android games. MobiCASE (2014)
Mikael Asplund, Simin Nadjm-Tehrani
Modelling Correlated Mobility. CoRR (2014)
Aruna Prem Bianzino, Mikael Asplund, Ekhiotz Jon Vergara, Simin Nadjm-Tehrani
Cooperative proxies: Optimally trading energy and quality of service in mobile devices. Comput. Networks 75 (2014)
Maria Vasilevskaya, Linda Ariani Gunawan, Simin Nadjm-Tehrani, Peter Herrmann
Integrating security mechanisms into embedded systems by domain-specific modelling. Secur. Commun. Networks 7 (12) (2014)
Maria Vasilevskaya, Simin Nadjm-Tehrani
Model-Based Security Risk Analysis for Networked Embedded Systems. CRITIS (2014)
Ekhiotz Jon Vergara, Simin Nadjm-Tehrani
EnergyBox: A Trace-Driven Tool for Data Transmission Energy Consumption Studies. EE-LSDS (2013)
Ekhiotz Jon Vergara, Mihails Prihodko, Simin Nadjm-Tehrani
Mobile location sharing: an energy consumption study. e-Energy (2013)
Ekhiotz Jon Vergara, Simin Nadjm-Tehrani
Watts2Share: Energy-Aware Traffic Consolidation. GreenCom/iThings/CPScom (2013)
Gabriel Sandulescu, Péter Schaffer, Simin Nadjm-Tehrani
Exploiting resource heterogeneity in delay-tolerant networks. Wirel. Commun. Mob. Comput. 13 (3) (2013)
Ekhiotz Jon Vergara, Joseba Sanjuan, Simin Nadjm-Tehrani
Kernel level energy-efficient 3G background traffic shaper for android smartphones. IWCMC (2013)
Erik Kuiper, Simin Nadjm-Tehrani, Di Yuan
A framework for performance analysis of geographic delaytolerant routing. EURASIP J. Wirel. Commun. Netw. 2012 (2012)
Jordi Cucurull, Mikael Asplund, Simin Nadjm-Tehrani, Tiziano Santoro
Surviving Attacks in Challenged Networks. IEEE Trans. Dependable Secur. Comput. 9 (6) (2012)
Laurent Delosières, Simin Nadjm-Tehrani
BATMAN store-and-forward: The best of the two worlds. PerCom Workshops (2012)
Mikael Asplund, Simin Nadjm-Tehrani
Analysing Delay-Tolerant Networks with Correlated Mobility. ADHOC-NOW (2012)
Massimiliano Raciti, Simin Nadjm-Tehrani
Embedded Cyber-Physical Anomaly Detection in Smart Meters. CRITIS (2012)
Maria Vasilevskaya, Simin Nadjm-Tehrani, Linda Ariani Gunawan, Peter Herrmann
Security asset elicitation for collaborative models. MDsec@MoDELS (2012)
Ekhiotz Jon Vergara, Simin Nadjm-Tehrani
Energy-aware cross-layer burst buffering for wireless communication. e-Energy (2012)
Mikael Asplund, Simin Nadjm-Tehrani
Worst-case latency of broadcast in intermittently connected networks. Int. J. Ad Hoc Ubiquitous Comput. 11 (2/3) (2012)
Erik Kuiper, Simin Nadjm-Tehrani
Geographical Routing With Location Service in Intermittently Connected MANETs. IEEE Trans. Veh. Technol. 60 (2) (2011)
Erik Kuiper, Simin Nadjm-Tehrani
Predicting the performance of geographic delay-tolerant routing. MILCOM (2011)
Simin Nadjm-Tehrani, Maria Vasilevskaya
Towards a Security Domain Model for Embedded Systems. HASE (2011)
Iker Burguera, Urko Zurutuza, Simin Nadjm-Tehrani
Crowdroid: behavior-based malware detection system for Android. SPSM@CCS (2011)
Ekhiotz Jon Vergara, Simin Nadjm-Tehrani, Mikael Asplund, Urko Zurutuza
Resource Footprint of a Manycast Protocol Implementation on Multiple Mobile Platforms. NGMAST (2011)
Massimiliano Raciti, Jordi Cucurull, Simin Nadjm-Tehrani
Energy-based adaptation in simulations of survivability of ad hoc communication. Wireless Days (2011)
Mikael Asplund, Anton Thomasson, Ekhiotz Jon Vergara, Simin Nadjm-Tehrani
Software-related energy footprint of a wireless broadband module. MOBIWAC (2011)
Jordi Cucurull, Simin Nadjm-Tehrani, Massimiliano Raciti
Modular Anomaly Detection for Smartphone Ad Hoc Communication. NordSec (2011)
Gabriel Sandulescu, Péter Schaffer, Simin Nadjm-Tehrani
Vicinity resource cartography for delay-tolerant networks: A holistic perspective. Wireless Days (2010)
Jordi Cucurull, Mikael Asplund, Simin Nadjm-Tehrani
Anomaly Detection and Mitigation for Disaster Area Networks. RAID (2010)
Gabriel Sandulescu, Simin Nadjm-Tehrani
Adding Redundancy to Replication in Window-aware Delay-tolerant Routing. J. Commun. 5 (2) (2010)
Mikael Asplund, Trishan R. de Lanerolle, Christopher Fei, Prasanna Gautam, Ralph A. Morelli, Simin Nadjm-Tehrani, Gustav Nykvist
Wireless ad hoc dissemination for search and rescue. ISCRAM (2010)
Mikael Asplund, Simin Nadjm-Tehrani, Klemen Zagar
Middleware extensions that trade consistency for availability. Concurr. Comput. Pract. Exp. 21 (9) (2009)
Mikael Asplund, Simin Nadjm-Tehrani
A Partition-Tolerant Manycast Algorithm for Disaster Area Networks. SRDS (2009)
Moisés Goldszmidt, Miroslaw Malek, Simin Nadjm-Tehrani, Priya Narasimhan, Felix Salfner, Paul A. S. Ward, John Wilkes
Wheels within Wheels: Making Fault Management Cost-Effective. Self-Healing and Self-Adaptive Systems (2009)
Jonas Elmqvist, Simin Nadjm-Tehrani
Formal Support for Quantitative Analysis of Residual Risks in Safety-Critical Systems. HASE (2008)
Mikael Asplund, Simin Nadjm-Tehrani, Johan Sigholm
Emerging Information Infrastructures: Cooperation in Disasters. CRITIS (2008)
Gabriel Sandulescu, Simin Nadjm-Tehrani
Opportunistic DTN routing with window-aware adaptive replication. AINTEC (2008)
Calin Curescu, Simin Nadjm-Tehrani
A Bidding Algorithm for Optimized Utility-Based Resource Allocation in Ad Hoc Networks. IEEE Trans. Mob. Comput. 7 (12) (2008)
Jonas Elmqvist, Simin Nadjm-Tehrani
Tool Support for Incremental Failure Mode and Effects Analysis of Component-Based Systems. DATE (2008)

Simin Nadjm-Tehrani.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Simin Nadjm-Tehrani