dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

Andrzej Wasowski (Selection)

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo


53Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSebastian S. Bauer, Alexandre David, Rolf Hennicker, Kim Guldstrand Larsen, Axel Legay, Ulrik Nyman, Andrzej Wasowski: Moving from Specifications to Contracts in Component-Based Design. FASE 2012: 43-58
48Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBenoît Delahaye, Kim G. Larsen, Axel Legay, Mikkel L. Pedersen, Andrzej Wasowski: Consistency and refinement for Interval Markov Chains. J. Log. Algebr. Program. 81(3): 209-226 (2012)
47Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBenoît Delahaye, Kim G. Larsen, Axel Legay, Mikkel L. Pedersen, Andrzej Wasowski: New results for Constraint Markov Chains. Perform. Eval. 69(7-8): 379-401 (2012)
46Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBenoît Delahaye, Joost-Pieter Katoen, Kim G. Larsen, Axel Legay, Mikkel L. Pedersen, Falak Sher, Andrzej Wasowski: New Results on Abstract Probabilistic Automata. ACSD 2011: 118-127
44Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKim G. Larsen, Axel Legay, Louis-Marie Traonouez, Andrzej Wasowski: Robust Specification of Real Time Components. FORMATS 2011: 129-144
42Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBenoît Delahaye, Kim G. Larsen, Axel Legay, Mikkel L. Pedersen, Andrzej Wasowski: Decision Problems for Interval Markov Chains. LATA 2011: 274-285
41Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLUli Fahrenberg, Axel Legay, Andrzej Wasowski: Vision Paper: Make a Difference! (Semantically). MoDELS 2011: 490-500
40Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBenoît Delahaye, Kim G. Larsen, Axel Legay, Mikkel L. Pedersen, Andrzej Wasowski: APAC: A Tool for Reasoning about Abstract Probabilistic Automata. QEST 2011: 151-152
38Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBenoît Delahaye, Joost-Pieter Katoen, Kim G. Larsen, Axel Legay, Mikkel L. Pedersen, Falak Sher, Andrzej Wasowski: Abstract Probabilistic Automata. VMCAI 2011: 324-339
37Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBenoît Caillaud, Benoît Delahaye, Kim G. Larsen, Axel Legay, Mikkel L. Pedersen, Andrzej Wasowski: Constraint Markov Chains. Theor. Comput. Sci. 412(34): 4373-4404 (2011)
35Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlexandre David, Kim Guldstrand Larsen, Axel Legay, Ulrik Nyman, Andrzej Wasowski: ECDAR: An Environment for Compositional Design and Analysis of Real Time Systems. ATVA 2010: 365-370
32Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAxel Legay, Andrzej Wasowski: A Few Considerations on Structural and Logical Composition in Specification Theories FIT 2010: 49-54
31Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlexandre David, Kim G. Larsen, Axel Legay, Ulrik Nyman, Andrzej Wasowski: Timed I/O automata: a complete specification theory for real-time systems. HSCC 2010: 91-100
30Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBenoît Caillaud, Benoît Delahaye, Kim G. Larsen, Axel Legay, Mikkel L. Pedersen, Andrzej Wasowski: Compositional Design Methodology with Constraint Markov Chains. QEST 2010: 123-132
25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTimothy Bourke, Alexandre David, Kim G. Larsen, Axel Legay, Didier Lime, Ulrik Nyman, Andrzej Wasowski: New Results on Timed Specifications. WADT 2010: 175-192
23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlexandre David, Kim G. Larsen, Axel Legay, Ulrik Nyman, Andrzej Wasowski: Methodologies for Specification of Real-Time Systems Using Timed I/O Automata. FMCO 2009: 290-310

Selection of 16 from 54 records - Andrzej Wasowski has 49 coauthors

Last update 2012-09-10 CET by the DBLP TeamThis material is Open Data Content released under the ODC-BY 1.0 license — See also our legal information page