Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for POOSL with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1995-2010 (7)
Publication types (Num. hits)
article(1) inproceedings(6)
Venues (Conferences, Journals, ...)
EUROMICRO(3) ACSD(1) Comput. Networks(1) DSD(1) Parallel and Distributed Compu...(1)
Authors
Jeroen Voeten(5) Bart D. Theelen(2) M. P. J. Stevens(2) Marc Geilen(2) P. H. A. van der Putten(2) Colin Flanagan(1) Hyeok Chan Kwon(1) Jaco van de Pol(1) Jan Tretmans(1) Jiansheng Xing(1) Kwan Jong Yoo(1) Leo J. van Bokhoven(1) Liam Noonan(1) R. D. J. Kramer(1) Rom Langerak(1) Sook-Young Choi(1)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 13 occurrences of 13 keywords
Results
Found 7 publication records. Showing 7 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
139Jeroen Voeten, P. H. A. van der Putten, M. P. J. Stevens Behaviour-Preserving Transformations in SHE: A Formal Approach to Architecture Design. Search on Bibsonomy EUROMICRO The full citation details ... 1996 DBLP  DOI  BibTeX  RDF SHE, behaviour-preserving transformations, POOSL, formal specification, architecture design, design framework, formal specification language, formal approach
73Jiansheng Xing, Bart D. Theelen, Rom Langerak, Jaco van de Pol, Jan Tretmans, Jeroen Voeten From POOSL to UPPAAL: Transformation and Quantitative Analysis. Search on Bibsonomy ACSD The full citation details ... 2010 DBLP  DOI  BibTeX  RDF POOSL, performance, verification, transformation, quantitative analysis, UPPAAL
53Jeroen Voeten, P. H. A. van der Putten, Marc Geilen, M. P. J. Stevens System Level Modelling for Hardware/Software Systems. Search on Bibsonomy EUROMICRO The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
40Bart D. Theelen, Jeroen Voeten, R. D. J. Kramer Performance modelling of a network processor using POOSL. Search on Bibsonomy Comput. Networks The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
40Sook-Young Choi, Hyeok Chan Kwon, Kwan Jong Yoo POOSL: A Programming Model for Efficient Parallel Processing in the Message Passing System. Search on Bibsonomy Parallel and Distributed Computing and Systems The full citation details ... 1995 DBLP  BibTeX  RDF
26Liam Noonan, Colin Flanagan Modeling a Network Processor Using Object Oriented Techniques. Search on Bibsonomy DSD The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
26Leo J. van Bokhoven, Jeroen Voeten, Marc Geilen Software Synthesis for System Level Design Using Process Execution Trees. Search on Bibsonomy EUROMICRO The full citation details ... 1999 DBLP  DOI  BibTeX  RDF system level design language, simulation, operational semantics, software synthesis
Displaying result #1 - #7 of 7 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license