Publications for Simin Nadjm-Tehrani
Co-author map based on ISI articles 2007-
Journal Articles
Gabriel Sandulescu, Peter Schaffer and Simin Nadjm-Tehrani
Exploiting resource heterogeneity in delay-tolerant networks
Wireless Communications & Mobile Computing, 2013, 13(3), 230-243.
Fulltext  |
Erik Kuiper, Simin Nadjm-Tehrani and Di Yuan
A framework for performance analysis of geographic delay-tolerant routing
EURASIP Journal on Wireless Communications and Networking, 2012, (184), .
Fulltext |
Jordi Cucurull, Mikael Asplund and Simin Nadjm-Tehrani
Surviving Attacks in Challenged Networks
IEEE Transactions on Dependable and Secure Computing, 2012, 9(6), 917-929.
Fulltext |
Jonas Lundberg, Eva Törnqvist and Simin Nadjm-Tehrani
Resilience in Sensemaking and Control of Emergency Response
International Journal of Emergency Management, 2012, 8(2), 99-122.
Fulltext |
Mikael Asplund and Simin Nadjm-Tehrani
Worst-case latency of broadcast in intermittently connected networks
International Journal of Ad Hoc and Ubiquitous Computing, 2012, 11(2-3), 125-138.
Fulltext |
Erik Kuiper and Simin Nadjm-Tehrani
Geographical Routing With Location Service in Intermittently Connected MANETs
IEEE TRANSACTIONS ON VEHICULAR TECHNOLOGY, 2011, 60(2), 592-604.
Web of Science® Times Cited: 7 |
Gabriel Sandulescu and Simin Nadjm-Tehrani
Adding Redundancy to Replication in Window-aware Delay-tolerant Routing
Journal of Communications, 2010, 5(2), 117-129.
|
Mikael Asplund, Simin Nadjm-Tehrani and Klemen Zagar
Middleware extensions that trade consistency for availability
CONCURRENCY AND COMPUTATION-PRACTICE and EXPERIENCE, 2009, 21(9), 1181-1203.
Web of Science® Times Cited: 1 |
C. Curescu and Simin Nadjm-Tehrani
A bidding algorithm for optimized utility-based resource allocation in ad hoc networks
IEEE Transactions on Mobile Computing, 2008, 7(12), 1397-1414.
|
J. Elmqvist and Simin Nadjm-Tehrani
Safety-Oriented Design of Component Assemblies using Safety Interfaces
Electronical Notes in Theoretical Computer Science, 2007, 182(SPEC. ISS.), 57-72.
|
Kalle Ring Burbeck and Simin Nadjm-Tehrani
Adaptive Real-time Anomaly Detection with Incremental Clustering
Information Security Technical Report, 2007, 12, 56-67.
|
Jerker Hammarberg and Simin Nadjm-Tehrani
Formal verification of fault tolerance in safety-critical reconfigurable modules
International Journal on Software Tools for Technology Transfer (STTT), 2005, 7(3), 268-279.
|
Calin Curescu and Simin Nadjm-Tehrani
Time-aware Utility-based Resource Allocation in Wireless Networks
IEEE Transactions on Parallel and Distributed Systems, 2005, 16(7), 624-635.
Web of Science® Times Cited: 21 |
Chapters in Books
Jordi Cucurull, Simin Nadjm-Tehrani and Massimiliano Raciti
Modular Anomaly Detection for Smartphone Ad Hoc Communication
Information Security Technology for Applications, Springer Berlin/Heidelberg, 2012, 65-81.
|
Massimiliano Raciti, Jordi Cucurull and Simin Nadjm-Tehrani
Anomaly Detection in Water Management Systems
Critical Infrastructure Protection, Springer Berlin/Heidelberg, 2012, 98-119.
|
Mikael Asplund and Simin Nadjm-Tehrani
Analysing Delay-tolerant Networks with Correlated Mobility
Ad-hoc, Mobile, and Wireless Networks, Springer, 2012, 83-97.
|
Moises Goldszmidt, Miroslaw Malek, Simin Nadjm-Tehrani, Priya Narasimhan, Felix Salfner, Paul A. S. Ward and John Wilkes
Towards a Holistic Approach to Fault Management: Wheels Within a Wheel
Dependability and Computer Engineering, IGI Global, 2011, 1-10.
Fulltext
|
Jordi Cucurull, Simin Nadjm-Tehrani and Mikael Asplund
Anomaly detection and mitigation for disaster area networks
Recent Advances in Intrusion Detection, Springer Berlin/Heidelberg, 2010, 339-359.
Fulltext
|
Mikael Asplund and Simin Nadjm-Tehrani
Formalising Reconciliation in Partitionable Networks with Distributed Services
Rigorous Development of Complex Fault-Tolerant Systems, Springer Verlag, 2006, 37-58.
|
Kalle Ring Burbeck and Simin Nadjm-Tehrani
ADWICE - Anomaly detection with real-time incremental clustering
Information Security and Cryptology - ICISC 2004, Springer Berlin/Heidelberg, 2005, 407-424.
|
Aleksandra Tesanovic, Simin Nadjm-Tehrani and Jörgen Hansson
Modular verification of reconfigurable components
Component-Based Software Development for Embedded Systems, Springer Berlin/Heidelberg, 2005, 59-81.
|
Jonas Elmquist and Simin Nadjm-Tehrani
Intents and Upgrades in Component-Based High-Assurance Systems
Model Driven Software Development, Springer Verlag, 2005, 289-303.
|
Aleksandra Tesanovic, Simin Nadjm-Tehrani and Jörgen Hansson
Modular Verification of Reconfigurable Components
Component-Based Software Development for Embedded Systems - An Overview on Current Research Trends, Springer Verlag, 2005, .
|
Diana Szentivanyi and Simin Nadjm-Tehrani
Middleware Support for Fault Tolerance
Middleware for Communications, John Wiley Sons, 2004, 439-464.
|
David Gamez, Simin Nadjm-Tehrani, John Bigham, C. Balducelli, Tobias Chyssler and Kalle Ring Burbeck
Safeguarding Critical Infrastructures
Dependable Computing Systems: Paradigms, Performance Issues and Applications, Wiley Sons, 2004, .
|
Man Lin, Jacek Malec and Simin Nadjm-Tehrani
On semantics and correctness of reactive rule-based programs
Perspectives of System Informatics, Springer Berlin/Heidelberg, 2000, 235-246.
|
Stéphane Tudoret, Simin Nadjm-Tehrani, Albert Benveniste and Jan-Erik Strömberg
Co-simulation of hybrid systems: Signal-Simulink
Formal Techniques in Real-Time and Fault-Tolerant Systems, Springer Berlin/Heidelberg, 2000, 134-151.
|
Simin Nadjm-Tehrani
Time-deterministic hybrid transition systems
Hybrid Systems V, Springer Berlin/Heidelberg, 1999, 238-250.
|
Simin Nadjm-Tehrani and Ove Åkerlund
Combining theorem proving and continuous models in synchronous design
FM’99 — Formal Methods, Springer Berlin/Heidelberg, 1999, 1384-1399.
|
Conference Articles
Maria Vasilevskaya, Ariani Gunawan Linda, Simin Nadjm-Tehrani and Herrmann Peter
Security Asset Elicitation for Collaborative Models
MDsec '12 Proceedings of the Workshop on Model-Driven Security, 2012.
|
Massimiliano Raciti and Simin Nadjm-Tehrani
Embedded Cyber-Physical Anomaly Detection in Smart Meters
International Conference on Critical Information Infrastructures Security (CRITIS), 2012.
|
Ekhiotz Jon Vergara and Simin Nadjm-Tehrani
Energy-aware Cross-layer Burst Buffering for Wireless Communication
e-Energy '12 Proceedings of the 3rd International Conference on Future Energy Systems, 2012.
|
Laurent Delosières and Simin Nadjm-Tehrani
BATMAN Store-and-Forward: the Best of the Two Worlds
<em></em>Pervasive Computing and Communications Workshops (PERCOM Workshops), 2012.
|
Ekhiotz Jon Vergara Alonso, Simin Nadjm-Tehrani, Mikael Asplund and Urko Zurutuza
Resource Footprint of a Manycast Protocol Implementation on Multiple Mobile Platforms
The Fifth IEEE International Conference on Next Generation Mobile Applications, 2011.
|
Massimiliano Raciti, Jordi Cucurull and Simin Nadjm-Tehrani
Energy-based adaptation in simulations of survivability of ad hoc communication
IFIP Wireless Days, WD, 2011.
|
Erik Kuiper and Simin Nadjm-Tehrani
Predicting the Performance of Geographic Delay-Tolerant Routing
Military Communications Conference, MILCOM, 2011.
|
Iker Burguera, Urko Zurutuza and Simin Nadjm-Tehrani
Crowdroid: Behavior-Based Malware Detection Systemfor Android
Workshop on Security and Privacy in Smartphones and Mobile Devices, SPSM, 2011.
|
Simin Nadjm-Tehrani and Maria Vasilevskaya
Towards a Security Domain Model for Embedded Systems
The 13th IEEE International Symposium on High Assurance Systems Engineering (HASE), Boca Raton, November 2011, 2011.
Fulltext
|
Mikael Asplund, Anton Thomasson, Ekhiotz Jon Vergara Alonso and Simin Nadjm-Tehrani
Software-related Energy Footprint of a Wireless Broadband Module
The 9th ACM International Symposium on Mobility Management and Wireless Access (MobiWac), 2011.
Fulltext
|
Gabriel Sandulescu and Simin Nadjm-Tehrani
Optimising Replication versus Redundancy in Window-aware Opportunistic Routing
The International Conference on Communication Theory, Reliability, and Quality of Service (CTRQ), 2010.
Fulltext
|
Sigrid Gürgens, Carsten Rudolph, Antonio Maña and Simin Nadjm-Tehrani
Security engineering for embedded systems – the SecFutur vision
The International workshop on Security and Dependability for Resource Constrained Embedded Systems, S&D4RCES, 2010.
|
Gabriel Sandulescu, Peter Schaffer and Simin Nadjm-Tehrani
Vicinity Resource Cartography for Delay-Tolerant Networks: a Holistic Perspective
The 3rd IFIP Wireless Days, WD'10, 2010.
Fulltext
|
Mikael Asplund, Trishan de Lanerolle, Christopher Fei, Prasanna Gautam, Ralph Morelli, Simin Nadjm-Tehrani and Gustav Nykvist
Wireless Ad Hoc Dissemination for Search and Rescue
Proceedings of the 7th International ISCRAM Conference, 2010.
Fulltext
|
Eva Törnqvist, Johan Sigholm and Simin Nadjm-Tehrani
Hastily Formed Networks for Disaster Response: Technical Heterogeneity and Virtual Pockets of Local Order
Proceeding of the 6th International ISCRAM Conference – Gothenburg, Sweden, May 2009. J. Landgren and S. Jul, eds., 2009.
|
Mikael Asplund and Simin Nadjm-Tehrani
A Partition-tolerant Manycast Algorithm for Disaster Area Networks
28TH IEEE INTERNATIONAL SYMPOSIUM ON RELIABLE DISTRIBUTED SYSTEMS, PROCEEDINGS, 2009.
Web of Science® Times Cited: 5
|
Mikael Asplund, Simin Nadjm-Tehrani and Johan Sigholm
Emerging Information Infrastructures: Cooperation in Disasters
Critical Information Infrastructure Security, 2009.
|
Jonas Elmqvist, Simin Nadjm-Tehrani, Kristina Forsberg and Stellan Nordenbro
Demonstration of a Formal Method for Incremental Qualification of IMA Systems
The 27th International Conference on Digital Avionics Systems, DASC, 2008.
Fulltext
|
Gabriel Sandulescu and Simin Nadjm-Tehrani
Opportunistic DTN Routing with Window-aware Adaptive Replication
Asia Internet Engineering Conference,2008, 2008.
|
Jonas Elmquist and Simin Nadjm-Tehrani
Formal Support for Quantitative Analysis of Residual Risks in Safety-Critical Systems
High Assurance Systems Engineering Symposium,2008, 2008.
Web of Science® Times Cited: 2
|
Jonas Elmquist and Simin Nadjm-Tehrani
Tool Support for Incremental Failure Mode and Effects Analysis of Component-Based Systems
Design, Automation and Test in Europe, 2008. DATE '08, 2008.
|
Erik Kuiper and Simin Nadjm-Tehrani
Geographical Routing in Intermittently Connected Ad Hoc Networks
The First IEEE International Workshop on Opportunistic Networking WON-08,2008, 2008.
Web of Science® Times Cited: 3
|
Mikael Asplund and Simin Nadjm-Tehrani
Random walk gossip-based manycast with partition detection
Supplemental Proceedings of the International Conference on Dependable Systems and Networks, DSN, 2008, 2008.
|
Johan Sigholm and Simin Nadjm-Tehrani
Enterprise network Node Discovery and Topology Analysis: An experience Report
Benelux Workshop on Information and System Security WISSEC07,2007, 2007.
|
Mikael Asplund, Simin Nadjm-Tehrani, Stefan Beyer and Pablo Galdamez
Measuring Availability in Optimistic Partition-Tolerant Systems with Data Constraints
37th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2007, 2007.
|
Mikael Asplund and Simin Nadjm-Tehrani
Post-Partition Reconciliation Protocols for Maintaining Consistency
The 21st ACM/SIGAPP symposium on Applied computing, 2006.
|
Jonas Elmquist and Simin Nadjm-Tehrani
Safety-Oriented Design of Component Assemblies using Safety Interfaces
Third International Workshop on Formal Aspects of Component Software FACS06,2006, 2006.
|
Mikael Asplund and Simin Nadjm-Tehrani
Post-Partition Reconciliation Protocols for Maintaning Consistency
SAC '06 Proceedings of the 2006 ACM symposium on Applied computing, 2006.
|
Erik Kuiper and Simin Nadjm-Tehrani
Mobility Models for Group Reconnaissance Applications
International Conference on Wireless and Mobile Communications,2006, 2006.
|
Marcel Luethi, Simin Nadjm-Tehrani and Calin Curescu
Comparative Study of Price-based Resource Allocation Algorithms for Ad Hoc Networks
The 20th IEEE International Parallel and Distributed Processing Symposium,2006, 2006.
|
Calin Curescu and Simin Nadjm-Tehrani
Price/Utility-based optimized resource allocation in wireless ad hoc networks
The 2nd IEEE Communications Society Conference on Sensor and Ad Hoc Communications and Networks SECON,,2005, 2005.
|
Calin Curescu, Simin Nadjm-Tehrani, Bing Cao and Teresa A. Dahlberg
Utility-based Adaptive Resource Allocation in Hybrid Wireless Networks
The 2nd IEEE International Conference on Quality of Service in Heterogeneous Wired/Wireless Networks QSHINE,2005, 2005.
|
Kristina Forsberg, Simin Nadjm-Tehrani and Jan Torin
Fault Analysis of a Distributed Flight Control System
Fault-Tolerant and Dependable Distributed Systems Minitrack of the Software Technology Track, IEEE Hawaii International Conference on System Sciences,2005, 2005.
|
Diana Szentivanyi, Simin Nadjm-Tehrani and John M Noble
Configuring Fault-Tolerant Servers for Best Performance
Proccedings of the International workshop on High Availability of Distributed Systems HADIS05, Part of 16th International DEXA workshops,2005, 2005.
|
Diana Szentivanyi, Simin Nadjm-Tehrani and John M Noble
Optimal Choice of Checkpointing Interval for High Availability
Pacific Rim Dependable Computing Conference,2005, 2005.
|
Jonas Elmquist, Simin Nadjm-Tehrani and Marius Minea
Safety Interfaces for Component-Based Systems
Computer Safety, Reliability and Security,2005, 2005.
Web of Science® Times Cited: 5
|
Mehdi Amirijoo, Aleksandra Tesanovic and Simin Nadjm-Tehrani
Raising Motivation in Real-time Laboratories: The Soccer Scenario
Technical Symposium on Computer Science Education, SIGCSE,2004, 2004.
|
Diana Szentivanyi and Simin Nadjm-Tehrani
Aspects for Improvement of Performance in Fault-Tolerant Software
IEEE International Symposium Pacific Rim Dependable Computing,2004, 2004.
|
Kalle Ring Burbeck and Simin Nadjm-Tehrani
ADWICE: Anomaly Detection with Real-time Incremental Clustering
International Conference on Information Security and Cryptology,2004, 2004.
|
Tobias Chyssler, Simin Nadjm-Tehrani, Stefan Burschka and Kalle Ring Burbeck
Alarm Reduction and Correlation in Defence of IP Networks
International Workshops on Enabling Technologies: Infrastructures for Collaborative Enterprises WETICE,2004, 2004.
|
Kristina Forsberg, Simin Nadjm-Tehrani, Jan Torin and Rickard Johansson
Maintaining Consistency among Distributed Control Nodes
IEEE Digital Avionics Systems Conference,2004, 2004.
|
Kalle Ring Burbeck, Daniel Garpe and Simin Nadjm-Tehrani
Scale-up and Performance Studies of Three Agent Platforms
International Performance, Communication and Computing Conference, Middleware Performance workshop,2004, 2004.
|
Jonas Elmquist and Simin Nadjm-Tehrani
Intents, Upgrades and Assurance in Model-Based Development
RTAS Workshop on Model-Driven Embedded Systems MoDES04,2004, 2004.
|
Jerker Hammarberg and Simin Nadjm-Tehrani
Development of Safety-Critical Reconfigurable Hardware with Esterel
Proceedings of the 8th Internation Workshop on Formal Methods for Industrial Critical Systems (FMICS'03), 2003.
|
Diana Szentivanyi, I. Ravot, Simin Nadjm-Tehrani and R. Guerraoui
Dependable Distributed Middleware: Pay Now or Pay Later!
Poster Session at the ACM/IFIP/USENIX International Middleware Conference, Middleware 2003 Companion, 2003.
|
Jerker Hammarberg and Simin Nadjm-Tehrani
Development of safety-critical reconfigurable hardware with esterel
Electronical Notes in Theoretical Computer Science, 2003.
|
Calin Curescu and Simin Nadjm-Tehrani
Time-aware Utility-based QoS Optimisation
The 15th IEEE Euromicro Conference on Real-time Systems,2003, 2003.
|
Kalle Ring Burbeck, S.G. Andres, Simin Nadjm-Tehrani, M. Semling and T. Dagonnier
Time as a Metric for Defence in Survivable Networks
Real-Time Systems Symposium RTSS Work in Progress session,2003, 2003.
|
Jerker Hammarberg and Simin Nadjm-Tehrani
Development of Safety-Critical reconfigurable Hardware with Esterel
International Workshop on Formal Methods for Industrial Critical Systems FMICS,2003, 2003.
|
Christoph Kessler and Simin Nadjm-Tehrani
Mid-term Course Evaluations with Muddy Cards
ACM SIGCSE ITiCSE'02 Int. Conf. on Information technology in computer science education, Aarhus (Denmark), June 2002', 2002.
|
Diana Szentivanyi and Simin Nadjm-Tehrani
Building and Evaluating an Fault-Tolerant CORBA Infrastructure
Proceedings of the Workshop on Dependable Middleware-Based Systems (WDMS'02)', 2002.
|
Simin Nadjm-Tehrani, Kayvan Najarian, Calin Curescu, Tomas Lingvall and Teresa A. Dahlberg
Adaptive Load Control Algorithms for 3rd Generation Mobile Networks
The 5th ACM International Workshop on Modeling, Analysis and Simulation of Wireless and Mobile Systems MSWIM,2002, 2002.
|
Ph.D. Theses
Licentiate Theses
Reports
Ph.D., Lic. Theses
