Author
|
Conference
|
Journal
|
Organization
|
Year
|
DOI
Look for results that meet for the following criteria:
since
equal to
before
between
and
Search in all domains
Limit my searches in the following domains
Agriculture Science
Arts & Humanities
Biology
Chemistry
Computer Science
Economics & Business
Engineering
Environmental Sciences
Geosciences
Material Science
Mathematics
Medicine
Physics
Social Science
Multidisciplinary
Co-authors
(156)
Kim Guldstrand Larsen
41
Wang Yi
36
Cristina Cerschi Seceleanu
14
Thomas Hune
13
Anders Hessel
13
Conferences
(40)
TACAS
7
FORMATS
5
CAV
3
COMPSAC
3
ECRTS
3
Journals
(12)
IEEE TRANS POWER DELIVERY
5
STTT
4
NJC
3
ENTCS
3
JLP
2
Keywords
(248)
Embed
Subscribe
Academic
Authors
Paul Pettersson
Edit
Paul Pettersson
Uppsala University
Publications: 116
|
Citations: 3206
|
G-Index: 55
|
H-Index: 28
The information is calculated based on the tens of millions of scholarly articles currently discoverable within Microsoft Academic Search. As more content gets indexed, the accuracy and completeness will continue to improve.
Interests:
Software Engineering
,
Real-Time & Embedded Systems
,
Algorithms & Theory
View FAQ about top research area and research interests
Collaborated with
156 co-authors
from 1991 to 2011
; Cited by
2590 authors
Homepage
|
Bing
Cumulative
Annual
Order by:
Publications
(116)
BibTeX
|
RIS
|
RefWorks
Download
Modelling, Verification and Synthesis of Two-Tier Hierarchical Fixed-Priority Preemptive Scheduling
(
Citations: 3
)
Mikael Åsberg
,
Paul Pettersson
,
Thomas Nolte
Conference:
Euromicro Conference on Real-Time Systems - ECRTS
, pp. 172-181, 2011
Developing UPPAAL over 15 years
(
Citations: 1
)
Gerd Behrmann
,
Alexandre David
,
Kim Guldstrand Larsen
,
Paul Pettersson
,
Wang Yi
Journal:
Software - Practice and Experience - SPE
, vol. 41, no. 2, pp. 133-142, 2011
Validation of Embedded Systems Behavioral Models on a Component-Based Ericsson Nikola Tesla Demonstrator
Aneta Vulgarakis
,
Cristina Seceleanu
,
Paul Pettersson
,
Ivan Skuliber
,
Darko Huljenic
Conference:
International Conference on Quality Software - QSIC
, pp. 156-165, 2011
ABV - A Verifier for the Architecture Analysis and Design Language (AADL)
Stefan Björnander
,
Cristina Seceleanu
,
Kristina Lundqvist
,
Paul Pettersson
Conference:
International Conference on Engineering of Complex Computer Systems - ICECCS
, 2011
Pattern-Driven Support for Designing Component-Based Architectural Models
Jagadish Suryadevara
,
Cristina Seceleanu
,
Paul Pettersson
Conference:
Engineering of Computer-Based Systems - ECBS
, 2011
Order by:
Citations
(3206 times by 2050 publications)
The Digraph Real-Time Task Model
(
Citations: 2
)
Martin Stigge
,
Pontus Ekberg
,
Nan Guan
,
Wang Yi
Conference:
Real-Time and Embedded Technology and Applications, IEEE Symposium - RTAS
, pp. 71-80, 2011
A Classification Framework for Software Component Models
(
Citations: 3
)
Ivica CrnkoviMember
,
Severine Sentilles
,
Vulgarakis Aneta
,
Michel R. V. Chaudron
Journal:
IEEE Transactions on Software Engineering - TSE
, vol. 37, no. 5, pp. 593-615, 2011
Automata Learning with Automated Alphabet Abstraction Refinement
(
Citations: 3
)
Falk Howar
,
Bernhard Steffen
,
Maik Merten
Conference:
Verification, Model Checking and Abstract Interpretation - VMCAI
, pp. 263-277, 2011
Modelling, Verification and Synthesis of Two-Tier Hierarchical Fixed-Priority Preemptive Scheduling
(
Citations: 3
)
Mikael Åsberg
,
Paul Pettersson
,
Thomas Nolte
Conference:
Euromicro Conference on Real-Time Systems - ECRTS
, pp. 172-181, 2011
Validation and verification of Web services choreographies by using timed automata
(
Citations: 2
)
María-Emilia Cambronero
,
Gregorio Díaz
,
Valentin Valero
,
Enrique Martínez
Journal:
The Journal of Logic and Algebraic Programming - JLP
, vol. 80, no. 1, pp. 25-49, 2011
Comments