The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Simin Nadjm-Tehrani: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

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

  36. Geographical Routing in Intermittently Connected Ad Hoc Networks. [Citation Graph (, )][DBLP]


  37. Tool Support for Incremental Failure Mode and Effects Analysis of Component-Based Systems. [Citation Graph (, )][DBLP]


  38. Formal Support for Quantitative Analysis of Residual Risks in Safety-Critical Systems. [Citation Graph (, )][DBLP]


  39. Anomaly Detection and Mitigation for Disaster Area Networks. [Citation Graph (, )][DBLP]


  40. Emerging Information Infrastructures: Cooperation in Disasters. [Citation Graph (, )][DBLP]


  41. Mid-term course evaluations with muddy cards. [Citation Graph (, )][DBLP]


  42. Middleware extensions that trade consistency for availability. [Citation Graph (, )][DBLP]


Search in 0.005secs, Finished in 0.007secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002