Dipartimento di Sistemi e Informatica

Other Science Information Research Group

Publications 1999

 

Books    
G.Ausiello, P.Crescenzi, G.Gambosi, V.Kann, A.Marchetti Spaccamela and M.Protasi, Complexity and Approximation. Combinatorial Optimization Problems and theirApproximability Properties, Springer-Verlag (Ottobre 1999).    
   
Journal and Book Chapters    
P.Crescenzi, V.Kann, R.Silvestri,L.Trevisan, ``Structure in Approximation Classes'',SIAM Journal on Computing, Vol.28, No.5, 1999, 1759--1782.    
P.Crescenzi, R.Silvestri, L.Trevisan, ``On Weighted vs Unweighted Versions of Combinatorial Optimization Problems'', Information and Computation accepted to appear.    
P.Crescenzi, L.Trevisan, ``MAXNP-completeness made easy'',Theoretical Computer Science,Vol.225, 1999, 65--79.    
P.Crescenzi, L.Trevisan, ``On Approximation Scheme Preserving Reducibility and Its Applications'', Theory of Computer Systems accepted to appear.    
P.Crescenzi, C.Demetrescu, I.Finocchi, R.Petreschi, ``Reversible Execution and Visualization of Programs with Leonardo'', Journal of Visual Languages and Computing accepted to appear.    
A. Bondavalli, F. Di Giandomenico and I. Mura, "An Optimal Value-Based Admission Policy and its Reflective Use in Real-Time Dependable Systems," Real-Time Systems Journal, KLUWER AP, Vol. 16, pp. 5-30, 1999.    
D. Powell, J. Arlat, L. Beus-Dukic, A. Bondavalli, P. Coppola, A. Fantechi, E. Jenn, C. Rabejac and A. Wellings, "GUARDS: A GENERIC UPGRADABLE ARCHITECTURE FOR REAL-TIME DEPENDABLE SYSTEMS," IEEE TPDS (special issue on Dependable Real-Time Systems), Vol. 10, pp. 580-599, 1999.    
A. Bondavalli, S. Chiaradonna, F. Di Giandomenico and L. Strigini, "A Contribution to the Evaluation of the reliability of Iterative-Execution Software," STVR - Software Testing, Verification and Reliability, Wiley, Vol. 9, pp. 145-166, 1999.    
I. Mura and A. Bondavalli, "Hierarchical Modelling and Evaluation of Phased-Mission Systems," IEEE Transactions on Reliability, Vol. 48, pp. 360-368, 1999.    
Conference Proceedings    
P.Crescenzi, A.E.F.Clementi, G.Rossi, ``On the Complexity of Approximating Colored-Graph Problems'', Proc. Annual International Computing and Combinatorics Conference, Lecture Notes in Computer Science, Vol. 1627, 1999, 281--290.    
P.Crescenzi, L.Dardini, R.Grossi, ``IP address lookup made fast and simple'', Proc. 7th Annual European Symposium on Algorithms, Lecture Notes in Computer Science, Vol. 1643, 1999, 65--76.    
I. Mura, A. Bondavalli, X. Zang and K. S. Trivedi, "Dependability Modelling and Evaluation of Phased Mission Systems: a DSPN Approach," in Proc. DCCA-7 - 7th IFIP Int. Conference on Dependable Computing for Critical Applications, San Jose, CA, USA, IEEE Computer Society Press, 1999, pp. 319-337.    
  A. Bondavalli, I. Majzik and I. Mura, "Automated Dependability Analysis of UML Designs," in Proc. ISORC'99 - 2nd IEEE International Symposium on Object-oriented Real-time distributed Computing, Saint Malo, France, IEEE Computer Society Press, 1999, pp. 139-144.    
  A. Bondavalli and I. Mura, "High-Level Petri Net Modelling of Phased Mission Systems," in Proc. 10th European Workshop on Dependable Computing (EWDC-10), Vienna, Austria, 1999, pp. 91-95.    
  A. Bondavalli, A. Fantechi, D. Latella and L. Simoncini, "Towards a Discipline of System Engineering: Validation of Dependable Systems," in Proc. post proceedings of the Computer Security, Dependability, and Assurance: From Needs to Solutions (CSDA'98), Williamsburg, VA, November 11-13,, IEEE Computer Society Press, 1999, pp. 144 - 165.    
  A. Bondavalli, A. Fantechi, D. Latella and L. Simoncini, "Integrated Validation of Dependable Systems," in Proc. IDPT '99 4th, International Conference on Integrated Design and Process Technology, Kusadasi, Turkey,, 1999, pp. to appear.    
  A. Bondavalli, I. Mura and K. S. Trivedi, "Dependability Modelling and Sensitivity Analysis of Scheduled Maintenance Systems," in Proc. EDCC-3 European Dependable Computing Conference, Prague, Czech Republic - September 15-17, 1999, (also Lecture Notes in Computer Science N. 1667), Springer Verlag, 1999, pp. 7 - 23.    
A. Bondavalli, I. Majzik and I. Mura, "Automatic Dependability Analysis for Supporting Design Decisions in UML," in Proc. HASE99 - 4th IEEE High Assurance System Engineering Symposium, Washington D.C., USA, IEEE Computer Society Press, 1999, pp. 64-71.    
A. Bondavalli, M. Dal Cin, D. Latella and A. Pataricza, "High-level Integrated Design Environment for Dependability (HIDE)," in Proc. WORDS'99F Fifth International Workshop on Object-oriented Real-time Dependable Systems, Monterey, Ca, USA, 1999, pp. To appear.    

 

Events | People | Research | Teaching | Publications | Technology Transfer | How to reach DSI
Services (DSI) only
| Webadmin