2008 |
39 | EE | Erik Kuiper,
Simin Nadjm-Tehrani:
Geographical Routing in Intermittently Connected Ad Hoc Networks.
AINA Workshops 2008: 1690-1695 |
38 | EE | Jonas Elmqvist,
Simin Nadjm-Tehrani:
Tool Support for Incremental Failure Mode and Effects Analysis of Component-Based Systems.
DATE 2008: 921-927 |
37 | EE | Jonas Elmqvist,
Simin Nadjm-Tehrani:
Formal Support for Quantitative Analysis of Residual Risks in Safety-Critical Systems.
HASE 2008: 154-164 |
2007 |
36 | EE | Mikael Asplund,
Simin Nadjm-Tehrani,
Stefan Beyer,
Pablo Galdámez:
Measuring Availability in Optimistic Partition-Tolerant Systems with Data Constraints.
DSN 2007: 656-665 |
35 | EE | Jonas Elmqvist,
Simin Nadjm-Tehrani:
Safety-Oriented Design of Component Assemblies using Safety Interfaces.
Electr. Notes Theor. Comput. Sci. 182: 57-72 (2007) |
2006 |
34 | EE | Erik Kuiper,
Simin Nadjm-Tehrani:
Mobility Models for UAV Group Reconnaissance Applications.
ICWMC 2006: 33 |
33 | EE | Marcel Lüthi,
Simin Nadjm-Tehrani,
Calin Curescu:
Comparative study of price-based resource allocation algorithms for ad hoc networks.
IPDPS 2006 |
32 | EE | Mikael Asplund,
Simin Nadjm-Tehrani:
Formalising Reconciliation in Partitionable Networks with Distributed Services.
RODIN Book 2006: 37-58 |
31 | EE | Mikael Asplund,
Simin Nadjm-Tehrani:
Post-partition reconciliation protocols for maintaining consistency.
SAC 2006: 710-717 |
2005 |
30 | EE | Diana Szentiványi,
Simin Nadjm-Tehrani:
Configuring Fault-Tolerant Servers for Best Performance.
DEXA Workshops 2005: 310-314 |
29 | EE | Kristina Forsberg,
Simin Nadjm-Tehrani,
Jan Torin:
Fault Analysis of a Distributed Flight Control System.
HICSS 2005 |
28 | EE | Kalle Burbeck,
Simin Nadjm-Tehrani:
Adaptive Real-Time Anomaly Detection with Improved Index and Ability to Forget.
ICDCS Workshops 2005: 195-202 |
27 | EE | Diana Szentiványi,
Simin Nadjm-Tehrani,
John M. Noble:
Optimal Choice of Checkpointing Interval for High Availability.
PRDC 2005: 159-166 |
26 | EE | Calin Curescu,
Simin Nadjm-Tehrani,
Bing Cao,
Teresa A. Dahlberg:
Utility-based Adaptive Resource Allocation in Hybrid Wireless Networks.
QSHINE 2005: 44 |
25 | EE | Jonas Elmqvist,
Simin Nadjm-Tehrani,
Marius Minea:
Safety Interfaces for Component-Based Systems.
SAFECOMP 2005: 246-260 |
24 | EE | Calin Curescu,
Simin Nadjm-Tehrani:
Time-Aware Utility-Based Resource Allocation in Wireless Networks.
IEEE Trans. Parallel Distrib. Syst. 16(7): 624-636 (2005) |
23 | EE | Jerker Hammarberg,
Simin Nadjm-Tehrani:
Formal verification of fault tolerance in safety-critical reconfigurable modules.
STTT 7(3): 268-279 (2005) |
2004 |
22 | EE | Kalle Burbeck,
Simin Nadjm-Tehrani:
ADWICE - Anomaly Detection with Real-Time Incremental Clustering.
ICISC 2004: 407-424 |
21 | EE | Diana Szentiványi,
Simin Nadjm-Tehrani:
Aspects for Improvement of Performance in Fault-Tolerant Software.
PRDC 2004: 283-291 |
20 | EE | Mehdi Amirijoo,
Aleksandra Tesanovic,
Simin Nadjm-Tehrani:
Raising motivation in real-time laboratories: the soccer scenario.
SIGCSE 2004: 265-269 |
19 | EE | Tobias Chyssler,
Simin Nadjm-Tehrani,
Stefan Burschka,
Kalle Burbeck:
Alarm Reduction and Correlation in Defence of IP Networks.
WETICE 2004: 229-234 |
2003 |
18 | EE | Calin Curescu,
Simin Nadjm-Tehrani:
Time-Aware Utility-Based QoS Optimisation.
ECRTS 2003: 83- |
17 | EE | Jerker Hammarberg,
Simin Nadjm-Tehrani:
Development of Safety-Critical Reconfigurable Hardware with Esterel.
Electr. Notes Theor. Comput. Sci. 80: (2003) |
2002 |
16 | EE | Christoph W. Keßler,
Simin Nadjm-Tehrani:
Mid-term course evaluations with muddy cards.
ITiCSE 2002: 233 |
15 | EE | Simin Nadjm-Tehrani,
Kayvan Najarian,
Calin Curescu,
Tomas Lingvall,
Teresa A. Dahlberg:
Adaptive load control algorithms for 3rd generation mobile networks.
MSWiM 2002: 104-111 |
2001 |
14 | EE | Erik Herzog,
Peter Loborg,
Simin Nadjm-Tehrani:
Real-time lab excercises: a teacher's dilemma.
SIGCSE 2001: 273-277 |
2000 |
13 | EE | Stéphane Tudoret,
Simin Nadjm-Tehrani,
Albert Beneviste,
Jan-Erik Strömberg:
Co-simulation of Hybrid Systems: Signal-Simulink.
FTRTFT 2000: 134-151 |
1999 |
12 | EE | Man Lin,
Jacek Malec,
Simin Nadjm-Tehrani:
On Semantics and Correctness of Reactive Rule-Based Programs.
Ershov Memorial Conference 1999: 235-246 |
11 | EE | Simin Nadjm-Tehrani:
Integration of Analog and Discrete Synchronous Design.
HSCC 1999: 193-208 |
10 | EE | Simin Nadjm-Tehrani,
Ove Åkerlund:
Combining Theorem Proving and Continuous Models in Synchronous Design.
World Congress on Formal Methods 1999: 1384-1399 |
9 | | Simin Nadjm-Tehrani,
Jan-Erik Strömberg:
Formal Verification of Dynamic Properties in an Aerospace Application.
Formal Methods in System Design 14(2): 135-169 (1999) |
1997 |
8 | | Man Lin,
Jacek Malec,
Simin Nadjm-Tehrani:
On Semantics of Reactive Rule-Based Systems.
ASIAN 1997: 379-380 |
7 | EE | Simin Nadjm-Tehrani:
Time-Deterministic Hybrid Transition Systems.
Hybrid Systems 1997: 238-250 |
1996 |
6 | | Martin Westhead,
Simin Nadjm-Tehrani:
Verification of Embedded Systems Using Synchronous Observers.
FTRTFT 1996: 405-419 |
1995 |
5 | | Jan-Erik Strömberg,
Simin Nadjm-Tehrani,
Jan L. Top:
Switched Bond Graphs as Front-End to Formal Verification of Hybrid Systems.
Hybrid Systems 1995: 282-293 |
4 | | Simin Nadjm-Tehrani,
Jan-Erik Strömberg:
Proving Dynamic Properties in an Aerospace Application.
IEEE Real-Time Systems Symposium 1995: 2-10 |
1994 |
3 | | Simin Nadjm-Tehrani,
Jan-Erik Strömberg:
From Physical Modelling to Compositional Models of Hybrid Systems.
FTRTFT 1994: 583-604 |
1988 |
2 | | Wlodzimierz Drabent,
Simin Nadjm-Tehrani,
Jan Maluszynski:
The Use of Assertions in Algorithmic Debugging.
FGCS 1988: 573-581 |
1 | | Wlodzimierz Drabent,
Simin Nadjm-Tehrani,
Jan Maluszynski:
Algorithmic Debugging with Assertions.
META 1988: 501-521 |