Nederlands
Contact
Sitemap
Search
OrganisationEEMCS EPrints Service
 |
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
2007
Krilavičius, T.
(2007)
Study of Tools Interoperability.
Technical Report TR-CTIT-07-01,
Centre for Telematics and Information Technology University of Twente, Enschede.
ISSN 1381-3625
2006
Baier, C. and Hermanns, H., ed.
(2006)
CONCUR 2006 [Concurrency Theory, 16th International Conference].
Lecture Notes in Computer Science 4137.
Springer Verlag, Berlin.
ISBN 3-540-37376-4
Böde, E. and Herbstritt, M. and Hermanns, H. and Johr, S. and Peikenkamp, T. and Pulungan, R. and Wimmer, R. and Becker, B.
(2006)
Compositional Performability Evaluation for STATEMATE.
In: 3rd International Conference on Quantitative Evaluation of Systems, QEST 2006, 11-14 Sep 2006, Riverside, USA.
pp. 167-176.
IEEE Computer Society.
ISBN 0-7695-2665-9
Bohnenkamp, H.C. and D'Argenio, P.R. and Hermanns, H. and Katoen, J.P.
(2006)
MoDeST: A compositional modeling formalism for real-time and stochastic systems.
IEEE Transactions on Software Engineering, 32 (10).
pp. 812-830.
ISSN 0098-5589
*** ISI Impact 2,216 ***
2005
Baier, C. and D'Argenio, P.R. and Größer, M.
(2005)
Partial Order Reduction for Probabilistic Branching Time.
In: Proceedings of the Third Workshop on Quantitative Aspects of Programming Languages (QAPL 2005), 23 May 2006, Edinburgh, Scotland.
pp. 97-116.
Electronic Notes in Theoretical Computer Science 153 (2).
Elsevier.
ISSN 1571-0661
D'Argenio, P.R. and Gebremichael, B.
(2005)
The Coarsest Congruence for Timed Automata with Deadlines Contained in Bisimulation.
In: Proceedings of CONCUR 2005, 23-26 Aug 2005, San Francisco, USA.
pp. 125-140.
Lecture Notes in Computer Science 3653.
Springer Verlag.
ISBN 3-540-28309-9
Lohrey, M. and D'Argenio, P.R. and Hermanns, H.
(2005)
Axiomatising Divergence.
Information and computation, 203 (2).
pp. 115-144.
ISSN 0890-5401
*** ISI Impact 0,825 ***
|
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||