Simin Nadjm-Tehrani

161 papers A 10B 10C 21Misc 7Journal 50Unranked 59

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Feature attribution in 5G intrusion detection: A statistical vs. logic-based comparison. J. Inf. Secur. Appl. Federica Uccello, Simin Nadjm-Tehrani
2026	—	`conf`	JKA-HT: A Provably Secure Replay-Resilient Authentication Protocol for IoD. CCNC Navya Sivaraman, Niklas Carlsson, Simin Nadjm-Tehrani
2026	Misc	`conf`	Mission Explainable: From Feature Attribution to Mitigation in 5G Anomaly Detection. ICNC Federica Uccello, Imtiaz Karim, Kazi Samin Mubasshir, Elisa Bertino, Simin Nadjm-Tehrani
2025	C	`conf`	Dependency-Based Evolution Planning of a Multi-version Microservice RAN Application. MoMM Emma Witt, Simin Nadjm-Tehrani
2025	B	`conf`	Energy Metrics for Edge Microservice Request Placement Strategies. ICPE Klervie Toczé, Simin Nadjm-Tehrani
2025	J	`jnl`	Energy Metrics for Edge Microservice Request Placement Strategies. CoRR Klervie Toczé, Simin Nadjm-Tehrani
2025	J	`jnl`	Investigating Feature Attribution for 5G Network Intrusion Detection. CoRR Federica Uccello, Simin Nadjm-Tehrani
2025	—	`conf`	Invited Paper: Smart Autonomous Cyber-Physical Systems. SAT-CPS@CODASPY Elisa Bertino, Simin Nadjm-Tehrani
2025	—	`conf`	Real-Time Evasion Detection in Tree Ensemble Automotive Intrusion Detection Systems. VNC Valency Oscar Colaco, Simin Nadjm-Tehrani
2025	—	`conf`	Timing Interference in Multi-core RISC-V Systems: Security Risks and Mitigations. NordSec Andreas Wrisley, Roberto Guanciale, Simin Nadjm-Tehrani, Ingemar Söderquist
2025	C	`conf`	Topology-Aware Prioritized Patching for EV Charging Infrastructure Vulnerabilities. VEHITS Roland Plaka, Mikael Asplund, Simin Nadjm-Tehrani
2024	J	`jnl`	Energy-aware Distributed Microservice Request Placement at the Edge. CoRR Klervie Toczé, Simin Nadjm-Tehrani
2024	B	`conf`	Fast Evasion Detection & Alert Management in Tree-Ensemble-Based Intrusion Detection Systems. ICTAI Valency Oscar Colaco, Simin Nadjm-Tehrani
2024	—	`conf`	Formal Analysis of Julia Key Agreement Protocol. ICICS (2) Navya Sivaraman, Simin Nadjm-Tehrani, Thomas Johansson
2024	J	`jnl`	NetGAP: A graph grammar approach for concept design of networked platforms with extra-functional requirements. Eng. Appl. Artif. Intell. Rodrigo Saar de Moraes, Simin Nadjm-Tehrani
2024	Misc	`conf`	NeuralGAP: Deep Learning Evaluation of Networked Avionic Architectures. EDCC Rodrigo S. de Moraes, Simin Nadjm-Tehrani
2024	C	`conf`	Penetrating the Power Grid: Realistic Adversarial Attacks on Smart Grid Intrusion Detection Systems. CRITIS Nelson Makau Mutua, Simin Nadjm-Tehrani, Petr Matousek
2024	J	`jnl`	The Necessary Shift: Toward a Sufficient Edge Computing. IEEE Pervasive Comput. Klervie Toczé, Simin Nadjm-Tehrani
2023	C	`conf`	5G Handover: When Forward Security Breaks. SECRYPT Navya Sivaraman, Simin Nadjm-Tehrani
2023	J	`jnl`	Dependable and secure infrastructures and systems in intelligent environments. J. Reliab. Intell. Environ. Simona Bernardi, Matthias Eckhart, José Merseguer, Simin Nadjm-Tehrani
2023	J	`jnl`	Finding Minimum-Cost Explanations for Predictions made by Tree Ensembles. CoRR John Törnblom, Emil Karlsson, Simin Nadjm-Tehrani
2023	—	`conf`	Formal Verification of Tree Ensembles against Real-World Composite Geometric Perturbations. SafeAI@AAAI Valency Oscar Colaco, Simin Nadjm-Tehrani
2023	C	`conf`	Mapping and Analysis of Common Vulnerabilities in Popular Web Servers. critis Matyas Barocsai, Johan Can, Martin Karresand, Simin Nadjm-Tehrani
2023	J	`jnl`	NetGAP: A Graph-Grammar approach for concept design of networked platforms with extra-functional requirements. CoRR Rodrigo Saar de Moraes, Simin Nadjm-Tehrani
2023	J	`jnl`	Protocol study and anomaly detection for server-driven traffic in SCADA networks. Int. J. Crit. Infrastructure Prot. Chih-Yuan Lin, Simin Nadjm-Tehrani
2023	J	`jnl`	Security-Enhancing Digital Twins: Characteristics, Indicators, and Future Perspectives. CoRR Matthias Eckhart, Andreas Ekelhart, David Allison, Magnus Almgren, Katharina Ceesay-Seitz, Helge Janicke, Simin Nadjm-Tehrani, Awais Rashid, Mark Yampolskiy
2023	J	`jnl`	Security-Enhancing Digital Twins: Characteristics, Indicators, and Future Perspectives. IEEE Secur. Priv. Matthias Eckhart, Andreas Ekelhart, David Allison, Magnus Almgren, Katharina Ceesay-Seitz, Helge Janicke, Simin Nadjm-Tehrani, Awais Rashid, Mark Yampolskiy
2023	J	`jnl`	VioLinn: Proximity-aware Edge Placementwith Dynamic and Elastic Resource Provisioning. ACM Trans. Internet Things Klervie Toczé, Ali J. Fahs, Guillaume Pierre, Simin Nadjm-Tehrani
2023	C	`conf`	Vulnerability Analysis of an Electric Vehicle Charging Ecosystem. critis Roland Plaka, Mikael Asplund, Simin Nadjm-Tehrani
2022	J	`jnl`	Digital Twins for Cyber-Physical Systems Security (Dagstuhl Seminar 22171). Dagstuhl Reports Alvaro A. Cárdenas-Mora, Simin Nadjm-Tehrani, Edgar R. Weippl, Matthias Eckhart
2022	J	`jnl`	Synthesis of a Controller Algorithm for Safety-Critical Systems. IEEE Access Fellipe Guilherme Rey de Souza, Celso Massaki Hirata, Simin Nadjm-Tehrani
2021	Misc	`conf`	A model-based approach for analysing network communication timeliness in IMA systems at concept level. RTNS Rodrigo Saar de Moraes, Simona Bernardi, Simin Nadjm-Tehrani
2021	J	`jnl`	Abstraction models for verifying resource adequacy of IMA systems at concept level. Sci. Comput. Program. Rodrigo Saar de Moraes, Simin Nadjm-Tehrani
2021	J	`jnl`	On Generating Network Traffic Datasets with Synthetic Attacks for Intrusion Detection. ACM Trans. Priv. Secur. Carlos Garcia Cordero, Emmanouil Vasilomanolakis, Aidmar Wainakh, Max Mühlhäuser, Simin Nadjm-Tehrani
2021	J	`jnl`	Scaling up Memory-Efficient Formal Verification Tools for Tree Ensembles. CoRR John Törnblom, Simin Nadjm-Tehrani
2021	—	`ed.`	Secure IT Systems - 25th Nordic Conference, NordSec 2020, Virtual Event, November 23-24, 2020, Proceedings NordSec Mikael Asplund, Simin Nadjm-Tehrani
2020	—	`conf`	A Comparative Analysis of Emulated and Real IEC-104 Spontaneous Traffic in Power System Networks. CPS4CIP Chih-Yuan Lin, Simin Nadjm-Tehrani
2020	J	`jnl`	Blockchain-based event processing in supply chains - A case study at IKEA. Robotics Comput. Integr. Manuf. Tobias Sund, Claes Lööf, Simin Nadjm-Tehrani, Mikael Asplund
2020	J	`jnl`	Characterization and modeling of an edge computing mixed reality workload. J. Cloud Comput. Klervie Toczé, Johan Lindqvist, Simin Nadjm-Tehrani
2020	C	`ed.`	Critical Information Infrastructures Security - 14th International Conference, CRITIS 2019, Linköping, Sweden, September 23-25, 2019, Revised Selected Papers CRITIS Simin Nadjm-Tehrani
2020	J	`jnl`	Formal verification of input-output mappings of tree ensembles. Sci. Comput. Program. John Törnblom, Simin Nadjm-Tehrani
2020	J	`jnl`	Permissioned blockchains and distributed databases: A performance study. Concurr. Comput. Pract. Exp. Sara Bergman, Mikael Asplund, Simin Nadjm-Tehrani
2020	J	`jnl`	Timing Assurance of Avionic Reconfiguration Schemes Using Formal Analysis. IEEE Trans. Aerosp. Electron. Syst. Antonio Augusto da Fontoura, Francisco Assis Moreira do Nascimento, Simin Nadjm-Tehrani, Edison Pignaton de Freitas
2019	J	`jnl`	A STAMP-based ontology approach to support safety and security analyses. J. Inf. Secur. Appl. Daniel Patrick Pereira, Celso M. Hirata, Simin Nadjm-Tehrani
2019	—	`conf`	An Abstraction-Refinement Approach to Formal Verification of Tree Ensembles. SAFECOMP Workshops John Törnblom, Simin Nadjm-Tehrani
2019	—	`conf`	Combining GSN and STPA for Safety Arguments. SAFECOMP Workshops Celso M. Hirata, Simin Nadjm-Tehrani
2019	J	`jnl`	Formal Verification of Input-Output Mappings of Tree Ensembles. CoRR John Törnblom, Simin Nadjm-Tehrani
2019	C	`conf`	ORCH: Distributed Orchestration Framework using Mobile Edge Devices. ICFEC Klervie Toczé, Simin Nadjm-Tehrani
2019	J	`jnl`	On generating network traffic datasets with synthetic attacks for intrusion detection. CoRR Carlos Garcia Cordero, Emmanouil Vasilomanolakis, Aidmar Wainakh, Max Mühlhäuser, Simin Nadjm-Tehrani
2019	Misc	`conf`	Performance Study of Mixed Reality for Edge Computing. UCC Klervie Toczé, Johan Lindqvist, Simin Nadjm-Tehrani
2019	A	`conf`	Timing Patterns and Correlations in Spontaneous SCADA Traffic for Anomaly Detection. RAID Chih-Yuan Lin, Simin Nadjm-Tehrani
2019	—	`conf`	Towards Edge Benchmarking: A Methodology for Characterizing Edge Workloads. FAS*W@SASO/ICAC Klervie Toczé, Norbert Schmitt, Ivona Brandic, Atakan Aral, Simin Nadjm-Tehrani
2019	—	`conf`	Verifying Resource Adequacy of Networked IMA Systems at Concept Level. FTSCS Rodrigo Saar de Moraes, Simin Nadjm-Tehrani
2018	J	`jnl`	A Taxonomy for Management and Optimization of Multiple Resources in Edge Computing. CoRR Klervie Toczé, Simin Nadjm-Tehrani
2018	J	`jnl`	A Taxonomy for Management and Optimization of Multiple Resources in Edge Computing. Wirel. Commun. Mob. Comput. Klervie Toczé, Simin Nadjm-Tehrani
2018	J	`jnl`	Fault and timing analysis in critical multi-core systems: A survey with an avionics perspective. J. Syst. Archit. Andreas Löfwenmark, Simin Nadjm-Tehrani
2018	—	`conf`	Formal Verification of Random Forests in Safety-Critical Applications. FTSCS John Törnblom, Simin Nadjm-Tehrani
2018	—	`conf`	In-Store Payments Using Bitcoin. NTMS Mikael Asplund, Jakob Lovhall, Simin Nadjm-Tehrani
2018	C	`conf`	RICS-el: Building a National Testbed for Research and Training on SCADA Security (Short Paper). CRITIS Magnus Almgren, Peter Andersson, Gunnar Björkman, Mathias Ekstedt, Jonas Hallberg, Simin Nadjm-Tehrani, Erik Westring
2018	—	`conf`	Understanding IEC-60870-5-104 Traffic Patterns in SCADA Networks. CPSS@AsiaCCS Chih-Yuan Lin, Simin Nadjm-Tehrani
2017	B	`conf`	Schedulability and Memory Interference Analysis of Multicore Preemptive Real-time Systems. ICPE Jalil Boudjadar, Simin Nadjm-Tehrani
2017	C	`conf`	Timing-Based Anomaly Detection in SCADA Networks. CRITIS Chih-Yuan Lin, Simin Nadjm-Tehrani, Mikael Asplund
2017	—	`conf`	Towards Combined Safety and Security Constraints Analysis. SAFECOMP Workshops Daniel Patrick Pereira, Celso M. Hirata, Rodrigo Pagliares, Simin Nadjm-Tehrani
2017	C	`conf`	Where Resources Meet at the Edge. CIT Klervie Toczé, Simin Nadjm-Tehrani
2016	J	`jnl`	Attitudes and Perceptions of IoT Security in Critical Societal Services. IEEE Access Mikael Asplund, Simin Nadjm-Tehrani
2016	J	`jnl`	Detection and Visualization of Android Malware Behavior. J. Electr. Comput. Eng. Oscar Somarriba Jarquín, Urko Zurutuza, Roberto Uribeetxeberria, Laurent Delosières, Simin Nadjm-Tehrani
2016	—	`conf`	Exploiting Bro for Intrusion Detection in a SCADA System. CPSS@AsiaCCS Robert Udd, Mikael Asplund, Simin Nadjm-Tehrani, Mehrdad Kazemtabrizi, Mathias Ekstedt
2016	J	`jnl`	Fairness and Incentive Considerations in Energy Apportionment Policies. ACM Trans. Model. Perform. Evaluation Comput. Syst. Ekhiotz Jon Vergara, Simin Nadjm-Tehrani, Mikael Asplund
2016	Misc	`conf`	Maintainability of functional reactive programs in a telecom server software. SAC Klervie Toczé, Maria Vasilevskaya, Patrik Sandahl, Simin Nadjm-Tehrani
2016	C	`conf`	Performance-aware scheduling of multicore time-critical systems. MEMOCODE Jalil Boudjadar, Jin Hyun Kim, Simin Nadjm-Tehrani
2016	—	`conf`	Understanding Shared Memory Bank Access Interference in Multi-Core Avionics. WCET Andreas Löfwenmark, Simin Nadjm-Tehrani
2015	—	`conf`	Communication Energy Overhead of Mobiles Games. MobiGames@MobiSys Mathias Almquist, Viktor Almquist, Ekhiotz Jon Vergara, Simin Nadjm-Tehrani
2015	A	`conf`	Experience report: Memory accesses for avionic applications and operating systems on a multi-core platform. ISSRE Andreas Löfwenmark, Simin Nadjm-Tehrani
2015	B	`conf`	Quantifying Risks to Data Assets Using Formal Metrics in Embedded System Design. SAFECOMP Maria Vasilevskaya, Simin Nadjm-Tehrani
2015	—	`conf`	Sharing the Cost of Lunch: Energy Apportionment Policies. Q2SWinet@MSWiM Ekhiotz Jon Vergara, Simin Nadjm-Tehrani, Mikael Asplund
2015	J	`jnl`	Support for cross-domain composition of embedded systems using MARTE models. SIGBED Rev. Maria Vasilevskaya, Simin Nadjm-Tehrani
2014	—	`conf`	Challenges in Future Avionic Systems on Multi-Core Platforms. ISSRE Workshops Andreas Löfwenmark, Simin Nadjm-Tehrani
2014	J	`jnl`	Cooperative proxies: Optimally trading energy and quality of service in mobile devices. Comput. Networks Aruna Prem Bianzino, Mikael Asplund, Ekhiotz Jon Vergara, Simin Nadjm-Tehrani
2014	J	`jnl`	EnergyBox: Disclosing the wireless transmission energy cost for mobile devices. Sustain. Comput. Informatics Syst. Ekhiotz Jon Vergara, Simin Nadjm-Tehrani, Mihails Prihodko
2014	J	`jnl`	Integrating security mechanisms into embedded systems by domain-specific modelling. Secur. Commun. Networks Maria Vasilevskaya, Linda Ariani Gunawan, Simin Nadjm-Tehrani, Peter Herrmann
2014	C	`conf`	Model-Based Security Risk Analysis for Networked Embedded Systems. CRITIS Maria Vasilevskaya, Simin Nadjm-Tehrani
2014	J	`jnl`	Modelling Correlated Mobility. CoRR Mikael Asplund, Simin Nadjm-Tehrani
2014	—	`conf`	Monkey Gamer: Automatic profiling of Android games. MobiCASE Javier Marian Santos, Simin Nadjm-Tehrani, Aruna Prem Bianzino
2014	—	`conf`	When mice consume like elephants: instant messaging applications. e-Energy Ekhiotz Jon Vergara, Simon Andersson, Simin Nadjm-Tehrani
2013	—	`conf`	EnergyBox: A Trace-Driven Tool for Data Transmission Energy Consumption Studies. EE-LSDS Ekhiotz Jon Vergara, Simin Nadjm-Tehrani
2013	J	`jnl`	Exploiting resource heterogeneity in delay-tolerant networks. Wirel. Commun. Mob. Comput. Gabriel Sandulescu, Péter Schaffer, Simin Nadjm-Tehrani
2013	B	`conf`	Kernel level energy-efficient 3G background traffic shaper for android smartphones. IWCMC Ekhiotz Jon Vergara, Joseba Sanjuan, Simin Nadjm-Tehrani
2013	—	`conf`	Mobile location sharing: an energy consumption study. e-Energy Ekhiotz Jon Vergara, Mihails Prihodko, Simin Nadjm-Tehrani
2013	—	`conf`	Watts2Share: Energy-Aware Traffic Consolidation. GreenCom/iThings/CPScom Ekhiotz Jon Vergara, Simin Nadjm-Tehrani
2012	J	`jnl`	A framework for performance analysis of geographic delaytolerant routing. EURASIP J. Wirel. Commun. Netw. Erik Kuiper, Simin Nadjm-Tehrani, Di Yuan
2012	—	`conf`	Analysing Delay-Tolerant Networks with Correlated Mobility. ADHOC-NOW Mikael Asplund, Simin Nadjm-Tehrani
2012	—	`ch.`	Anomaly Detection in Water Management Systems. Critical Infrastructure Protection Massimiliano Raciti, Jordi Cucurull, Simin Nadjm-Tehrani
2012	—	`conf`	BATMAN store-and-forward: The best of the two worlds. PerCom Workshops Laurent Delosières, Simin Nadjm-Tehrani
2012	C	`conf`	Embedded Cyber-Physical Anomaly Detection in Smart Meters. CRITIS Massimiliano Raciti, Simin Nadjm-Tehrani
2012	—	`conf`	Energy-aware cross-layer burst buffering for wireless communication. e-Energy Ekhiotz Jon Vergara, Simin Nadjm-Tehrani
2012	—	`conf`	Security asset elicitation for collaborative models. MDsec@MoDELS Maria Vasilevskaya, Simin Nadjm-Tehrani, Linda Ariani Gunawan, Peter Herrmann
2012	J	`jnl`	Surviving Attacks in Challenged Networks. IEEE Trans. Dependable Secur. Comput. Jordi Cucurull, Mikael Asplund, Simin Nadjm-Tehrani, Tiziano Santoro
2012	J	`jnl`	Worst-case latency of broadcast in intermittently connected networks. Int. J. Ad Hoc Ubiquitous Comput. Mikael Asplund, Simin Nadjm-Tehrani
2011	—	`conf`	Crowdroid: behavior-based malware detection system for Android. SPSM@CCS Iker Burguera, Urko Zurutuza, Simin Nadjm-Tehrani
2011	—	`conf`	Energy-based adaptation in simulations of survivability of ad hoc communication. Wireless Days Massimiliano Raciti, Jordi Cucurull, Simin Nadjm-Tehrani
2011	J	`jnl`	Geographical Routing With Location Service in Intermittently Connected MANETs. IEEE Trans. Veh. Technol. Erik Kuiper, Simin Nadjm-Tehrani
2011	—	`conf`	Modular Anomaly Detection for Smartphone Ad Hoc Communication. NordSec Jordi Cucurull, Simin Nadjm-Tehrani, Massimiliano Raciti
2011	—	`conf`	Predicting the performance of geographic delay-tolerant routing. MILCOM Erik Kuiper, Simin Nadjm-Tehrani
2011	—	`conf`	Resource Footprint of a Manycast Protocol Implementation on Multiple Mobile Platforms. NGMAST Ekhiotz Jon Vergara, Simin Nadjm-Tehrani, Mikael Asplund, Urko Zurutuza
2011	—	`conf`	Software-related energy footprint of a wireless broadband module. MOBIWAC Mikael Asplund, Anton Thomasson, Ekhiotz Jon Vergara, Simin Nadjm-Tehrani
2011	—	`conf`	Towards a Security Domain Model for Embedded Systems. HASE Simin Nadjm-Tehrani, Maria Vasilevskaya
2010	J	`jnl`	Adding Redundancy to Replication in Window-aware Delay-tolerant Routing. J. Commun. Gabriel Sandulescu, Simin Nadjm-Tehrani
2010	A	`conf`	Anomaly Detection and Mitigation for Disaster Area Networks. RAID Jordi Cucurull, Mikael Asplund, Simin Nadjm-Tehrani
2010	—	`conf`	Vicinity resource cartography for delay-tolerant networks: A holistic perspective. Wireless Days Gabriel Sandulescu, Péter Schaffer, Simin Nadjm-Tehrani
2010	—	`conf`	Wireless ad hoc dissemination for search and rescue. ISCRAM Mikael Asplund, Trishan R. de Lanerolle, Christopher Fei, Prasanna Gautam, Ralph A. Morelli, Simin Nadjm-Tehrani, Gustav Nykvist
2009	B	`conf`	A Partition-Tolerant Manycast Algorithm for Disaster Area Networks. SRDS Mikael Asplund, Simin Nadjm-Tehrani
2009	J	`jnl`	Middleware extensions that trade consistency for availability. Concurr. Comput. Pract. Exp. Mikael Asplund, Simin Nadjm-Tehrani, Klemen Zagar
2009	—	`conf`	Wheels within Wheels: Making Fault Management Cost-Effective. Self-Healing and Self-Adaptive Systems Moisés Goldszmidt, Miroslaw Malek, Simin Nadjm-Tehrani, Priya Narasimhan, Felix Salfner, Paul A. S. Ward, John Wilkes
2008	J	`jnl`	A Bidding Algorithm for Optimized Utility-Based Resource Allocation in Ad Hoc Networks. IEEE Trans. Mob. Comput. Calin Curescu, Simin Nadjm-Tehrani
2008	C	`conf`	Emerging Information Infrastructures: Cooperation in Disasters. CRITIS Mikael Asplund, Simin Nadjm-Tehrani, Johan Sigholm
2008	—	`conf`	Formal Support for Quantitative Analysis of Residual Risks in Safety-Critical Systems. HASE Jonas Elmqvist, Simin Nadjm-Tehrani
2008	—	`conf`	Geographical Routing in Intermittently Connected Ad Hoc Networks. AINA Workshops Erik Kuiper, Simin Nadjm-Tehrani
2008	—	`conf`	Opportunistic DTN routing with window-aware adaptive replication. AINTEC Gabriel Sandulescu, Simin Nadjm-Tehrani
2008	A	`conf`	Tool Support for Incremental Failure Mode and Effects Analysis of Component-Based Systems. DATE Jonas Elmqvist, Simin Nadjm-Tehrani
2007	J	`jnl`	Adaptive real-time anomaly detection with incremental clustering. Inf. Secur. Tech. Rep. Kalle Burbeck, Simin Nadjm-Tehrani
2007	A	`conf`	Measuring Availability in Optimistic Partition-Tolerant Systems with Data Constraints. DSN Mikael Asplund, Simin Nadjm-Tehrani, Stefan Beyer, Pablo Galdámez
2006	A	`conf`	Comparative study of price-based resource allocation algorithms for ad hoc networks. IPDPS Marcel Lüthi, Simin Nadjm-Tehrani, Calin Curescu
2006	—	`conf`	Formalising Reconciliation in Partitionable Networks with Distributed Services. RODIN Book Mikael Asplund, Simin Nadjm-Tehrani
2006	—	`conf`	Mobility Models for UAV Group Reconnaissance Applications. ICWMC Erik Kuiper, Simin Nadjm-Tehrani
2006	Misc	`conf`	Post-partition reconciliation protocols for maintaining consistency. SAC Mikael Asplund, Simin Nadjm-Tehrani
2006	—	`conf`	Safety-Oriented Design of Component Assemblies using Safety Interfaces. FACS Jonas Elmqvist, Simin Nadjm-Tehrani
2005	—	`conf`	Adaptive Real-Time Anomaly Detection with Improved Index and Ability to Forget. ICDCS Workshops Kalle Burbeck, Simin Nadjm-Tehrani
2005	—	`conf`	Configuring Fault-Tolerant Servers for Best Performance. DEXA Workshops Diana Szentiványi, Simin Nadjm-Tehrani
2005	—	`conf`	Fault Analysis of a Distributed Flight Control System. HICSS Kristina Forsberg, Simin Nadjm-Tehrani, Jan Torin
2005	J	`jnl`	Formal verification of fault tolerance in safety-critical reconfigurable modules. Int. J. Softw. Tools Technol. Transf. Jerker Hammarberg, Simin Nadjm-Tehrani
2005	—	`ch.`	Intents and Upgrades in Component-Based High-Assurance Systems. Model-Driven Software Development Jonas Elmqvist, Simin Nadjm-Tehrani
2005	—	`ch.`	Modular Verification of Reconfigurable Components. Component-Based Software Development for Embedded Systems Aleksandra Tesanovic, Simin Nadjm-Tehrani, Jörgen Hansson
2005	C	`conf`	Optimal Choice of Checkpointing Interval for High Availability. PRDC Diana Szentiványi, Simin Nadjm-Tehrani, John M. Noble
2005	B	`conf`	Price/utility-based optimized resource allocation in wireless ad hoc networks. SECON Calin Curescu, Simin Nadjm-Tehrani
2005	B	`conf`	Safety Interfaces for Component-Based Systems. SAFECOMP Jonas Elmqvist, Simin Nadjm-Tehrani, Marius Minea
2005	J	`jnl`	Time-Aware Utility-Based Resource Allocation in Wireless Networks. IEEE Trans. Parallel Distributed Syst. Calin Curescu, Simin Nadjm-Tehrani
2005	C	`conf`	Utility-based Adaptive Resource Allocation in Hybrid Wireless Networks. QSHINE Calin Curescu, Simin Nadjm-Tehrani, Bing Cao, Teresa A. Dahlberg
2004	Misc	`conf`	ADWICE - Anomaly Detection with Real-Time Incremental Clustering. ICISC Kalle Burbeck, Simin Nadjm-Tehrani
2004	C	`conf`	Alarm Reduction and Correlation in Defence of IP Networks. WETICE Tobias Chyssler, Simin Nadjm-Tehrani, Stefan Burschka, Kalle Burbeck
2004	C	`conf`	Aspects for Improvement of Performance in Fault-Tolerant Software. PRDC Diana Szentiványi, Simin Nadjm-Tehrani
2004	A	`conf`	Raising motivation in real-time laboratories: the soccer scenario. SIGCSE Mehdi Amirijoo, Aleksandra Tesanovic, Simin Nadjm-Tehrani
2004	C	`conf`	Scale-up and performance studies of three agent platforms. IPCCC Kalle Burbeck, Daniel Garpe, Simin Nadjm-Tehrani
2003	C	`conf`	Development of Safety-Critical Reconfigurable Hardware with Esterel. FMICS Jerker Hammarberg, Simin Nadjm-Tehrani
2003	B	`conf`	Time-Aware Utility-Based QoS Optimisation. ECRTS Calin Curescu, Simin Nadjm-Tehrani
2002	A	`conf`	Adaptive load control algorithms for 3 MSWiM Simin Nadjm-Tehrani, Kayvan Najarian, Calin Curescu, Tomas Lingvall, Teresa A. Dahlberg
2002	B	`conf`	Mid-term course evaluations with muddy cards. ITiCSE Christoph W. Keßler, Simin Nadjm-Tehrani
2001	A	`conf`	Real-time lab excercises: a teacher's dilemma. SIGCSE Erik Herzog, Peter Loborg, Simin Nadjm-Tehrani
2000	—	`conf`	Co-simulation of Hybrid Systems: Signal-Simulink. FTRTFT Stéphane Tudoret, Simin Nadjm-Tehrani, Albert Beneviste, Jan-Erik Strömberg
1999	—	`conf`	Combining Theorem Proving and Continuous Models in Synchronous Design. World Congress on Formal Methods Simin Nadjm-Tehrani, Ove Åkerlund
1999	J	`jnl`	Formal Verification of Dynamic Properties in an Aerospace Application. Formal Methods Syst. Des. Simin Nadjm-Tehrani, Jan-Erik Strömberg
1999	—	`conf`	Integration of Analog and Discrete Synchronous Design. HSCC Simin Nadjm-Tehrani
1999	—	`conf`	On Semantics and Correctness of Reactive Rule-Based Programs. Ershov Memorial Conference Man Lin, Jacek Malec, Simin Nadjm-Tehrani
1997	—	`conf`	On Semantics of Reactive Rule-Based Systems. ASIAN Man Lin, Jacek Malec, Simin Nadjm-Tehrani
1997	—	`conf`	Time-Deterministic Hybrid Transition Systems. Hybrid Systems Simin Nadjm-Tehrani
1996	—	`conf`	Verification of Embedded Systems Using Synchronous Observers. FTRTFT Martin Westhead, Simin Nadjm-Tehrani
1995	A	`conf`	Proving Dynamic Properties in an Aerospace Application. RTSS Simin Nadjm-Tehrani, Jan-Erik Strömberg
1995	—	`conf`	Switched Bond Graphs as Front-End to Formal Verification of Hybrid Systems. Hybrid Systems Jan-Erik Strömberg, Simin Nadjm-Tehrani, Jan L. Top
1994	—	`conf`	From Physical Modelling to Compositional Models of Hybrid Systems. FTRTFT Simin Nadjm-Tehrani, Jan-Erik Strömberg
1992	J	`jnl`	Real-Time Hierarchical Control. IEEE Softw. Magnus Morin, Simin Nadjm-Tehrani, Per Österling, Erik Sandewall
1988	—	`conf`	Algorithmic Debugging with Assertions. META Wlodzimierz Drabent, Simin Nadjm-Tehrani, Jan Maluszynski
1988	—	`conf`	The Use of Assertions in Algorithmic Debugging. FGCS Wlodzimierz Drabent, Simin Nadjm-Tehrani, Jan Maluszynski