Publications
This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are
retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and
constraints invoked by each author's copyright. In most cases, these works may not be reposted without the explicit permission
of the copyright holder.
2015
2014
- M. Vasilevskaya, L. A. Gunawan, S.
Nadjm-Tehrani, and P. Herrmann, Integrating security mechanisms into
embedded systems by domain-specific modelling, Journal of Security and
Communication Networks, vol. 7, no. 12, pp. 2815--2832, 2014.
Available as
PDF.
- M. Asplund and S. Nadjm-Tehrani, Advances in
delay-tolerant networks (DTNs), Architecture and Enhanced Performance,
ch. Rapid selection and dissemination of urgent messages over delay-tolerant
networks (DTNs).
Woodhead Publishing Series in Electronic and Optical Materials, Elsevier,
2014.
- A. P. Biazino, M. Asplund, E. J. Vergara, and S.
Nadjm-Tehrani, Cooperative Proxies: Optimally Trading Energy and Quality
of Service in Mobile Devices, Computer Networks, Elsevier,
2014.
- M. Asplund, Poster: Securing Vehicular Platoon
Membership, in Proceedings of IEEE Vehicular Networking Conference
(VNC), IEEE, 2014.
- A. Löfwenmark and S. Nadjm-Tehrani,
Challenges in Future Avionic Systems on Multi-core Platforms, in
Proceedings of the 25th IEEE International Symposium on Software
Reliability Engineering, ISSRE, IEEE, 2014.
Available as
PDF.
- J. M. Santos, S. Nadjm-Tehrani, and A. P. Bianzino,
Monkey Gamer: Automatic Profiling of Android Games, in Sixth
International Conference on Mobile Computing, Applications, and Services,
(MobiCase), EAI/IEEE, 2014.
Available as
PDF.
- M. Vasilevskaya and S. Nadjm-Tehrani,
Model-based Security Risk Analysis for Networked Embedded Systems, in
Proceedings of the 9th International Conference on Critical Information
Infrastructures Security, CRITIS '14, 2014.
Available as
PDF.
- J. Lundberg, E. Törnqvist, and S.
Nadjm-Tehrani, Establishing conversation spaces in hastily formed
networks: the worst fire in modern Swedish history, Disasters journal,
Wiley, 2014.
Preprint.
Available as
PDF.
- E. J. Vergara, S. Nadjm-Tehrani, and M.
Prihodko, EnergyBox: Disclosing the Wireless Transmission Energy Cost for
Mobile Devices, Sustainable Computing: Informatics and Systems.
Elsevier, 2014.
Available as
PDF.
- E. J. Vergara, S. Andersson, and S.
Nadjm-Tehrani, When Mice Consume Like Elephants: Instant Messaging
Applications, in Proceedings of the 5th International Conference on
Future Energy Systems: Where Energy, Computing and Communication Meet,
e-Energy '14, ACM, 2014.
Available as
PDF.
- B. Viel and M. Asplund, Why is indoor localization
still so hard?, in The 6th International Workshop on Information
Quality and Quality of Service for Pervasive Computing, 2014.
Available as
PDF.
2013
- M. Vasilevskaya and S.
Nadjm-Tehrani, Support for Cross-domain Composition of Embedded Systems
Using MARTE Models, in Proceedings of the 6th International Workshop
on Compositional Theory and Technology for Real-Time Embedded Systems (CRTS
2013), 2013.
Available as
PDF.
- E. J. Vergara and S. Nadjm-Tehrani, Watts2Share: Energy-Aware
Traffic Consolidation, in In Proceedings of the International
Conference on Green Computing and Communications (GreenCom), 2013, IEEE,
August 2013.
Available as
PDF.
- A. P. Bianzino and D. R. Jean-Louis Rougier,
Claude Chaudet, The Green-Game: Accounting for Device Criticality in
Resource Consolidation for Backbone IP Networks, Strategic Behavior
and the Environment, SI on ICT-based strategies for environmental
conflicts, 2013.
- M. Ciarrocchi, A. P. Bianzino, M. Mellia, P.
Donadio, and G. Parladori, Energy-Aware Weight Assignment Framework for
Circuit Oriented GMPLS Networks, in 25th International Teletraffic
Congress (ITC 25), (Shanghai, China), September 2013.
Available as
PDF.
- E. J. Vergara, J. Sanjuan, and S. Nadjm-Tehrani,
Kernel Level Energy-Efficient 3G Background Traffic Shaper for Android
Smartphones, in Proceedings of the 9th International Wireless
Communications and Mobile Computing Conference (IWCMC), 2013, IEEE,
2013.
Available as
PDF.
- E. J. Vergara, M. Prihodko, and S.
Nadjm-Tehrani, Mobile Location Sharing: An Energy Consumption Study,
in Proceedings of the 4rd International Conference on Future Energy
Systems: Where Energy, Computing and Communication Meet. Poster session,
e-Energy '13, ACM, 2013.
Available as
PDF.
- E. J. Vergara and S. Nadjm-Tehrani,
EnergyBox: A Trace-driven Tool for Data Transmission Energy Consumption
Studies, in Proceedings of the International Conference on Energy
Efficiency in Large Scale Distributed Systems (EE-LSDS 2013), Lecture
Notes in Computer Science, Springer, April 2013.
Available as
PDF.
- J. Lundberg, E. Törnqvist, and S.
Nadjm-Tehrani, Challenges to the formation of conversation spaces in
hastily formed networks: The most extensive Swedish fire in modern times,
Disaster, 2013.
2012
- M. Vasilevskaya, L. A. Gunawan, S.
Nadjm-Tehrani, and P. Herrmann, Security Asset Elicitation for
Collaborative Models, in Model-Driven Security Workshop (MDSec) in
conjunction with MoDELS (ACM, ed.), (Innsbruck, Austria), 2012.
Available as
PDF.
- M. Raciti and S. Nadjm-Tehrani, Embedded
Cyber-Physical Anomaly Detection in Smart Meters, in Proceedings of
the 7th International Conference on Critical Information Infrastructures
Security (CRITIS'12), 2012.
Available as
PDF.
- J. Cucurull, M. Asplund, S. Nadjm-Tehrani, and T.
Santoro, Surviving Attacks in Challenged Networks, IEEE
Transactions on Dependable and Secure Computing, vol. 9, pp. 917--929,
nov.-dec. 2012.
Available as
PDF.
- J. Sigholm and M. Raciti, Best-Effort Data
Leakage Prevention in Inter-Organizational Tactical MANETs, in
Military Communications Conference 2012 - MILCOM 2012, IEEE, October
2012.
Available as
PDF.
- M. Asplund and S. Nadjm-Tehrani, Worst-case
Latency of Broadcast in Intermittently Connected Networks,
International Journal of Ad Hoc and Ubiquitous Computing, vol. 11, pp.
125--138, Dec. 2012.
Available as
PDF.
- M. Asplund and S. Nadjm-Tehrani,
Analysing Delay-tolerant Networks with Correlated Mobility, in in
Proceedings of the 11th International Conference on Ad-Hoc Networks and
Wireless (ADHOC-NOW), Springer, July 2012.
Available as
PDF.
- E. J. Vergara and S. Nadjm-Tehrani,
Energy-aware Cross-layer Burst Buffering for Wireless Communication,
in Third International Conference on Future Energy Systems: Where Energy,
Computing and Communication Meet (e-Energy 2012), (Madrid, Spain), May
2012.
Available as
PDF.
- L. Delosieres and S. Nadjm-Tehrani, BATMAN
Store-and-Forward: the Best of the Two Worlds, in Second International
Workshop on Pervasive Networks for Emergency Management (PerNEM 2012),
(Lugano, Switzerland), IEEE, Mar. 2012.
Available as
PDF.
- G. Sandulescu, P. Schaffer, and S.
Nadjm-Tehrani, Exploiting Resource Heterogeneity in Delay-tolerant
Networks, Wireless Communications and Mobile Computing, January
2012.
Available as
PDF.
- M. Raciti, J. Cucurull, and S.
Nadjm-Tehrani, Anomaly Detection in Water Management Systems, in
Advances in Critical Infrastructure Protection: Information Infrastructure
Models, Analysis, and Defense (J. Lopez, R. Setola, and S. Wolthusen,
eds.), vol. 7130 of Lecture Notes in Computer Science, pp. 98--119,
Springer Berlin / Heidelberg, 2012.
Available as
PDF.
- E. Kuiper, S. Nadjm-Tehrani, and D. Yuan, A
Framework for Performance Analysis of Geographic Delay-tolerant Routing,
EURASIP Journal of Wireless Communications and Networking, vol. 2012,
no. 1, p. 184, 2012.
- J. Lundberg, E. Törnqvist, and S.
Nadjm-Tehrani, Resilience in Sensemaking and Control of Emergency
Response, International Journal of Emergency Management, vol. 8,
no. 2, 2012.
2011
- S. Nadjm-Tehrani and M. Vasilevskaya, Towards a Security
Domain Model for Embedded Systems, in The 13th IEEE International
Symposium on High Assurance Systems Engineering (HASE) poster session,
IEEE, November 2011.
Available as
PDF.
- M. Asplund, A. Thomasson, E. J. Vergara, and S.
Nadjm-Tehrani, Software-related Energy Footprint of a Wireless Broadband
Module, in The 9th ACM International Symposium on Mobility Management
and Wireless Access (MobiWac), ACM, November 2011.
Available as
PDF.
- E. Kuiper and S. Nadjm-Tehrani, Predicting the
Performance of Geographic Delay-Tolerant Routing, in Military
Communications Conference 2011 - MILCOM 2011, IEEE, November 2011.
Available as
PDF.
- J. Cucurull, S. Nadjm-Tehrani, and M.
Raciti, Modular anomaly detection for smartphone ad hoc communication,
in 16th Nordic Conference on Secure IT Systems, NordSec 2011, LNCS,
Springer Verlag, October 2011.
Available as
PDF.
- I. Burguera, U. Zurutuza, and S.
Nadjm-Tehrani, Crowdroid: Behavior-Based Malware Detection System for
Android, in Workshop on Security and Privacy in Smartphones and Mobile
Devices 2011 - SPSM 2011, ACM, October 2011.
Available as
PDF.
- H. Eriksson, M. Raciti, M. Basile, A. Cunsolo,
A. Fröberg, O. Leifler, J. Ekberg, and T. Timpka, A Cloud-Based Simulation
Architecture for Pandemic Influenza Simulation, in AMIA Annual
Symposium Proceedings 2011, AMIA Symposium, AMIA, October 2011.
- M. Raciti, J. Cucurull, and S. Nadjm-Tehrani,
Energy-based Adaptation in Simulations of Survivability of Adhoc
Communication, in Wireless Days (WD), 2011 IFIP, IEEE, October
2011.
Available as
PDF.
- E. J. Vergara, S. Nadjm-Tehrani, M. Asplund,
and U. Zurutuza, Resource Footprint of a Manycast Protocol Implementation
on Multiple Mobile Platforms, in The Fifth IEEE International
Conference on Next Generation Mobile Applications, Services and Technologies,
2011. NGMAST '11., IEEE, Sept. 2011.
Available as
PDF.
- M. Goldszmidt, M. Malek, S. Nadjm-Tehrani, P. Narasimhan, F.
Salfner, P. A. S. Ward, and J. Wilkes, Towards a Holistic Approach to
Fault Management: Wheels Within a Wheel, Book chapter, in
Dependability and Computer Engineering: Concepts for Software-Intensive
Systems (K. S. L. Petre and E. Troubitsyna, eds.), pp. 1--10, IGI Global
publishers, July 2011.
Available as
PDF.
- J. Lundberg and M. Asplund, Communication Problems
in Crisis Response, in Proceedings of the 8th International Conference
on Information Systems for Crisis Response and Management (ISCRAM),
ISCRAM, 2011.
Available as
PDF.
- E. Kuiper and S. Nadjm-Tehrani, Geographical
routing with location service in intermittently connected MANETs, IEEE
Transactions on Vehicular Technology, vol. 60, February 2011.
Available as
PDF.
2010
- J. Cucurull, R. Marti, G. Navarro-Arribas, S.
Robles, J. Borrell, and G. Suades, Fragment Transfer Protocol: An
IEEE-FIPA based efficient transfer protocol for mobile agents,
Computer Communications, vol. 33, no. 18, pp. 2203 -- 2214, 2010.
- G. Sandulescu, P. Schaffer, and S.
Nadjm-Tehrani, Vicinity Resource Cartography for Delay-Tolerant Networks:
a Holistic Perspective, in Proceedings of the 3rd IFIP Wireless Days
(WD'10) Conference, IEEE, October 2010.
Available as
PDF.
- S. Nadjm-Tehrani, SecFutur: Security Engineering
Process for Networked Embedded Devices, in Proceedings of the 12th
Biennial Baltic Electronic Conference (BEC2010), IEEE, October 2010.
Available as
PDF.
- S. Guergens, C. Rudolf, A. Mana, and S.
Nadjm-Tehrani, Security engineering for embedded systems: The SecFutur
vision, in Proceedings of the International workshop on Security and
Dependability for Resource Constrained Embedded Systems (S&D4RCES) in
conjunction with SAFECOMP conference, ACM, September 2010.
Available as
PDF.
- J. Cucurull, M. Asplund, and S. Nadjm-Tehrani,
Anomaly detection and mitigation for disaster area networks, in
13th International Symposium on Recent Advances in Intrusion
Detection, vol. 6307, pp. 339--359, Springer Verlag, September 2010.
Available as
PDF.
- G. Sandulescu and S. Nadjm-Tehrani,
Optimising Replication versus Redundancy in Window-aware Opportunistic
Routing, in Proceedings of International Conference on Communication
Theory, Reliability, and Quality of Service, (part of NexCOMM 2010),
IEEE, June 2010.
Available as
PDF.
- M. Asplund, T. de Lanerolle, C. Fei, P. Gautam, R.
Morelli, S. Nadjm-Tehrani, and G. Nykvist, Wireless Ad Hoc Dissemination
for Search and Rescue, in 7th International Conference on Information
Systems for Crisis Response and Management, ISCRAM, May 2010.
Available as
PDF.
- J. Cucurull, G. Navarro, R. Marti, S. Robles, and J.
Borrell, An Efficient and Secure Agent Code Distribution Service,
Software: Practice and Experience, vol. 40, pp. 363--386, April
2010.
- G. Sandulescu and S. Nadjm-Tehrani,
Adding Redundancy to Replication in Window-aware Delay-tolerant
Routing, Journal Of Communications, Special Issue in Delay Tolerant
Networks, Architecture, and Applications, vol. 5, February 2010.
Available as
PDF.
2009
- M. Asplund and S. Nadjm-Tehrani, A
Partition-tolerant Manycast Algorithm for Disaster Area Networks, in
28th International Symposium on Reliable Distributed Systems, IEEE,
Sept. 2009.
Available as
PDF.
- M. Asplund, S. Nadjm-Tehrani, and K. Zagar,
Middleware Extensions that Trade Consistency for Availability,
Concurrency and Computation: Practice and Experience, vol. 21, pp.
1181--1203, June 2009.
Available as
PDF.
- E. Törnqvist, J. Sigholm, and S.
Nadjm-Tehrani, Hastily Formed Networks for Disaster Response: Technical
Heterogeneity and Virtual Pockets of Local Order, in Proceedings of
the 6th International Conference on Information Systems for Crisis Response
and Management (ISCRAM), ISCRAM, May 2009.
Available as
PDF.
2008
- J. Elmqvist, S. Nadjm-Tehrani, K. Forsberg, and S.
Nordenbro, Demonstration of a Formal Method for Incremental Qualification
of IMA Systems, in Proceedings of the 27th International Conference on
Digital Avionics Systems (DASC), IEEE, October 2008.
Available as
PDF.
- G. Sandulescu and S. Nadjm-Tehrani, Opportunistic
DTN Routing with Window-aware Adaptive Replication, in Proceedings of
the ACM/SIGCOMM Asian Internet Engineering Conference (AINTEC'08),
2008.
Available as
PDF.
- M. Asplund, S. Nadjm-Tehrani, and J. Sigholm,
Emerging Information Infrastructures: Cooperation in Disasters, in
Proceedings of the 3rd International Workshop on Critical Information
Infrastructures Security (CRITIS'08), Oct. 2008.
Available as
PDF.
- M. Asplund and S. Nadjm-Tehrani, Random walk
gossip-based manycast with partition detection (fast abstract), in
Proceedings of the 2008 International Conference on Dependable Systems and
Networks (DSN'08), IEEE Computer Society, June 2008.
Available as
PDF.
- C. Curescu and S. Nadjm-Tehrani, A Bidding
Algorithm for Optimized Utility-Based Resource Allocation in Ad Hoc
Networks, IEEE Transactions on Mobile Computing, vol. 7, pp.
1397--1414, December 2008.
Available as
PDF.
- J. Elmqvist and S. Nadjm-Tehrani, Tool
Support for Incremental Failure Mode and Effects Analysis of Component-Based
Systems, in Design, Automation, and Test in Europe (DATE)
Conference, EDA/ACM/SIGDA, March 2008.
Available as
PDF.
- J. Elmqvist and S. Nadjm-Tehrani,
Formal Support for Quantitative Analysis of Residual Risks in
Safety-Critical Systems, in High Assurance Systems Engineering
Symposium (HASE'08), IEEE, December 2008.
Available as
PDF.
- E. Kuiper and S. Nadjm-Tehrani, Geographical Routing
in Intermittently Connected Ad Hoc Networks, in The First IEEE
International Workshop on Opportunistic Networking (WON-08), IEEE, March
2008.
Available as
PDF.
- M. Amirijoo, J. Hansson, S. Gunnarsson,
and S. H. Son, Quantifying and Suppressing the Measurement Disturbance in
Feedback Controlled Real-Time Systems, Real-Time Systems Journal,
vol. 40, pp. 44--76, October 2008.
Available as
PDF.
- W. Kang, S. H. Son, J. A. Stankovic, and M.
Amirijoo, I/O-Aware Deadline Miss Ratio Management in Real-Time Embedded
Databases, in 28th IEEE International Real-Time Systems Symposium,
pp. 277--287, IEEE, December 2007.
Available as
PDF.
2007
- J. Sigholm and S. Nadjm-Tehrani, Enterprise network
Node Discovery and Topology Analysis: An experience Report, in
Pre-proceedings of the 2nd Benelux Workshop on Information and System
Security (WISSEC07), University of Luxembourg, September 2007.
- T. Gustafsson and J. Hansson, Performance
Evaluations and Estimations of Workload of On-Demand Updates in Soft
Real-Time Systems, in Proceedings of the 13th IEEE International
Conference on Embedded and Real-Time Computing Systems and Applications
(RTCSA07), 2007.
- T. Gustafsson, A. Tesanovic, Y. Du, and J.
Hansson, Engineering Active Behavior of Embedded Software to Improve
Evolution and Performance: an Aspect-Oriented Approach, in Proceedings
of the 2007 ACM symposium on Applied computing, pp. 673--679, ACM Press,
2007.
- M. Amirijoo, J. Hansson, S. H. Son, and S.
Gunnarsson, Experimental Evaluation of Linear Time-Invariant Models for
Feedback Performance Control in Real-Time Systems, Real-Time
Systems, vol. 35, Apr. 2007.
Available as
PDF.
- M. Amirijoo, S. H. Son, and J. Hansson, QoD
Adaptation for Achieving Lifetime Predictability of WSN Nodes Communicating
over Satellite Links, in International Conference of Networked Sensing
Systems (INSS), 2007.
- M. Asplund, S. Nadjm-Tehrani, S. Beyer, and P.
Galdamez, Measuring Availability in Optimistic Partition-tolerant Systems
with Data Constraints, in Proceedings of the 2007 International
Conference on Dependable Systems and Networks (DSN'07), June 2007.
Available as
PDF.
- K. Burbeck and S. Nadjm-Tehrani, Adaptive Real-time
Anomaly Detection with Incremental Clustering, Information Security
Technical Report, vol. 12, no. 1, 2007.
Available as
PDF.
2006
- T. Gustafsson and J. Hansson, Data Freshness
and Overload Handling in Embedded Systems, in Proceedings of the 12th
IEEE International Conference on Embedded and Real-Time Computing Systems and
Applications (RTCSA06), pp. 173--182, IEEE Computer Society Press,
2006.
Available as
PDF.
- T. Gustafsson, J. Hansson, A. Göras, J.
Gäddevik, and D. Holmberg, 2006-01-0305: Database Functionality in
Engine Management System, in Proceedings of Software/Hardware Systems
SAE World Congress 2006, 2006.
Available as
PDF.
- A. Tesanovic, M. Amirijoo, and J. Hansson,
Providing Configurable QoS Management in Real-Time Systems with QoS Aspect
Packages, Transactions on Aspect-Oriented Software Development
(TOASD). Special Isssue on Aspect-Oriented Programming for Systems Software
and Middleware, vol. 4242, pp. 256--288, 2006.
Lecture Notes in Computer Science, Springer Verlag.
- M. Amirijoo, T. Tesanovic, T. Andersson, J.
Hansson, and S. H. Son, Finite Horizon QoS Prediction of Reconfigurable
Firm Real-Time Systems, in IEEE International Conference on Embedded
and Real-Time Computing Systems and Applications (RTCSA), 2006.
- M. Amirijoo, J. Hansson, and S. H. Son,
Specification and Management of QoS in Real-Time Databases Supporting
Imprecise Computations, IEEE Transactions on Computers, vol. 55,
Mar. 2006.
- E. Kuiper and S. Nadjm-Tehrani, Mobility
Models for Group Reconnaissance Applications, in Proceedings of
International Conference on Wireless and Mobile Communications, IEEE
Computer Society, July 2006.
Available as
PDF.
- J. Elmqvist and S. Nadjm-Tehrani,
Safety-Oriented Design of Component Assemblies using Safety
Interfaces, in Proceedings of the International Workshop on Formal
Aspects of Component Software (FACS'06), Elsevier, Sept. 2006.
Available as
PDF.
- A. Tesanovic, T. Gustafsson, and J. Hansson,
Separating Active and On-demand Behavior of Embedded Systems into
Aspects, in Proceedings of the International Workshop on
Non-functional Properties of Embedded Systems (NFPES'06), VDE Verlag,
Mar. 2006.
Available as
PDF.
- M. Luethi, S. Nadjm-Tehrani, and C. Curescu,
Comparative Study of Price-based Resource Allocation Algorithms for Ad Hoc
Networks, in Proceedings of the 20th IEEE International Parallel and
Distributed Processing Symposium, IEEE Computer Society, April 2006.
Available as
PDF.
- M. Asplund and S. Nadjm-Tehrani, Post-Partition
Reconciliation Protocols for Maintaining Consistency, in Proceedings
of the 21st ACM/SIGAPP symposium on Applied computing, April 2006.
Available as
PDF.
- M. Asplund and S. Nadjm-Tehrani, Rigorous
Development of Complex Fault-Tolerant Systems, vol. 4157 of Lecture
Notes in Computer Science, ch. Formalising Reconciliation in
Partitionable Networks with Distributed Services, pp. 37--58.
Springer-Verlag, 2006.
Available as
PDF.
2005
- A. Tesanovic, M. Amirijoo, D. Nilsson, H.
Norin, and J. Hansson, Ensuring Real-Time Perfomance Guarantees in
Dynamically Reconfigurable Embedded Systems, in Proceedings of the
IFIP International Conference on Embedded and Ubiquitous Computing,
Springer-Verlag, Dec. 2005.
Available as
PDF.
- A. Tesanovic, S. Nadjm-Tehrani, and J. Hansson,
Modular Verification of Reconfigurable Components, in
Component-Based Software Development for Embedded Systems-An Overview on
Current Research Trends (C. Atkinson, C. Bunse, H.-G. Gross, and C.
Peper, eds.), no. 3778 in Lecture Notes in Computer Science, pp. 59--81,
Springer-Verlag, 2005.
- A. Tesanovic, P. Mu, and J. Hansson, Development
Environment for Configuration and Analysis of Embedded Real-Time Systems,
in Proceedings of the 4th International Workshop on Aspects, Components,
and Patterns for Infrastructure Software (ACP4IS'05), Mar. 2005.
Available as
PDF.
- A. Tesanovic, M. Amirijoo, M. Björk, and J.
Hansson, Empowering Configurable QoS Management in Real-Time Systems,
in Proceedings of the 4th ACM SIG International Conference on
Aspect-Oriented Software Development (AOSD.05), ACM Press, Mar. 2005.
Available as
PDF.
- D. Szentivanyi, S. Nadjm-Tehrani, and J. M.
Noble, Optimal Choice of Checkpointing Interval for High Availability,
in Proceedings of the 11th Pacific Rim Dependable Computing
Conference, IEEE Computer Society, Dec. 2005.
Available as
PDF.
- D. Szentivanyi, S. Nadjm-Tehrani, and
J. M. Noble, Configuring Fault-Tolerant Servers for Best Performance,
in Proceedings of the 1st IEEE International Workshop on High Availability
of Distributed Systems (HADIS), August 2005.
Available as
PDF.
- C. Curescu and S. Nadjm-Tehrani, Time-aware
Utility-based Resource Allocation in Wireless Networks, IEEE
Transactions on Parallel and Distributed Systems, vol. 16, no. 7, pp.
624--636, 2005.
Available as
PDF.
- T. Gustafsson, H. Hallqvist, and J.
Hansson, A similarity-aware multiversion concurrency control and updating
algorithm for up-to-date snapshots of data, in Proceedings of the 17th
Euromicro Conference on Real-Time Systems, IEEE Computer Society Press,
July 2005.
Available as
PDF.
- K. Forsberg, S. Nadjm-Tehrani, and J. Torin,
Fault Analysis of a Distributed Flight Control System, in
Fault-Tolerant and Dependable Distributed Systems Minitrack of the
Software Technology Track 38th IEEE Hawaii International Conference on System
Sciences, Electronic archives:www.hicss.hawaii.edu/diglib.htm, January
2005.
- J. Hammarberg and S. Nadjm-Tehrani, Formal
Verification of Fault Tolerance in Safety-critical Configurable Modules,
International Journal of Software Tools for Technology Transfer, Copyright
Springer Verlag, vol. 7, June 2005.
Available as
PDF.
- J. Elmqvist, S. Nadjm-Tehrani, and M.
Minea, Safety Interfaces for Component-Based Systems, in
Proceedings of the 24th International Conference on Computer Safety,
Reliability and Security (SAFECOMP), September 2005.
Available as
PDF.
- J. Elmqvist and S. Nadjm-Tehrani, Intents
and Upgrades in Component-Based High-Assurance Systems, in
Model-driven Software Development, Volume II of Research and Practice in
Software Engineering (S. Beyeda, M. Book, and V. Gruhn, eds.),
Springer-Verlag, Aug. 2005.
Available as
PDF.
- C. Curescu and S. Nadjm-Tehrani,
Price/Utility-based optimized resource allocation in wireless ad hoc
networks, in Proceedings of the 2nd Conference on Sensor and Ad Hoc
Communications and Networks (Secon), IEEE Communications Society, Sept.
2005.
Available as
PDF.
- C. Curescu, S. Nadjm-Tehrani, B. Cao, and T. A.
Dahlberg, Utility-based Adaptive Resource Allocation in Hybrid Wireless
Networks, in Proceedings of the 2nd International Conference on
Quality of Service in Heterogeneous Wired/Wireless Networks (Qshine),
IEEE Computer Society, Aug. 2005.
Available as
PDF.
- K. Burbeck and S. Nadjm-Tehrani, Adaptive
Real-Time Anomaly Detection with Improved Index and Ability to Forget, in
Proceedings of the 25th IEEE International Conference on Distributed
Computing Systems Workshops, June 2005.
Available as
PDF.
- M. Amirijoo, N. Chaufette, J. Hansson,
S. H. Son, and S. Gunnarsson, Generalized Performance Management of
Multi-Class Real-Time Imprecise Data Services, in Proceedings of the
IEEE Real-Time Systems Symposium (RTSS), Dec. 2005.
- M. Amirijoo, J. Hansson, S. Gunnarsson, and
S. H. Son, Enhancing Feedback Control Scheduling Performance by On-line
Quantification and Suppression of Measurement Noise, in Proceedings of
the IEEE Real-Time and Embedded Technology and Applications Symposium
(RTAS), Mar. 2005.
Available as
PDF.
2004
- A. Tesanovic, D. Nyström, J. Hansson, and C.
Norström, Aspects and Components in Real-Time System Development:
Towards Reconfigurable and Reusable Software, Journal of Embedded
Computing, vol. 1, Oct. 2004.
Available as
PDF.
- A. Tesanovic and J. Hansson, Structuring Criteria
for the Design of Component-Based Real-Time Systems, in Proceedings of
the IADIS International Conference on Applied Computing 2004 (N.
Guimaraes and P. Isaias, eds.), (Lisbon, Portugal), pp. I401--I411, IADIS
Press, Mar. 2004.
Available as
PDF.
- A. Tesanovic, K. Sheng, and J. Hansson,
Application-Tailored Database Systems: a Case of Aspects in an Embedded
Database, in Proceedings of the 8th International Database Engineering
and Applications Symposium (IDEAS'04), (Coimbra, Portugal), IEEE Computer
Society, July 2004.
Available as
PDF.
- D. Nyström, A. Tesanovic, M. Nolin, C.
Norström, and J. Hansson, COMET: A Component-Based Real-Time Database
for Automotive Systems, in Proceedings of the Workshop on Software
Engineering for Automotive Systems at 26th International Conference on
Software engineering (ICSE'04), (Edinburgh, Scotland), IEEE Computer
Society Press, May 2004.
Available as
PDF.
- D. Nyström, M. Nolin, A. Tesanovic, C.
Norström, and J. Hansson, Pessimistic Concurrency-Control and
Versioning to Support Database Pointers in Real-Time Databases, in
Proceedings of the 16th Euromicro Conference on Real-Time Systems
(ECRTS04), (Sicily, Italy), IEEE Computer Society Press, June 2004.
Available as
PDF.
- D. Gamez, S. Nadjm-Tehrani, J. Bigham, C. Balducelli, T.
Chyssler, and K. Burbeck, Dependable Computing Systems: Paradigms,
Performance Issues and Applications, ch. Safeguarding Critical
Infrastructures.
John Wiley & Sons, Inc., 2004.
Available as
PDF.
- D. Szentivanyi and S. Nadjm-Tehrani, Aspects
for Improvement of Performance in Fault-Tolerant Software, in
Proceedings of the 10th Pacific Rim Dependable Computing Conference
(PRDC), pp. 283--291, IEEE Computer Society, March 2004.
Available as
PDF.
- D. Szentivanyi and S. Nadjm-Tehrani,
Middleware for Communications, ch. Middleware Support for Fault
Tolerance.
John Wiley & Sons, 2004.
- J. Elmqvist and S. Nadjm-Tehrani, Intents,
Upgrades and Assurance in Model-Based Development, in 2nd Real-Time
and Embedded Technology and Applications Symposium Workshop on Model-Driven
Embedded Systems, May 2004.
Available as
PDF.
- K. Burbeck, D. Garpe, and S. Nadjm-Tehrani,
Scale-up and Performance Studies of Three Agent Platforms, in
Proceedings of International Performance, Communication and Computing
Conference, Middleware Performance workshop., pp. 857--863, IEEE Computer
Society, April 2004.
Available as
PDF.
- K. Burbeck and S. Nadjm-Tehrani, ADWICE:
Anomaly Detection with Real-time Incremental Clustering, in
Proceedings of 7th International Conference on Information Security and
Cryptology (ICISC 04), Springer Verlag, December 2004.
Available as
PDF.
- K. Forsberg, S. Nadjm-Tehrani, J. Torin,
and R. Johansson, Maintaining Consistency among Distributed Control
Nodes, in Proceedings of the 23rd Digital Avionics Systems
Conference, vol. 2, pp. 6.D.1--12, IEEE, October 2004.
Available as
PDF.
- M. Amirijoo, A. Tesanovic, and S. Nadjm-Tehrani,
Raising Motivation in Real-time Laboratories: The Soccer Scenario, in
Proceedings of the ACM Technical Symposium on Computer Science Education
(SIGCSE), pp. 265--269, Mar. 2004.
Available as
PDF.
- M. Amirijoo, J. Hansson, S. H. Son, and S.
Gunnarsson, Robust Quality Management for Differentiated Imprecise Data
Services, in Proceedings of the IEEE International Real-Time Systems
Symposium (RTSS), pp. 265--275, Dec. 2004.
Available as
PDF.
- T. Gustafsson and J. Hansson, Dynamic
On-Demand Updating of Data in Real-Time Database Systems, in 19th
Annual ACM Symposium on Applied Computing Special track on Embedded Systems
(SAC04), March 2004.
Available as
PDF.
- T. Gustafsson and J. Hansson, Data
Management in Real-Time Systems: a Case of On -Demand Updates in Vehicle
Control Systems, in Proceedings of 10th IEEE Real-Time and Embedded Te
chnology and Applications Symposium, IEEE Computer, May 2004.
Available as
PDF.
- T. Chyssler, S. Nadjm-Tehrani, S. Burschka, and K.
Burbeck, Alarm Reduction and Correlation in Defence of IP Networks, in
Proceedings of the 13th International Workshops on Enabling Technologies:
Infrastructures for Collaborative Enterprises (WETICE04), pp. 229--234,
IEEE Computer Society, June 2004.
Available as
PDF.
- T. Chyssler, S. Burschka, M. Semling, T. Lingvall,
and K. Burbeck, Alarm Reduction and Correlation in Intrusion Detection
Systems, in Proceedings of Detection of Intrusions and Malware &
Vulnarability Assessment workshop (DIMVA), pp. 9--24, Gesellschaft f r
Informatik, June 2004.
Available as
PDF.
2003
- A. Tesanovic, D. Nyström, J. Hansson, and C.
Norström, Towards Aspectual Component-Based Development of Real-Time
Systems, in Proceeding of the 9th International Conference on
Real-Time and Embedded Computing Systems and Applications (RTCSA 2003),
Springer-Verlag, Feb. 2003.
Available as
PDF.
- D. Szentivanyi, I. Ravot, S. Nadjm-Tehrani,
and R. Guerraoui, Dependable Distributed Middleware: Pay Now or Pay
Later!, in Poster Session at the ACM/IFIP/USENIX International
Middleware Conference, Middleware 2003 Companion, p. 331,
ACM/IFIP/USENIX, June 2003.
- A. Tesanovic, D. Nyström, J. Hansson, and C.
Norström, Aspect-Level Worst-Case Execution Time Analysis of Real-Time
Systems Compositioned Using Aspects and Components, in Proceedings of
the 27th IFAC/IFIP/IEEE Workshop on Real-Time Programming (WRTP'03),
(Poland), Elsevier, May 2003.
- A. Tesanovic, J. Hansson, D. Nyström, C.
Norström, and P. Uhlin, Aspect-Level WCET Analyzer: a Tool for
Automated WCET Analysis of a Real-Time Software Composed Using Aspects and
Components, in Proceedings of the 3rd International Workshop on
Worst-Case Execution Time Analysis (WCET 2003), (Porto, Portugal), July
2003.
Available as
PDF.
- C. Curescu and S. Nadjm-Tehrani, Time-aware
Utility-based QoS Optimisation, in Proceedings of the 15th Euromicro
Conference on Real-time Systems, (Porto, Portugal), pp. 83--92, July
2003.
Available as
PDF.
- D. Nyström, A. Tesanovic, C. Norström, and J.
Hansson, Database Pointers: a Predictable Way of Manipulating Hot Data in
Hard Real-Time Systems, in Proceedings of the 9th International
Conference on Real-Time and Embedded Computing Systems and Applications
(RTCSA 2003), Springer-Verlag, Feb. 2003.
- J. Hammarberg and S. Nadjm-Tehrani, Development
of Safety-Critical Reconfigurable Hardware with Esterel, in
Proceedings of the 8th Internation Workshop on Formal Methods for
Industrial Critical Systems (FMICS'03), (Norway), Elsevier, 2003.
- M. Amirijoo, J. Hansson, and S. H. Son,
Algorithms for Managing QoS for Real-Time Data Services Using Imprecise
Computation, in Proceedings of the International Conference on
Real-Time and Embedded Computing Systems and Application (RTCSA), pp.
136--157, Feb. 2003.
Available as
PDF.
- K. Burbeck, S. G. Andres, S. Nadjm-Tehrani, M.
Semling, and T. Dagonnier, Time as a Metric for Defence in Survivable
Networks, in Proceedings of the Work in Progress session of 24th IEEE
Real-Time Systems Symposium (RTSS 2003), 2003.
Available as
PDF.
- M. Amirijoo, J. Hansson, and S. H. Son,
Error-Driven QoS Management in Imprecise Real-Time Databases, in
Proceedings of the IEEE Euromicro Conference on Real-Time Systems
(ECRTS), pp. 63--72, July 2003.
Available as
PDF.
- M. Amirijoo, J. Hansson, and S. H. Son,
Specification and Management of QoS in Imprecise Real-Time Databases,
in Proceedings of the IEEE International Database Engineering and
Applications Symposium (IDEAS), pp. 192--201, July 2003.
Available as
PDF.
2002
- D. Aganovic and A. Pandikow, Towards
Enabling Innovation Processes for Dynamic Extended Manufacturing
Enterprises, in Proceedings of the Digital Enterprise Technology
Conference 2002.
- M. Amirijoo, J. Hansson, and S. H. Son,
Error-Driven QoS Management in Imprecise Real-Time Databases, tech.
rep., Department of Computer and Information Science, Linköpings
Universitet, 2002.
Available as
PDF.
- S. Nadjm-Tehrani, K. Najarian, C. Curescu, T.
Lingvall, and T. A. Dahlberg, Adaptive Load Control Algorithms for 3rd
Generation Mobile Networks, in Proceedings of the 5th ACM
International Workshop on Modeling, Analysis and Simulation of Wireless and
Mobile Systems, (Atlanta, Georgia, USA), pp. 104--111, ACM CS-press,
Sept. 2002.
Available as
PDF.
- D. Nyström, A. Tesanovic, C. Norström, J.
Hansson, and N.-E. Bånkestad, Data Management Issues in Vehicle
Control Systems: A Case Study, in Proceedings of the 14th Euromicro
Conference on Real Time Systems, pp. 249--256, IEEE Computer Society,
June 2002.
- D. Szentivanyi and S. Nadjm-Tehrani, Building
and Evaluating a Fault-Tolerant CORBA Infrastructure, in Proceedings
of the Workshop on Dependable Middleware-Based Systems (WDMS'02) - part of
the International Conference on Dependable Systems and Networks (DSN),
pp. G31 -- G38, IEEE, June 2002.
Available as
PDF.
- A. Tesanovic, D. Nyström, J. Hansson, and C.
Norström, Integrating Symbolic Worst-Case Execution Time Analysis with
Aspect-Oriented System Development, in OOPSLA 2002 Workshop on Tools
for Aspect-Oriented Software Development, (Seattle, WA), Nov. 2002.
Available as
PDF.
- A. Tesanovic, D. Nyström, J. Hansson, and C.
Norström, Embedded Databases for Embedded Real-Time Systems: A
Component-Based Approach, tech. rep., Department of Computer Science,
Linköping University and Department of Computer Engineering,
Mälardalen University, Jan. 2002.
Available as
PDF.
2001
- K. S. Barber, C. E. Martin, N. E. Reed, and D.
Kortenkamp, Dimensions of Adjustable Autonomy, in Advances in
Artificial Intelligence: PRICAI 2000 Workshop Reader (R. Kowalczyk, S. W.
Loke, N. Reed, and G. Williams, eds.), vol. 2112, pp. 353--361, Berlin:
Springer Verlag, 2001.
Available as
PDF.
- J. Bäckström and S. Nadjm-Tehrani, Design
of a Contact Service in a Jini-based Spontaneous Network, in
proceedings of ITCOM, Java-Jini tecchnologies track, SPIE, 2001.
Available as
PDF.
- F. Heinz, J. Kummeneje, and P. Scerri, Using Simulated
RoboCup to Teach AI in Undergraduate Education, in Proceedings of
Scandinavian Conference on AI, 2001.
- E. Herzog and A. Törne, Information Modelling
for System Specification Representation and Data Exchange, in
Proceedings of the 8th IEEE International Conference and Workshop on the
Engineering of Computer-based Systems (F. Titsworth, ed.), pp. 136 --
143, IEEE Computer Society, 2001.
- E. Herzog and A. Törne, Investigating Risks
in Systems Engineering Tool Data Exchange, in Proceedings of the 11th
annual International Symposium of the International Council on Systems
Engineering, INCOSE, 2001.
- E. Herzog, P. Loborg, and S. Nadjm-Tehrani, Real-time
lab Exercises: A teacher's Dilemma, in Proceedings of the 32nd SIGCSE
Technical Symposium on Computer Science Education, pp. 273 --277, Feb.
2001.
Available as
PDF.
- J. Johnson, E. Herzog, and M. Giblin, The
technical data coverage of the emerging AP-233 STEP Standard and its use in
virtual enterprises, in proceedings of PDT Europe 2001, pp. 203 --
212, 2001.
- J. Johnson and E. Herzog, The Data Standard
AP-233: An Invigorator for Global Systems Engineering, in Proceedings
of the 11th International Symposium of the International Council on Systems
Engineering, 2001.
- A. Pandikow and A. Törne, Support for
Object-Orientation in AP-233, in Proceedings of the 11th Annual
International Symposium of the International Council on Systems
Engineering, vol. 1, INCOSE, June 2001.
Available as
PDF.
- A. Pandikow and A. Törne, Software
Engineering at System Level, in Proceedings of the 1st Swedish
Conference on Software Engineering Research and Practice (SERP'01) (P.-O.
Bengtsson, ed.), BTH Research Report 2001:10, pp. 24--31, Blekinge Tekniska
Högskola, Oct. 2001.
- A. Pandikow and A. Törne, Integrating Modern
Software Engineering and Systems Engineering Specification Techniques, in
Proceedings of the 14th International Conference on Software and Systems
Engineering and their Applications (ICSSEA 2001), vol. 2, CNAM, Dec.
2001.
- D. Pynadath, P. Scerri, and M. Tambe, MDPs for
Adjustable autonomy in a real-world multi-agent environment, in AAAI
Spring Symposium on decision theoretic and game theoretic agents, pp.
107--116, 2001.
- T. Reed, N. E. Reed, and P. Fritzson, The Analysis of
Heart Sounds for Symptom Detection and Machine-Aided Diagnosis, in
Proceedings of the 4th Internationa EuroSIMS Congress (E uroSIM 2001),
pp. 038:1--7, Technical University of Delft, June 2001.
Available as
PDF.
- N. E. Reed, Teamwork and Adjustable Autonomy in
Autonomous Agents, in Advances in Artificial Intelligence: PRICAI 2000
Workshop Reader (R. Kowalczyk, S. W. Loke, N. Reed, and G. Williams,
eds.), vol. 2112, pp. 301--302, Berlin: Springer Verlag, 2001.
Available as
PDF.
- P. Scerri, D. Pynadath, and M. Tambe, Adjustable
Autonomy in real-world multi-agent environments, in Proceedings of the
Fifth international conference on autonomous agents (Agents'01), pp.
300--307, 2001.
- P. Scerri, N. Reed, T. Wiren, M. Lönneberg, and P.
Nilsson, Headless Chickens IV, in RoboCup-2000: Robot Soccer
World Cup IV (P. Stone, T. Balch, and G. Kraetszchmar, eds.), vol.
2019, pp. 493--496, Berlin: Springer Verlag, 2001.
Available as
PDF.
- P. Scerri and N. E. Reed, Designing Agents for
Systems with Adjustable Autonomy, in Workshop on Autonomy, Delegation
and Control: Interacting with Autonomous Agents, Seventeenth International
Joint Conference on Artificial Intelligence (IJCAI 2001), pp. 97--102,
Aug. 2001.
- P. Scerri and N. Reed, Making Adjustable Autonomy
Easier with Teamwork, in Advances in Artificial Intelligence: PRICAI
2000 Workshop Reader (R. Kowalczyk, S. W. Loke, N. Reed, and G. Williams,
eds.), vol. 2112, pp. 339--352, Berlin: Springer Verlag, 2001.
Available as
PDF.
- P. Stone, M. Asada, T. Balch, R. D'Andrea, M. Fujita, B.
Hengst, G. Kraetzschmar, P. Lima, N. Lau, H. Lund, D. Polani, P. Scerri, S.
Tadokoro, T. Weigel, and G. Wyeth, RoboCup-2000: The Fourth Robotic Soccer
World Championships, AI Magazine, vol. 22, pp. 11--38, 2001.
- M. Tambe, D. Pynadath, and P. Scerri, Adjustable
Autonomy: A Response, in Intelligent Agents VII Proceedings of the
International workshop on Agents, theories, architectures and languages,
2001.
2000
- J. Hansson and S. Andler, System Framework for
Active Real-Time Database Systems, in Real-Time Database Systems:
Issues and Design (K.-y. Lam and T.-w. Kuo, eds.), Kluwer Academics,
2000.
- S. Tudoret, S. Nadjm-Tehrani, A. Benveniste, and
J.-E. Strömberg, Co-Simulationof Hybrid Systems: SIGNAL-SIMULINK,,
in proceedings of the 6th international conference on Formal Techniques in
Real-Time and Fault-Tolerant Systems, (FTRTFT'00), LNCS 1926, pp.
134--151, Springer Verlag, September 2000.
Available as
PDF.
- S. Nadjm-Tehrani, Formal Methods for Analysis of
Heterogeneous Models of Embedded Systems, in proceedings of
International Symposium on Computer-Aided Control Systems Design (CACSD),
September 2000.
Available as
PDF.
- J. Hansson and S. Son, Overload Management in
Real-Time Database Systems, in Real-Time Database Systems: Issues and
Design (K.-y. Lam and T.-w. Kuo, eds.), Kluwer Academics, 2000.
- A. Pandikow, E. Herzog, and A. Törne,
Integrating Systems and Software Engineering Concepts in AP-233, in
Proceedings of the 10th Annual International Symposium of the
International Council on Systems Engineering (E. Arnold, K. Blanshan, L.
Brezinski, J. Jakoubek, C. Jones, P. Kar, C. Kowalski, K. Rawlinson, D.
Walden, and S. Wolf, eds.), vol. 1, pp. 831--837, INCOSE, June 2000.
Available as
PDF.
- J. Johnson, E. Herzog, S. Barbeau, and M. Giblin,
The Maturing Systems Engineering Data Exchange Standard and Your Role,
in Proceedings of the 10th Annual International Symposium of the
International Council on Systems Engineering, pp. 823 -- 830, 2000.
- E. Herzog and J. Johnson, AP-233, the Systems
Engineering STEP-based Data Exhcange Standard, Technical Tutorial
documentation INCOSE 2000 H09, INCOSE, 2000.
- K. Heimannsfeld, E. Herzog, C. Dusing, and J.
Johnson, Beyond Tool Exchanges - The current Status and Future
Implications of the Emerging ISO Standard AP-233 for the exchange of System
Engineering Data, in To appear in the Proceeding the 2nd European
Conference on Systems Engineering, Sept. 2000.
- E. Herzog and A. Törne, Support for Exchange
of Functional Behaviour Specifications in AP-233, in Proceedings 7th
IEEE International Conference and Workshop on the Engineering of
Computer-Based Systems, pp. 351 -- 358, 2000.
- E. Herzog and A. Törne, AP-233
Architecture, in Proceedings of the 10th Annual International
Symposium of the International Council on Systems Engineering, pp. 815 --
822, INCOSE, 2000.
- T. Reed, N. E. Reed, and P. Fritzson, Model based
heart sound analysis for the detection of diagnostically relevant
symptoms, in Proceedings of the 41st SIMS simulation Conference (SIMS
2000), pp. 73--86, Technical University of Denmark, 2000.
- P. Scerri and N. E. Reed, Engineering
Characteristics of Autonomous Agent Architectures, Journal of
Experimental and Theoretical Artificial Intelligence, vol. 12, pp.
191--212, April 2000.
Available as
.
- P. Scerri and N. E. Reed, Creating Complex Actors
with EASE, in Fourth International Conference on Autonomous Agents
(Agents 2000) (C. Sierra, M. Gini, and J. S. Rosenschein, eds.), pp.
142--143, ACM Press, June 2000.
Available as
PDF.
- P. Scerri and N. E. Reed, Real-time Control of
Intelligent Agents, in Technical Summaries of the Software
Demonstration Sessions, Fourth International Conference on Autonomous Agents
(Agents 2000) (J. Puyol-Gruart, ed.), pp. 28--29, June 2000.
Available as
PDF.
- P. Scerri, J. Ydrén, and N. E. Reed, Layered
Specification of Intelligent Agents, in Sixth Pacific Rim
International Conference on Artificial Intelligence (PRICAI 2000), pp.
565--575, Aug. 2000.
Available as
PDF.
- P. Scerri and N. E. Reed, On-line Control of Actors
using EASE: Implementing Adjustable Autonomy Using Teams, in Workshop
on Teams with Adjustable Autonomy, Sixth Pacific Rim International Conference
on Artificial Intelligence (PRICAI 2000) (N. E. Reed, ed.), pp. 25--34,
Aug. 2000.
- S. Son, B. Zimmerman, and J. Hansson, An Adaptable
Security Manager for Real-Time Transactions, in Proceedings of the
12th EuroMicro Conference on Real-Time Systems (ECRTS'00), IEEE Computer
Press, 2000.
- J. Stankovic, S. Son, and J. Hansson,
Misconceptions about Real-Time Databases, in Real-Time Database
Systems: Issues and Design (K.-y. Lam and T.-w. Kuo, eds.), Kluwer
Academics, 2000.
1999
- O. Åkerlund, S. Nadjm-Tehrani, and G.
Stålmarck, Integration of Formal Methods into System Safety and
Reliability Analysis, in proceedings of 17th International Systems
Safety Conference, ISSC'99, (Orlondo, USA), pp. 326--336, August
1999.
Available as
PDF.
- C. Foglietta, Assured Selection - A Relaxed
Concurrency Control Mechanism, Master's thesis, Linköping University,
Dec. 1999.
LiTH-IDA-Ex-99/100.
Available as
gzipped postscript and
PDF.
- E. Herzog and A. Törne, A Seed for a STEP
Application Protocol for Systems Engineering, in Proceedings 12th
International Conference and Workshop on the Engineering of Computer Based
Systems, pp. 174--180, IEEE Press, Mar. 1999.
- E. Herzog and A. Törne, Towards a Standardised
Systems Engineering Information model, in Proceedings of the 9th
Annual International Symposium of the International Council on Systems
Engineering (A. Fairbairn, ed.), vol. 2, pp. 909--916, INCOSE, June
1999.
- E. Falkenroth, Real-Time Database System for
Meteorological, Hydrological, and Oceanographic Data, in Proceedings
of the 7th European Workshop on Meteorological Operational Systems,
ECMWF, European Center for Medium-Range Forecasts, November 1999.
- E. Falkenroth and A. Törne, How to Construct
Predictable Rule Sets, in Advance Proceedings of the Joint 24th
IFAC/IFIP Workshop on Real Time Programming and 3rd International Workshop on
Active and Real-Time Database Systems, pp. 33--40, June 1999.
- J. Hansson, S. F. Andler, and S. H. Son,
Value-Driven Multi-Class Overload Management, in Proceedings of the
6th Conference on Real-Time Computing Systems and Applications
(RTCSA'99), IEEE Computer Press, 1999.
- J. Hansson, Value-Driven Multi-Class Overload
Management in Real-Time Database Systems.
PhD thesis, Department of Computer Science, Linköping University,
1999.
- L. Besnard, P. Bournai, T. Gautier, N. Halbwachs, S.
Nadjm-Tehrani, and A. Ressouche, Design of a Multi-formalism Application
and Distribution in a Data-flow Context: An Example, in Proceedings of
the 12th international Symposium on Languages for Intentional programming,
Athens, June 1999, pp. 8--30, World Scientific, June 1999.
- L. Man, J. Malec, and S. Nadjm-Tehrani, On Semantics and
Correctness of Reactive Rule-based Systems, in proceedings of Andrei
Ershov Third international Conference, Perspectives of System Informatics,
PSI'99, LNCS 1755, pp. 235--246, Springer Verlag, 2000.
Available as
PDF.
- P. Scerri, S. Coradeschi, and A. Törne, A User
Oriented System for Developing Behavior Based Agents, in RoboCup-98 :
Robot Soccer World Cup II, vol. 1604 of Lecture Notes in Artificial
Intelligence, pp. 173--186, Springer Verlag, 1999.
- N. E. Reed and P. Scerri, Adjustable Autonomy in
Simulated Pilots, in International Joint Conference on Artificial
Intelligence, Adjustable Autonomy Systems Workshop, pp. 56--59, Aug.
1999.
Available as
PDF.
- S. Nadjm-Tehrani, Integration of Analog and Discrete
Synchronous Design, in Hybrid Systems: Computation and Control,
Proceedings of the second international workshop, March 1999, LNCS 1569,
pp. 193--208, Springer Verlag, March 1999.
- S. Nadjm-Tehrani, Time-Deterministic Hybrid Transition
Systems, in Hybrid Systems V, Proceedings of the fifth international
workshop on hybrid systems, LNCS 1567, pp. 238--250, Springer Verlag,
1999.
Available as
PDF.
- S. Nadjm-Tehrani and J.-E. Strömberg,
Verification of Dynamic Properties in an Aerospace application,
Formal Methods in System Design, vol. 14, pp. 135--169, March
1999.
- S. Nadjm-Tehrani and O. Åkerlund, Combining
Theorem Proving and Continuous Models in Synchronous Design, in
Proceedings of the World Congress on Formal Methods, Volume II, LNCS
1709, pp. 1384--1399, Springer Verlag, September 1999.
- P. Scerri, N. E. Reed, and A. Törne, An Approach
to Directing Intelligent Agents in Real-time, in Proceedings of the
AAAI Spring Symposium on Agents with Adjustable Autonomy, (Stanford
University), pp. 114--115, American Association for Artificial Intelligence,
Mar. 1999.
- P. Scerri and N. E. Reed, Adapting an Agent to a
Similar Environment, in Third International Conference on Autonomous
Agents (Agents 99), pp. 420--421, ACM Press, May 1999.
- P. Scerri and N. E. Reed, Requirements for a General
Agent Architecture for Agent-Based Simulation Environments, in
Autonomous Agents 99 Autonomy Control Software Workshop, pp. 102--108,
May 1999.
- P. Scerri and J. Ydrén, End User Specification
of RoboCup Teams, in Workshop on Robocup, Sixteenth International
Joint Conference on Artificial Intelligence, pp. 187--192, August
1999.
- J. Ydrén and P. Scerri, RoboCup '99 Team
Descriptions, Simulation League, Team Headless Chickens, in
Linköping University, Electronic Press, vol. 7, pp. 45--48,
October 1999.
Available as
postscript.
- P. Scerri and N. Reed, The EASE Actor Development
Environment, Technical Report TACSIM-99-01, Computer and Information
Science Department, Linköping University, October 1999.
Available as
PDF.
- J. Stankovic, S. Son, and J. Hansson,
Misconceptions About Real-Time Database Systems, IEEE Computer,
vol. 32, pp. 29--36, June 1999.
- P. Scerri and J. Ydrén, End User Specification for
Simulation of Teams of Soccer Playing Robots, in Proceedings of
{SIMS'99} : 1999 Conference of the Scandinavian Simulation Society,
(Linköping, Sweden), pp. 168--173, 1999.
1998
- V. Ciesielski and P. Scerri, Real time genetic
scheduling of aircraft landing times, in The IEEE International
Conference on Evolutionary Computation (ICEC98), (Anchorage), May
1998.
- E. Herzog and A. Törne, Using STEP to Integrate
Systems Engineering Design Tools - Experiences from the SEDRES Project,
in Proceedings Produktmodeller-98, pp. 479--492, Nov. 1998.
- T. Heyer, COMPASS: Introduction of Formal Methods in
Code Development and Inspection, Apr. 1998.
Lic Thesis No 695.
Available as
gzipped postscript and
hypertext abstract.
- U. Nilsson, S. Streiffert, and A. Törne,
Detailed Design of Avionics Control Software, in Proc of 19th IEEE
Real-Time Systems Symposium, (Madrid), Dec. 1998.
Available as
gzipped postscript and
hypertext abstract.
- N. E. Reed, Constructing the Correct Diagnosis When
Symptoms Disappear, in Proceedings of the Fifteenth National
Conference on Artificial Intelligence (AAAI-98), (Madison, WI), pp.
151--156, July 1998.
Available as
PDF.
- P. Scerri, S. Coradeschi, and A. Törne, A User
Oriented System for Developing Behavior Based Agents, in Proceedings
of RoboCup'98, (Paris), 1998.
- J. Westendorp, P. Scerri, and L. Cavedon,
Strategic behavior-based reasoning with dynamic partial information,
in Proceedings of Australian Conference on AI (AI'98), (Brisbane,
Australia), 1998.
- J. Hansson, S. Son, J. Stankovic, and S. Andler,
Dynamic Transaction Scheduling and Reallocation in Overloaded Real-Time
Database Systems, in Proceedings of the 5th Conference on Real-Time
Computing Systems and Applications (RTCSA'98), pp. 293--302, IEEE
Computer Press, 1998.
- S. Andler, J. Hansson, J. Eriksson, J. Mellin, and B.
Eftring, Overview of the {DeeDS} Architecture, in Proceedings of
the Workshop on Parallel and Distributed Real-Time Systems (WPDRTS'98),
1998.
- S. F. Andler and J. Hansson, eds., Proceedings of the
Second International International Workshop on Active, Real-Time, and
Temporal Databases (ARTDB-97), no. 1553 in Lecture Notes Series (LNCS),
Springer-Verlag, December 1998.
- N. W. Paton, Active Database Systems.
Springer-Verlag, New York, 1998.
ISBN 0-387-98529-8.
- J. Hansson and M. Berndtsson, Active Real-Time
Database Systems, ch. 18.
Springer-Verlag, New York, 1998.
ISBN 0-387-98529-8.
1997
- S. Bonnier and T. Heyer, COMPASS: A Comprehensible
Assertion Method, in TAPSOFT '97: Theory and Practice of Software
Development, Lecture Notes in Computer Science, pp. 803--817,
Springer-Verlag, 1997.
- S. Coradeschi, A Decision-Mechanism for Reactive
and Coordinated Agents, May 1997.
Lic Thesis No 615.
Available as
gzipped postscript and
hypertext abstract.
- J. Diederich, Modelling a production cell using
the CAMOS language for manufacturing control, Master's thesis,
Linköping University, June 1997.
LiTH-IDA-Ex-97/46.
Available as
gzipped postscript and
hypertext abstract.
- A. Ekman, A. Törne, and D. Strömberg,
Exploration of Polygonal Environments using Range Data, IEEE
Transactions on Systems, Man and Cybernetics - Part B: Cybernetics, vol.
27, pp. 250 -- 255, Apr. 1997.
- J. P. Meynard, Study of Network Performance
Analysis Tools in Simulations including Real-Time Constraints, Master's
thesis, Linköping University, June 1997.
LiTH-IDA-Ex-ing-97/43.
Available as
gzipped postscript and
hypertext abstract.
- R. Stechert, SiRTiS - A Simulator for the
Evaluation of Real-Time Scheduling Algorithms, Master's thesis,
Linköping University, Apr. 1997.
LiTH-IDA-Ex-ing-97/30.
Available as
gzipped postscript and
hypertext abstract.
- S. Nadjm-Tehrani, Towards Real-Time Systems
Education with PBL, in Proc. 2nd Int. Workshop on Real-Time Systems
Education, pp. 39--48, IEEE Computer Society Press, 1997.
- J.-E. Strömberg and S. Nadjm-Tehrani, Hybrid
Systems Verification Combining Duration Calculus and Bond Graphs, in
the invited session on Hybrid Dynamic Systems, Proc. IFAC-IFIP-IMACS
Conference on Control of Industrial Systems, pp. 481--486, IFAC,
1997.
- L. Man, J. Malec, and S. Nadjm-Tehrani, On Semantics of
Reactive Rule-based Systems -- extended abstract, in Advances in
Computing Science -- ASIAN'97, LNCS 1345, pp. 379--380, Springer Verlag,
December 1997.
- A. Bestavros, K.-J. Lin, and S. H. Son, eds.,
Real-Time Database Systems - Issues and Applications.
The Kluwer International Series in Engineering and Computer Science, Kluwer
Academic Publishers, Boston, 1997.
ISBN 0-7923-9897-1.
- A. Bestavros and V.-F. Wolfe, eds., Real-Time Database
Systems - Research Advances.
The Kluwer International Series in Engineering and Computer Science, Kluwer
Academic Publishers, Boston, 1997.
ISBN 0-7923-8011-8.
- J. Mellin, J. Hansson, and S. F. Andler, Refining
Timing Constraints of Applications in DeeDS, The Kluwer International
Series in Engineering and Computer Science, ch. 18, pp. 325--343, Kluwer
Academic Publishers, Boston, 1997.
ISBN 0-7923-9897-1.
- J. Mellin, J. Hansson, and S. F. Andler, Refining
Design Constraints using a System Service Model of a Real-Time DBMS, The
Kluwer International Series in Engineering and Computer Science, pp. 84--91,
Kluwer Academic Publishers, Boston, 1997.
ISBN 0-7923-9897-1.
1996
- S. Coradeschi, Reasoning with Misperception in
the Features and Fluents Framework, in ECAI96, The 12th European
Conference on Artificial Intelligence, (Budapest, Hungary), Aug.
1996.
Available as
gzipped postscript and
hypertext abstract.
- S. Coradeschi, L. Karlsson, and A. Törne,
Intelligent Agents for Aircraft Combat Simulation, in Proc. of the
6th Conference on Computer Generated Forces and Behavioral
Representation, (Orlando, Florida USA), 1996.
Available as
gzipped postscript and
gzipped postscript abstract.
- S. Coradeschi and L. Karlsson, A
Decision-Mechanism for Reactive and Cooperating Soccer-Playing Agents, in
"RoboCup Workshop: Soccer as a problem for Multi-Agent Systems" in the
Second International Conference on Multi-Agent Systems (ICMAS-96).,
(Kyoto, Japan), 1996.
Available as
gzipped postscript and
hypertext abstract.
- A. Ekman, Exploration of Polygonal Environments,
June 1996.
Linköping Studies in Science and Technology, Licentiate Thesis no 561,
Linköping University, Sweden.
- P. Facchini, A Statistical Method for Real-Time
Software Performance Estimation, Tech. Rep. LiTH-IDA-R-96-22, Department
of Computer and Information Science, Linköping University, Sweden, July
1996.
Available as
gzipped postscript and
hypertext abstract.
- E. Falkenroth, Computational Indexes for Time
Series, in 8th Intl Conf on Scientific and Statistical Database
Management, (Stockholm, Sweden), June 1996.
Available as
gzipped postscript and
hypertext abstract.
- E. Falkenroth, Data Management in Control
Applications - A Proposal Based on Active Database Systems, Dec.
Linköping Studies in Science and Technology, Licentiate Thesis no 589,
Linköping University, Sweden.
Available as
postscript and
hypertext abstract.
- C. Krysander and A. Törne, Systems
Engineering Education at Linköping University, in Proceedings of
Workshop on Real-Time Systems Education (J. Zalewski, ed.), pp. 137--141,
IEEE Computer Society Press, Apr. 1996.
- P. Loborg and A. Törne, Towards Error Recovery
in Sequential Control Applications, in 6th int. Symposium on Robotics
in Manufacturing (ISRAM96), May 1996.
Available as
gzipped postscript and
hypertext abstract.
- A. Törne, E. Falkenroth, and P. Loborg, Databases
in Control and Simulation, Mar. 1996.
Newport Beach, CA, USA, March 1996.
Available as
gzipped postscript and
hypertext abstract.
- A. Törne, Complexity in Software Design, vol.
96:5, ch. 7, pp. 109--130.
Stockholm: FRN, Sweden, Jan. 1996.
Available as
gzipped postscript and
hypertext abstract.
- J.-E. Strömberg, S. Nadjm-Tehrani, and J.
Top, Switched Bond Graphs as Front-end to Formal Verification of Hybrid
Systems, in Proc. of the DIMACS International Workshop on Verification
and Control of Hybrid Systems, pp. 282--293, Springer Verlag, 1996.
- M. Westhead and S. Nadjm-Tehrani, Verification of
Embedded Systems using Synchronous Observers, in Proceedings of the
4th International Conference on Formal Techniques in Real-time and
Fault-tolerant Systems, LNCS 1135, pp. 405--419, Springer Verlag,
September 1996.
- S. Nadjm-Tehrani and J.-E. Strömberg, JAS-95
Lite: Modelling and Formal Analysis of Dynamic Properties, Tech. Rep.
LITH-IDA-R-96-41, Dept. of Computer and Information Science, Linköping
University, December 1996.
Currently appears on {\tt
http://www.ida.liu.se/\verb+ +snt/activities.html}.
- M. Lin, J. Malec, and S. Nadjm-Tehrani, On
Semantics of Reactive Rule-based Systems, Tech. Rep. LiTH-IDA-R-96-35,
Dept. of Computer and Information Science, Link ping university, November
1996.
- M. Berndtsson and J. Hansson, Active and
Real-Time Database Systems (ARTDB-95) (workshop report), SIGMOD
Record, vol. 25, March 1996.
- S. Andler, J. Hansson, J. Eriksson, J. Mellin, M.
Berndtsson, and B. Eftring, DeeDS Towards a Distributed and Active
Real-Time Database System, SIGMOD Record, vol. 25, pp. 38--40,
March 1996.
- Information Systems Journal: Special Issue of
Real-Time Data-Base Systems, 1996.
21:1.
1995
- S. Coradeschi, Reasoning with Unreliable
Observations in the Features and Fluent Approach, Tech. Rep.
LiTH-IDA-R-95-44, Department of Computer and Information Science,
Linköping University, Sweden, 1995.
Available as
gzipped postscript and
hypertext abstract.
- E. Falkenroth, A. Törne, and T. Risch, Using
an Embedded Active Database in a Control System Architecture, in 2nd
Intl Conf on Applications of Databases, (San Jose, CA, USA), Dec. 1995.
Also available as tech report.
Available as
gzipped postscript and
hypertext abstract.
- P. Loborg and A. Törne, A Layered Architecture
for Real Time Applications, in 7th Euromicro Workshop on Real Time
Systems, (Odense, Denmark), June 1995.
Available as
gzipped postscript and
hypertext abstract.
- L. Padgham, P. Lambrix, and S. Kalmelid,
Integrating a Description Logic System and an Object-Centered Database
System, in Proceedings of the International KRUSE Symposium -
Knowledge Retrieval, Use and Storage for Efficiency (G. Ellis, R. A.
Levinson, A. Fall, and V. Dahl, eds.), (Santa Cruz, California, USA), pp.
40--48, Aug. 1995.
- M. Sköld, E. Falkenroth, and T. Risch, Rule
Contexts in Active Databases, in Proc. RIDS'95, 1995.
Available as
gzipped postscript and
hypertext abstract.
- S. Nadjm-Tehrani, Reactive Systems in Physical
Environments, in Hybrid Problems, Hybrid Solutions -- proc. of the
10th. Biennial Conference on AI and Cognitive Science, pp. 169--180, IOS
Press, April 1995.
- J. Malec, M. Morin, and S. Nadjm-Tehrani, A Layered
Software Architecture for Design and Analysis of Embedded Systems, in
Proc. of the International Symposium and Workshop on Systems Engineering
of Computer-based Systems, pp. 169--176, IEEE, March 1995.
- S. Nadjm-Tehrani and J.-E. Strömberg, Modelling
and Formal Analysis of an Aircraft Landing Gear System, in Proc. of
the 2nd. European workshop on Real-time and Hybrid Systems, pp. 239--246,
VERIMAG Laboratory, Grenoble, May 1995.
- S. Nadjm-Tehrani and J.-E. Strömberg, Proving
Dynamic Properties in an Aerospace Application, in Proc. of the 16th
International Symposium on Real-time Systems, pp. 2--10, IEEE Computer
Society Press, December 1995.
- M. Westhead and S. Nadjm-Tehrani, A Study of
Decompositional Verification of Hybrid Systems, Tech. Rep.
LITH-IDA-R-95-30, Dept. of Computer and Information Science, Linköping
University, September 1995.
- M. Berndtsson and J. Hansson, eds., Proceedings of
the First International Workshop on Active and Real-Time Databases
(ARTDB-95), Workshops in Computing, Springer-Verlag, June 1995.
ISBN 3-540-19983-7.
- M. Berndtsson and J. Hansson, Issues in Active
Real-Time Databases, Workshops in Computing, pp. 142--157,
Springer-Verlag, June 1995.
ISBN 3-540-19983-7.
1994
- A. Ekman, A. Törne, and D. Strömberg, A Robot
Control Formalism Based on an Information Quality Concept, in
AIAA/NASA Conference on Intelligent Robots for Factory, Field, Service and
Space, Mar. 1994.
- A. Ekman, D. Strömberg, and A. Törne,
Exploration of Polygon Environments using Range Data, IEEE
Transactions on Systems, Man and Cybernetics, 1994.
Accepted for publication.
- P. Loborg, Error Recovery Support in Manufacturing
Systems, June 1994.
Linköping Studies in Science and Technology, Licentiate Thesis no 440,
Linköping University, Sweden.
- P. Loborg, Error Recovery - An Overview, in
AAAI 94 Spring Symposium on Detecting and Resolving Errors in
Manufacturing Systems, (Stanford, Ca, USA.), Mar. 1994.
Available as
gzipped postscript and
hypertext abstract.
- P. Loborg, P. Holmbom, M. Sköld, and A. Törne,
A Model for the Execution of Task Level Specifications for Intelligent and
Flexible Manufacturing Systems, Integrated Computer-Aided
Engineering, vol. 1, no. 3, pp. 185--194, 1994.
Reprint of paper from ISAI92.
Available as
gzipped postscript and
hypertext abstract.
- P. Loborg and A. Törne, Manufacturing Control
System Principles Supporting Error Recovery, in AAAI 94 Spring
Symposium on Detecting and Resolving Errors in Manufacturing Systems,
(Stanford, Ca, USA), Mar. 1994.
Available as
gzipped postscript and
hypertext abstract.
- Z. Peng and A. Törne, Timing Analysis and
Conditional Scheduling in a Real-Time System Design Environment, in
6th Euromicro Workshop on Real Time Systems, (Västerås,
Sweden), June 1994.
Available as
gzipped postscript and
hypertext abstract.
- S. Nadjm-Tehrani, Reactive Systems in Physical
Environments: Compositional Modelling and Framework for Verification.
Phd, Dept. of Computer and Information Science, Linköping University,
March.
Dissertation No. 338.
- J. Strömberg and S. Nadjm-Tehrani, On
Discrete and Hybrid Representation of Hybrid Systems, in Proceedings
of the SCS International Conference on Modeling and Simulation (ESM '94),
(Barcelona), pp. 1085--1089, June 1994.
- S. Nadjm-Tehrani and J.-E. Strömberg, From
Physical modelling to Compositional models of Hybrid Systems, in Proc.
of the 3rd. International Conference on Formal Techniques in Real-time and
Fault-tolerant Systems, LNCS 863, pp. 583--604, Springer Verlag,
1994.
- S. Nadjm-Tehrani, Verification of a Landing Gear: a
Case Study, Tech. Rep. IDA-RKL-94-TR13, Dept. of Computer and Information
Science, Linköping University, December 1994.
- R. Germundsson, J. Gunnarsson, A. Jansson, P. Krus, M.
Morin, S. Nadjm-Tehrani, J. Plantin, M. Sethson, and J.-E. Strömberg,
Complex Hybrid Systems I, A Study of Available tools and Specification of
Planned Work, Tech. Rep. LITH-IDA-R-94-29, Dept. of Computer and
Information Science, Linköping University, September 1994.
1993
- A. Ekman, D. Strömberg, and P. Klöör,
Incremental map-making in indoor environments, in IFAC workshop on
Intelligent Autonomous Vehicles, (Southampton, UK), Apr. 1993.
- A. Ekman, D. Strömberg, and A. Laubert, PSA - A
Recursive Polyline Segmentation algorithm using Eigenvector fit
criterion, in Proc. SSAB symposium image analysis, (Gothenburg,
Sweden), 1993.
- P. Loborg, T. Risch, M. Sköld, and A. Törne,
Active Object Oriented Databases in Control Applications, in 19th
Euromicro Conference, vol. 38, Number 1-5 of Microprocessing and
Microprogramming, (Barcelona, Spain), pp. 255--264, Sept. 1993.
Also available as Technical Report LiTH-IDA-R-93-28, Linköping University,
Sweden.
Available as
gzipped postscript and
hypertext abstract.
- Z. Peng and A. Törne, A Petri Net Based Modelling
and Synthesis Technique for Real-Time Systems, in 5th Euromicro
Workshop on Real Time Systems, (Oulu, Finland), June 1993.
Also available as Technical Report LiTH-IDA-R-93-11, Linköping University,
Sweden.
Available as
gzipped postscript and
hypertext abstract.
- Z. Peng and A. Törne, A Synthesis Approach to
Real-Time System Design, in 2nd Swedish National Conference on
Real-Time Systems, (Stockholm, Sweden), 1993.
- S. Nadjm-Tehrani and J. E. Strömberg, Modeling
and Verification of Hybrid Systems: a Case Study, in Proc. 4th Int.
Conf. on AI, Simulation and Planning in High-Autonomy Systems, pp.
211--217, IEEE Computer Society Press, 1993.
1992
- P. Loborg, P. Holmbom, M. Sköld, and A. Törne,
Programming Flexible Manufacturing Systems, in Proceedings of
Workshop on Adaptive Manufacturing Equipments, (NUTEK, Stockholm,
Sweden), Oct. 1992.
NUTEK 1992:53. Also available as CAELAB-Memo-92-02, Department of Computer and
Information Science, Linköping University, Sweden.
- P. Loborg, P. Holmbom, M. Sköld, and A. Törne,
A Model for the Execution of Task Level Specifications for Intelligent and
Flexible Manufacturing Systems, in Proceedings of the Vth
International Symposium on Artificial Intelligence, ISAI92, (Cancun,
Mexico), Dec. 1992.
Also available as LiTH-IDA-R-92-22, Department of Computer and Information
Science, Linköping University, Sweden.
- M. Morin, S. Nadjm-Tehrani, P. Österling, and E.
Sandewall, Real-Time Hierarchical Control, IEEE Software,
vol. 9, pp. 51--57, September 1992.
- S. Nadjm-Tehrani and P. Österling, Characterization
of Environment Conditions with Metric Temporal Feature Logic,
in Proc. 3rd. International Conference on AI, Simulation and Planning in
High-Autonomy Systems, pp. 267--274, IEEE Computer Society Press, July
1992.
Available also as LAIC-IDA-92-TR19.
1991
- P. Loborg and A. Törne, A Hybrid Language for
the Control of Multimachine Environments, in 4th Conference on
Industrial and Engineering Applications of Artificial Intelligence and Expert
systems (IEA/AIE-91), (Hawaii, USA), June 1991.
Also available as Technical Report LiTH-IDA-R-91-09, Linköping University,
Sweden.
- P. Loborg, M. Sköld, and A. Törne, A
Hierarchical Software Architecture for Control of Industrial Robots and
Manufacturing Equipment, in 1st National Symposium on Real-Time
Systems, (Department of Computer Systems, Uppsala University, Sweden),
pp. 30--38, June 1991.
Also available as CAELAB-Memo-92-01, Department of Computer and Information
Science, Linköping University, Sweden.
- S. Nadjm-Tehrani and P. Österling, From Sensor data
to Road Condition Characterizations, in Proc.\ of the fifth Prometheus
Workshop, (Munich), October 1991.
- J. Malec, R. Farahani, M. Morin, S. Nadjm-Tehrani, P.
Österling, and E. Sandewall, An Integrated Software Environment
for Development of Driver Support Systems, in Proceedings of
ProArt Workshop on Intelligent Co-pilot, (Grenoble), December
1991.
Also as Technical Report LAIC-IDA-91-TR15.
- S. Nadjm-Tehrani and P. Österling, Characterization
of Environment Conditions as a Basis for Providing Driver
Support, in Proceedings of ProArt Workshop on Intelligent
Co-pilot, 1991.
Also as Technical Report LAIC-IDA-91-TR14.
- S. Nadjm-Tehrani, Analysis of the Overtaking
Scenario: Specification of an Autonomous Car and a Driver Support System,
Tech. Rep. LiTH-IDA-R-91-07, Dept. of Computer and Information Science,
Linköping University, 1991.
1990
- A. Törne, The Instruction and Control of
Multi-Machine Environments, Applications of Artificial Intelligence in
Engineering V, vol. 2, pp. 137--152, 1990.
Also in Proceedings of the 5th International Conference on Applications of
Artificial Intelligence in Engineering, vol. 2, Springer Verlag. Also
available as Technical Report LiTH-IDA-R-90-07, Linköping University,
Sweden.
- S. Nadjm-Tehrani, Debugging Prolog Programs
Declaratively, in Proc. Second Workshop on Meta-programming in
Logic, pp. 137--155, 1990.
1989
- A. Törne, Computer Assistance in Automation,
Report IDA/CENIIT LiTH-IDA-R-89-51, Department of Computer and Information
Science, Linköping University, Sweden, 1989.
- A. Törne, Planning for Assembly Tasks, in
FAMOS-seminar on "AI technology as a tool in automatic assembly",
(STU, Stockholm, Sweden), 1989.
STU-info 720-1989.
1988
- W. Drabent, S. Nadjm-Tehrani, and J. M. uszy\'nski, The
Use of Assertions in Algorithmic Debugging, in Proc. Fifth Generation
Computer Systems Conference, pp. 573--581, ICOT, November 1988.
- W. Drabent, S. Nadjm-Tehrani, and J. M. uszy\'nski,
Algorithmic Debugging with Assertions, in Meta-programming in Logic
Programming, pp. 501--521, MIT Press, 1989.
Available as
PDF.