@misc{x1997-001, author="Silvia Coradeschi and Lars Karlsson", title="", howpublished="NIL"} @misc{x1997-002, author="Thierry Vidal and H\'{e}l\`{e}ne Fargier", title="", howpublished="NIL"} @misc{x1997-003, author="Erik Sandewall", title="", howpublished="NIL"} @misc{x1997-004, author="Thomas Drakengren", title="", howpublished="NIL"} @misc{x1997-005, author="Stefan Holmlid", title="", howpublished="NIL"} @misc{x1997-006, author="Thomas Drakengren and Peter Jonsson", title="", howpublished="NIL"} @misc{x1997-007, author="Henrik André-Jönsson and Dushan Badal", title="", howpublished="NIL"} @misc{x1997-008, author="Peter Jonsson and Thomas Drakengren", title="", howpublished="NIL"} @misc{x1997-009, author="Kevin Ryan and Joachim Karlsson", title="", howpublished="NIL"} @misc{x1997-010, author="Joachim Karlsson and Kevin Ryan", title="", howpublished="NIL"} @misc{x1997-011, author="Joachim Karlsson", title="", howpublished="NIL"} @misc{x1997-012, author="Joachim Karlsson and S Olsson and Kevin Ryan", title="", howpublished="NIL"} @misc{x1997-013, author="Per-Olof Fj\"{a}llstr\"{o}m", title="", howpublished="NIL"} @misc{x1997-014, author="Staffan Bonnier and Tim Heyer", title="", howpublished="NIL"} @misc{x1997-015, author="Alexei Boulatov", title="", howpublished="NIL"} @misc{x1997-016, author="Peter Jonsson", title="", howpublished="NIL"} @misc{x1997-017, author="Jörgen Andersson", title="", howpublished="NIL"} @misc{x1997-018, author="Gunilla Ivefors", title="", howpublished="NIL"} @misc{x1997-019, author="Lars Karlsson", title="", howpublished="NIL"} @misc{x1997-020, author="Thomas Drakengren and Marcus Bjäreland", title="", howpublished="NIL"} @misc{x1997-021, author="Tianruo Yang and Zebo Peng", title="", howpublished="NIL"} @misc{x1997-022, author="Marcus Bjäreland and Lars Karlsson", title="", howpublished="NIL"} @misc{x1997-023, author="Simin Nadjm-Tehrani", title="Time-Deterministic Hybrid Transition Systems.", howpublished="Accepted to the Fifth International Hybrid Systems Workshop (HSV)."} @misc{x1997-024, author="Tianruo Yang and Zebo Peng", title="Integrated Scheduling and Allocation in High-Level Test Synthesis.", howpublished="Accepted to the IEEE European Test Workshop 1997, to be haled in Cagliari, Ital y, 1997."} @misc{x1997-025, author="Per-Olof Fj\"{a}llstr\"{o}m", title="Parallel Algorithms for Batched Range Searching on Coarse-Grained Multicomputers.", howpublished="Published in the Proceedings of the 11th Annual International Symposium on High Performance Computing Systems, pp. 167-178, 1997."} @misc{x1997-026, author="Man Lin and Jacek Malec", title="Timing Analysis of RL Programs.", howpublished="Accepted to the 22nd IFAC/IFIP Workshop on Real Time Programming WRTP'97 to be held in Lyon, France, September, 1997."} @misc{x1997-027, author="Per-Olof Fj\"{a}llstr\"{o}m", title="Batched Range Searching on a Mesh-Connected SIMD Computer''.", howpublished="Accepted for presentation at the Ninth International Conference on Parallel and Distributed Computing and Systems (PDCS'97), pp. 65-68, 1997."} @misc{x1997-028, author="Krzysztof Kuchcinski", title="Embedded System Synthesis by Timing Constraints Solving.", howpublished="Proceedings of the 10th International Symposium on System Synthesis, Antwerp, Belgium, September 17-19, 1997."} @misc{x1997-029, author="Silvia Coradeschi and Lars Karlsson", title="A Behavior-Based Decision-Mechanism for Agents coordinating using Roles: a Prel iminary Report.", howpublished="Accepted at the Fourth International Workshop on Agent Theories, Architectures, and Languages (ATAL), in Providence, Rhode Island, USA, July 24-26, 1997."} @misc{x1997-030, author="Simin Nadjm-Tehrani and Jan-Erik Strömberg", title="Formal Verification of Dynamic Properties in an Aerospace Application.", howpublished="Accepted in Journal of Formal Methods in Systems Design"} @misc{x1997-031, author="Patrick Lambrix", title="Some Notes on Parts, Whole and Time", howpublished="Proceedings of the Tenth International Symposium on Methodologies for Intelligent Systems - Poster Session - ISMIS 97, pp. 85-96, Charlotte, North Carolina, USA, 1997."} @misc{x1997-032, author="Patrick Lambrix and Lin Padgham", title="A Description Logic Model for Querying Knowledge Bases for Structured Document", howpublished="Proceedings of the Tenth International Symposium on Methodologies for Intelligent Systems - ISMIS 97, pp. 72-83, Charlotte, North Carolina, USA, 1997."} @misc{x1997-033, author="Patrick Lambrix and Nahid Shahmehri and Niclas Wahllöf", title="A Default Extension to Description Logics for Use in an Intelligent Search Engine", howpublished="Proceedings of the Tenth International Symposium on Methodologies for Intelligent Systems (ISMIS-97), "Charlotte, North Carolina, USA, 1997. Extended abstract in poster session, pp. 97-104. Also, Proceedings of the 31st Hawaii International Conference on System Sciences - Modeling Technologies and Intelligent Systems Track, pp. 28-35, Hawaii, 1998"} @misc{x1997-034, author="Patrick Lambrix and Nahid Shahmehri and Johan Åberg", title="Towards Creating a Knowledge Base for World-Wide Web Documents", howpublished="Proceedings of the IASTED International Conference on Intelligent Information Systems, pp. 507-511, Freeport, Bahamas, 1997."} @misc{x1997-035, author="Ling Li and Tore Risch", title="Using a Sequential Index in Terrain-Aided Navigation.", howpublished="Accepted to the 6th International Conference on Information and Knowledge Management (CIKM'97, ACM), held in Las Vegas, Nevada, USA, November 10-14, 1997."} @misc{x1997-036, author="Dimiter Driankov and Jacek Malec", title="On the stability of behaviour-based systems.", howpublished="Accepted to the 3rd IFAC Symposium on Intelligent Autonomous Vehicles, to be held in Madrid in March, 1998."} @misc{x1997-037, author="Thomas Padron-McCarthy and Tore Risch", title="Optimizing Performance-Polymorphic Declarative Database Queries.", howpublished="In Second International Workshop on Real-Time Databases (RTDB'97), Burlington, Vermont, USA, September 18-19, 1997."} @misc{x1997-038, author="Erik Stoy and Zebo Peng", title="Re-Partitioning for Hardware/Software Co-Synthesis.", howpublished="Accepted for the 23rd EUROMICRO Conference (short contributions) in Budapest, S ept. 1-4, 1997."} @misc{x1997-039, author="Jan Håkegård and Zebo Peng", title="Design and Synthesis of Generic Board-Level Test Controller.", howpublished="Accepted for the 23rd EUROMICRO Conference (short contributions) in Budapest. S ept. 1-4, 1997."} @misc{x1997-040, author="Piotr Brudlo and Krzysztof Kuchcinski", title="Parallel Spatio-Temporal Convolution Scheme oriented for Hardware Real-Time Imp lementation.", howpublished="Proceedings of the 23rd EUROMICRO Conference (short contributions), Budapest. Sept. 1-4, 1997."} @misc{x1997-041, author="Juha Takkinen and Nahid Shahmehri", title="CAFE: A Conceptual Model for Managing Information in Electronic Mail", howpublished="Proceedings of the Hawaii International Conference on Systems Sciences, Modeling Technologies and Intelligent Systems Track, pp. 44-53, 1998. Nominated for Best Paper."} @misc{x1997-042, author="Laurent Fribourg and Hans Ols\'{e}n", title="Proving Safety Properties of Infinite State Systems by Compilation into Presbur ger Arithmetic.", howpublished="CONCUR'97, 1997."} @misc{x1997-043, author="Francisco Bueno and Pierre Deransart and Wlodek Drabent and Gerard Ferrand and Manuel Hermenegildo and Jan Maluszynski and German Puebla", title="On the Role of Semantic Approximations in Validation and Diagnosis of Constrain t Logic Programs.", howpublished="In Proceedings of AADEBUG'97 (The Third International Workshop on Automated Deb ugging), 1997."} @misc{x1997-044, author="Laurent Fribourg and Hans Ols\'{e}n", title="Decompositional Approach for Computing Least Fixed-Points of Datalog Programs w ith Z-Counters.", howpublished="Journal of Constraints (submitted), 1997."} @misc{x1997-045, author="Johan Boye and Wlodek Drabent and Jan Maluszynski", title="Declarative Diagnosis of Contraint Programs: an Assertion Based Approach.", howpublished="In Proceedings of AADEBUG'97 (Third International Workshop on Automated Debuggi ng), 1997. (Linköping, Sweden)."} @misc{x1997-046, author="Johan Boye and Jan Maluszynski", title="Directional Types and the Annotation Method.", howpublished="Journal of Logic Programming, 33(3), 1997. (The postscript gives an early versi on)."} @misc{x1997-047, author="Patrick Lambrix and Nahid Shahmehri and Niclas Wahllöf", title="Dwebic: An Intelligent Search Engine based on Default Description Logics", howpublished="Proceedings of the International Workshop on Description Logics, pp. 119-121, Gif sur Yvette , France, 1997."} @misc{x1997-048, author="Patrick Lambrix and Nahid Shahmehri", title="TRIFU: The Right Information for You", howpublished="Proceedings of the 31st Hawaii International Conference on System Sciences - Internet and the Digital Economy Track, pp. 505-512, Hawaii, 1998."} @misc{x1997-049, author="Nasrin Biglari and Nahid Shahmehri", title="Intelligent Interactive Services", howpublished="Proceedings of the Conference on Distribution Automation & Demand Side Management, (DA/DSM'97), Amsterdam, The Netherlands, October 14-16, 1997."} @misc{x1997-050, author="Peter Jonsson and Christer Bäckström", title="Tractable Plan Existence Does Not Imply Tractable Plan Generation.", howpublished="Accepted by Annals of Mathematics and Artificial Intelligence."} @misc{x1997-051, author="Mikael Lindvall and Kristian Sandahl", title="Traceability Aspects of Impact Analysis in Object-Oriented Systems.", howpublished="Accepted by the Journal of Software Maintenance Research and Practice."} @misc{x1997-052, author="Jakob Axelsson", title="A Hardware/Software Codesign Methodology and Workbench for Predictable Developm ent of Hard Real-Time Systems", howpublished="Accepted for a "work in progress" session of the 9th Euromicro Workshop on real -time systems, to be held in Toledo in June."} @misc{x1997-053, author="Jakob Axelsson", title="Architecture Synthesis and Partitioning of Real-Time Systems: A Comparison of T hree Heuristic Search Strategies", howpublished="Proceedings of the 5th International Workshop on Hardware/Software Codesign (Codes /CASHE 97), held in Braunschweig, Germany, in March."} @misc{x1997-054, author="Mikael Lindvall and Kristian Sandahl", title="How Well do Experienced Software Developers Predict Software Change?", howpublished="Accepted for publication in the Journal of Systems and Software."} @misc{x1997-055, author="Joachim Karlsson and Claes Wohlin and Björn Regnell", title="An Evaluation of Methods for Prioritizing Software Requirements.", howpublished="Accepted for publication in the journal Information and Software Technology."} @misc{x1997-056, author="Mikael Lindvall and Kristian Sandahl", title="How Well do Experienced Software Developers Predict Software Change?", howpublished="Journal of Systems and Software, 1997."} @misc{x1997-057, author="Mikael Lindvall", title="Impact Analysis - A Case Study.", howpublished="Empirical Software Engineering 2(2), 1997."} @misc{x1997-058, author="Niclas Ohlsson and A-C Eriksson and Mary Helander", title="Early Risk-Management by Identification of Fault-prone Modules.", howpublished="Empirical Software Engineering 2(2), 1997."} @misc{x1997-059, author="Niclas Ohlsson and H Alberg", title="Predicting Fault-Prone Software Modules in Telephone Switches.", howpublished="IEEE Transactions on Software Engineering 22(12):886-894, 1996."} @misc{x1997-060, author="Mikael Lindvall and Magnus Runesson", title="What is Changed in C++ Source Code? Can These Changes Be Described Using Object Models?", howpublished="Workshop on Empirical Studies of Software Maintenance (WESS'97), Bari, Italy, O ctober 1997."} @misc{x1997-061, author="Niclas Ohlsson and N.E. Fenton", title="Lets start testing some basic software hypotheses!", howpublished="Workshop on Empirical Studies of Software Maintenance (WESS'97), Bari, Italy, O ctober, 1997."} @misc{x1997-062, author="Anders Subotic and Mary E. Helander and Niclas Ohlsson", title="Occurrence Sampling to Improve Software Maintenance Processes.", howpublished="Workshop on Empirical Studies of Software Maintenance (WESS'97), Bari, Italy, O ctober, 1997."} @misc{x1997-063, author="M. Zhao and Mary E. Helander", title="Software Reliability Rediction Recalibration based on the TTT-plot. ", howpublished="Proceedings of the International Conferernce on Safety and Reliability (ESREL'9 7), Lisbon, Portugal, June, 1997."} @misc{x1997-064, author="T. Ericsson and Anders Subotic and S. Ursing", title="Towards a Test Improvement Model. ", howpublished="Proceedings of the 4th European Conference Software Testing Analysis & Review, Amsterdam, December, 1996."} @misc{x1997-065, author="Mikael Lindvall", title="Evaluating Impact Analysis - A Case Study.", howpublished="Proceedings of the Workshop on Empirical Studies of Software Maintenance (WESS' 96), Monterey, California, USA, 1996."} @misc{x1997-066, author="Niclas Ohlsson and A-C Eriksson and Mary Helander", title="Early Risk-Management by identification of Fault-prone Modules.", howpublished="In Proceedings of the Workshop on Empirical Studies of Softare Maintenance (WES S'96), Monterey, California, USA, November, 1996."} @misc{x1997-067, author="O Åkerlund and G Stålmark and Mary Helander", title="Formal Safety and Reliability Analysis of Embedded Aerospace Systems at Saab", howpublished="Industrial Track Proceedings of the 7th International Symposium on Software Reliability Engineering (ISSRE'96), White Plains, NY, November, 1996."} @misc{x1997-068, author="Niclas Ohlsson", title="Monitoring Software Projects.", howpublished="In Proceedings for Tutorial and Workshop on System Engineering of Computer Base d Systems, Stockholm, Sweden, May, 1994."} @misc{x1997-069, author="H Alberg and Ö Johansson and Niclas Ohlsson", title="Predicting Error-Prone Software Modules. ", howpublished="In Proceedings of the Nordic Telecom Seminar, Stockholm, Sweden, August, 1993. "} @misc{x1997-070, author="Tianruo Yang and Zebo Peng", title="Incremental Testability Analysis for Design Transformations.", howpublished="Accepted for IEEE NORCHIP-97, Tallinn, Estonia, November, 1997."} @misc{x1997-071, author="Erik Larsson and Zebo Peng", title="Early Prediction of Testability by Analyzing Behavioral VHDL Specifications.", howpublished="Accepted for IEEE NORCHIP-97, Tallinn, Estonia, November, 1997."} @misc{x1997-072, author="Mikael Lindvall", title="Impact Analysis - A Case Study.", howpublished="Presented at the Workshop on Empirical Studies of Software (WESS) 1996 and selected for publication in: Empirical Studies of Software Engineering - An International Journal."} @misc{x1997-073, author="Mikael Lindvall and Kristian Sandahl", title="How Well do Experienced Software Developers Predict Software Change?", howpublished="Submitted to the Journal of Systems and Software is accepted for publication."} @misc{x1997-074, author="Joachim Karlsson and Claes Wohlin and Björn Regnell", title="An Evaluation of Methods for Prioritizing Software Requirements.", howpublished="Accepted for publication in the Journal Information and Software Technology."} @misc{x1997-075, author="Jonas Hallberg and Zebo Peng", title="Timing-Driven High-Level Synthesis using Tabu Search Heuristics", howpublished="Proceedings of the 1997 ACM/IEEE International Workshop on Timing Issues in the Specification and Synthesis of Digital Systems, December 4-5, Austin, Texas."} @misc{x1997-076, author="Jonas Hallberg and Zebo Peng", title="A Tabu Search Technique to Integrate Multicycle Scheduling, Resource Allocation and Binding", howpublished="Proceedings of the International Workshop on Logic and Architcture Synthesis, Institut National Polytechnique de Grenoble, France, December 16-18, 1997."} @misc{x1997-077, author="Erik Berglund and Henrik Eriksson", title="Distributed-Interactive Simulation for Group-Distance Exercises on the Web.", howpublished="Accepted to the International Conference on Web-Based Modeling and Simulation o f the 1998 Western MultiConference held in San Diego, 11-14 January."} @misc{x1997-078, author="Tianruo Yang and Zebo Peng", title="An Efficient Algorithm to Integrate Scheduling and Allocation in High-Level Tes t Synthesis.", howpublished="Accepted for publication at the DATE'98 Conference (Design, Automation and Test in Europe), Paris, Feb. 23-26, 1997."} @misc{x1997-079, author="Petru Eles and Krzysztof Kuchcinski and Zebo Peng and Alexa Doboli and Paul Pop", title="Scheduling of Conditional Process Graphs for the Synthesis of Embedded Systems'' . ", howpublished="Accepted for publication at the DATE'98 Conference (Design, Automation and Test in Europe), Paris, Feb. 23-26, 1997."} @misc{x1997-080, author="Vadim Engelson and D. Fritzson and Peter Fritzson", title="Using the Mathematica Environment for Generating Efficient 3D Graphics.", howpublished="Accepted to be presented at COMPUGRAPHICS'97 - The Sixth Conference on Computat ional Graphics and Visualization Techniques, which will be held in Vilamoura, Algarve, Portugal, from 15 to 18 of December."} @misc{x1997-081, author="Peter Jonsson and Christer Bäckström", title="State-Variable Planning Under Structural Restrictions: Algorithms and Complexit y.", howpublished="Accepted by Artificial Intelligence."} @misc{x1997-082, author="Niclas Ohlsson and Zhao Ming and Mary Helander", title="Application of Multivariate Analysis for Software Fault Prediction.", howpublished="Accepted by Software Quality Journal."} @misc{x1997-083, author="Mikael Pettersson", title="Portable debugging and profiling.", howpublished="Accepted to the International Conference on Compiler Construction, cc'98 held in Lisbon, Portugal, March 30 to April 3, 1998, LNCS, Springer Verlag."} @misc{x1997-084, author="Vadim Engelson and Peter Fritzson and Dag Fritzson", title="Using the \e{Mathematica e} Environment for Generating Efficient 3D Graphics.", howpublished="Accepted for publication in Proceedings of COMPUGRAPH'97 in Algarve, Portugal."} @misc{x1997-085, author="Vadim Engelson and Peter Fritzson and Dag Fritzson", title="Generating efficient 3D graphics animation code with OpenGL from object oriente d models in Mathematica.", howpublished="Published in Innovation in Mathematics. Proceedings of the Second International Mathematica Symposium, Rovaniemi, Finland, 29 June - 4 July 1997, V. Keränen, P. Mitic, A. Hietamäki (Ed.) pp. 129-136."} @misc{x1997-086, author="H. Elmqvist and F. Boudaud and J. Broenink and D. Brück and T. Ernst and P. Fritzson and A. Jeandel and K. Juslin and M. Klose and S.E. Mattsson and M. Otter and H. Tummescheit and H. Vangheluwe", title="Modelica TM - A Unified Object-Oriented Language for Physical Systems Modeling.", howpublished="Version 1, September 1997."}