I. Nunes

Details der Publikationsliste

Zeitraum

1997 - 2009

Anzahl

78

Co-Autoren

Abstract Monitoring Java Code Using ConGu (2009)

V. T. Vasconcelos, I. Nunes, A. Lopes, N. Ramiro, P. Crispim

The ConGu project aims at developing a framework to create property-driven algebraic specifications and to test Java implementations against these specifications. We present a brief overview of the...

Context-parameterized coordination model and semantics for behavioural programs (2008)

I. Nunes

Abstract. In opposition to the traditional approaches to reactive systems in which the atomicity of actions is assumed, the behavioural paradigm deals with durative actions [9,10] in the sense that...

in Coordination Languages and Models, D. Garlan and D. LeMtayer (eds), (2007)

Lncs Pp Coordinating, I. Nunes

A computing paradigm is presented for coordinating the execution of durative actions, i.e. actions which, although executed atomically on a private local state, have a duration in the sense that the...

An OCL Extension for Low-coupling Preserving Contracts (2007)

I. Nunes

Abstract. Design by contract, as introduced by B.Meyer, is of increasing importance to the OO community in the specification, reuse, and monitoring of classes. We strongly feel that class libraries...

Survey of Type I ELM dynamics measurements (2006)

Leonard, A. W., Asakura, N., Boedo, J. A., Becoulet, M., Counsell, G. F., Eich, T., ...

This report summarizes Type I edge localized mode (ELM) dynamics measurements from a number of tokamaks, including ASDEX-Upgrade, DIII-D, JET, JT-60U and MAST, with the goal of providing guidance and...

Overview of ASDEX Upgrade results-development of integrated operating scenarios for ITER (2005)

Günter, S., Angioni, C., Apostoliceanu, M., Atanasiu, C., Balden, M., Becker, G., ...

This article based on the 2004 Fusion Energy Conference contribution (Vilamoura, Portugal, 1-6 November 2004)

Integrated exhaust scenarios with actively controlled ELMs (2005)

Lang, P. T., Kallenbach, A., Bucalossi, J., Conway, G. D., Degeling, A., Dux, R., ...

An integrated radiative high performance scenario has been established at ASDEX Upgrade based on simultaneous feedback control of the average divertor neutral particle and power flux in combination...

Density Profile Evolution during Dynamic Processes in ASDEX Upgrade (2004)

I. Nunes, J. Santos, Francisco Salzedas, M. Manso, F. Serra, G. Conway, ...

The impact of ELM activity and density limit disruptions on the plasma density as well as the use of reflectometry for plasma position and shape control are discussed here. Fast density measurements...

ELM frequency control by continuous small pellet injection in ASDEX Upgrade (2003)

Lang, P. T., Neuhauser, J., Horton, L. D., Eich, T., Fattorini, L., Fuchs, J. C., ...

Injection of cryogenic deuterium pellets has been successfully applied in ASDEX Upgrade for external edge localized mode (ELM) frequency control in type-I ELMy H-mode discharge scenarios. A pellet...

ELM-free stationary H-mode plasmas in the ASDEX Upgrade tokamak (2003)

Suttrop, W., Maraschek, M., Conway, G. D., Haas, G., Horton, L. D., ...

ELM-free H-mode plasmas with stationary plasma density and radiation level are obtained in the ASDEX Upgrade tokamak with large clearance between the last closed flux surface and the wall, and...

Overview of ASDEX Upgrade results (2003)

Zohm, H., Angioni, C., Arslanbekov, R., Atanasiu, C., Becker, G., Becker, W., ...

Recent results from the ASDEX Upgrade experimental campaigns 2001 and 2002 are presented. An improved understanding of energy and particle transport emerges in terms of a 'critical gradient' model...

Overview of ASDEX upgrade results (2003)

Zohm, H., Angioni, C., Arslanbekov, R., Atanasiu, C., Becker, G., Becker, W., ...

Recent results from the ASDEX Upgrade experimental campaigns 2001 and 2002 are presented. An improved understanding of energy and particle transport emerges in terms of a 'critical gradient' model...

Steady state advanced scenarios at ASDEX Upgrade (2002)

Sips, A.C.C., Arslanbekov, R., Atanasiu, C., Becker, W., Becker, G., Behler, K., ...

Recent experiments at ASDEX Upgrade have achieved advanced scenarios with high beta(N) (> 3) and confinement enhancement over ITER98(y, 2) scaling, H-H98y2 = 1.1-1.5, in steady state. These...

Observations of the Onset of the Energy Quench in ASDEX Upgrade Density Limit Disruptions (2002)

Francisco Salzedas, G. Pautasso, I. Nunes, W. Suttrop, M. Maraschek, M. E. Manso, ...

Tokamak major density limit disruptions are usually preceded by a m/n=2/1 tearing mode, that may or may not lock to the vessel wall. The complete destruction of energy confinement in these major...

A Modal Logic of Durative Actions (1997)

Nunes Fiadeiro, I. Nunes

this paper, we extend this model by relaxing the second assumption of atomicity. That is to say, while assuming that actions compute their effects without interference from the environment by...