Search

Your search keyword '"Lucio, Levi"' showing total 81 results
Start Over Author "Lucio, Levi"

Refine your results

more »

more »

more »

more »
81 results on '"Lucio, Levi"'

1. ML + FV = $\heartsuit$? A Survey on the Application of Machine Learning to Formal Verification

Author

Amrani, Moussa, Lúcio, Levi, and Bibal, Adrien

Subjects
Computer Science - Software Engineering, Computer Science - Artificial Intelligence, Computer Science - Learning
Abstract

Formal Verification (FV) and Machine Learning (ML) can seem incompatible due to their opposite mathematical foundations and their use in real-life problems: FV mostly relies on discrete mathematics and aims at ensuring correctness; ML often relies on probabilistic models and consists of learning patterns from training data. In this paper, we postulate that they are complementary in practice, and explore how ML helps FV in its classical approaches: static analysis, model-checking, theorem-proving, and SAT solving. We draw a landscape of the current practice and catalog some of the most prominent uses of ML inside FV tools, thus offering a new perspective on FV techniques that can help researchers and practitioners to better locate the possible synergies. We discuss lessons learned from our work, point to possible improvements and offer visions for the future of the domain in the light of the science of software and systems modeling., Comment: 13 pages, no figures, 3 tables

Published
2018

2. Towards Controlling Refinements of Statecharts

Author

Hansen, Conner, Syriani, Eugene, and Lucio, Levi

Subjects
Computer Science - Software Engineering
Abstract

In incremental development strategies, modelers frequently refine Statecharts models to satisfy requirements and changes. Although several solutions exist to the problem of Statecharts refinement, they provide such levels of freedom that a statechart cannot make assumptions or guarantees about its future structure. In this paper, we propose a set of bounding rules to limit the allowable Statecharts refinement operations such that certain assumptions will hold., Comment: In Poster Proceedings of 6th Conference on Software Language Engineering (SLE) 2013 (http://www.sleconf.org/2013/)

Published
2015

3. Generation of Co-simulation Algorithms Subject to Simulator Contracts

Author

Gomes, Cláudio, Thule, Casper, Lúcio, Levi, Vangheluwe, Hans, Larsen, Peter Gorm, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Woeginger, Gerhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Camara, Javier, editor, and Steffen, Martin, editor

Published
2020
Full Text
View/download PDF

4. Design and Runtime Verification Side-by-Side in eTrice

Author

Kanav, Sudeep, Lúcio, Levi, Hilden, Christian, Schuetz, Thomas, Hutchison, David, Editorial Board Member, Kanade, Takeo, Editorial Board Member, Kittler, Josef, Editorial Board Member, Kleinberg, Jon M., Editorial Board Member, Mattern, Friedemann, Editorial Board Member, Mitchell, John C., Editorial Board Member, Naor, Moni, Editorial Board Member, Pandu Rangan, C., Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Terzopoulos, Demetri, Editorial Board Member, Tygar, Doug, Editorial Board Member, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Badger, Julia M., editor, and Rozier, Kristin Yvonne, editor

Published
2019
Full Text
View/download PDF

7. Next-Generation EU DataGrid Data Management Services

Author

Bosio, Diana, Casey, James, Frohner, Akos, Guy, Leanne, Kunszt, Peter, Laure, Erwin, Lemaitre, Sophie, Lucio, Levi, Stockinger, Heinz, Stockinger, Kurt, Bell, William, Cameron, David, McCance, Gavin, Millar, Paul, Hahkala, Joni, Karlsson, Niklas, Nenonen, Ville, Silander, Mika, Mulmo, Olle, Volpato, Gian-Luca, and Andronico, Giuseppe

Subjects
Physics - Data Analysis, Statistics and Probability
Abstract

We describe the architecture and initial implementation of the next-generation of Grid Data Management Middleware in the EU DataGrid (EDG) project. The new architecture stems out of our experience and the users requirements gathered during the two years of running our initial set of Grid Data Management Services. All of our new services are based on the Web Service technology paradigm, very much in line with the emerging Open Grid Services Architecture (OGSA). We have modularized our components and invested a great amount of effort towards a secure, extensible and robust service, starting from the design but also using a streamlined build and testing framework. Our service components are: Replica Location Service, Replica Metadata Service, Replica Optimization Service, Replica Subscription and high-level replica management. The service security infrastructure is fully GSI-enabled, hence compatible with the existing Globus Toolkit 2-based services; moreover, it allows for fine-grained authorization mechanisms that can be adjusted depending on the service semantics., Comment: Talk from the 2003 Computing in High Energy and Nuclear Physics (CHEP03), La Jolla,Ca, USA, March 2003 8 pages, LaTeX, the file contains all LaTeX sources - figures are in the directory "figures"

Published
2003

8. Just Formal Enough? Automated Analysis of EARS Requirements

Author

Lúcio, Levi, Rahman, Salman, Cheng, Chih-Hong, Mavin, Alistair, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Barrett, Clark, editor, Davies, Misty, editor, and Kahsai, Temesghen, editor

Published
2017
Full Text
View/download PDF

9. Migrating Automotive Product Lines: A Case Study

Author

Famelis, Michalis, Lúcio, Levi, Selim, Gehan, Di Sandro, Alessio, Salay, Rick, Chechik, Marsha, Cordy, James R., Dingel, Juergen, Vangheluwe, Hans, S., Ramesh, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Kolovos, Dimitris, editor, and Wimmer, Manuel, editor

Published
2015
Full Text
View/download PDF

10. ProMoBox: A Framework for Generating Domain-Specific Property Languages

Author

Meyers, Bart, Deshayes, Romuald, Lucio, Levi, Syriani, Eugene, Vangheluwe, Hans, Wimmer, Manuel, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Kobsa, Alfred, Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Combemale, Benoît, editor, Pearce, David J., editor, Barais, Olivier, editor, and Vinju, Jurgen J., editor

Published
2014
Full Text
View/download PDF

11. Specification and Verification of Graph-Based Model Transformation Properties

Author

Selim, Gehan M. K., Lúcio, Levi, Cordy, James R., Dingel, Juergen, Oakes, Bentley J., Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Kobsa, Alfred, editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Weikum, Gerhard, editor, Giese, Holger, editor, and König, Barbara, editor

Published
2014
Full Text
View/download PDF

12. Federalism: A Way to Govern Globalization

Author

Lucio Levi

Subjects
federalism, globalization, nation-state, sovereignty, international relations, Social sciences (General), H1-99
Abstract

Globalization is a social and economic integration process, which has a significant political meaning, i.e. the erosion of state sovereignty. Thenature of globalization is not a mere quantitative increase of social relations and exchanges at world level, but it is a qualitative change rooted in the scientific revolution of material production, and it creates, alongside national societies and markets, a global market and a global civil society. It is a process that is changing the form and size of economic and social life and imposes on all sectors of social life a much wider dimension than that of sovereign states, even the biggest ones. The changes that have occurred in the sovereign state and the international system of states are by now recognized as the central political fact of our times. The construction of a general theory of politics that unifies political science and international relations is a long term task that may be performed by an entire generation of scholars. Multitudes of scholars are working to reconstruct a theory of politics that adheres more to the evolution of contemporary history. Federalism is one of these theories: it is an unfinished project, not a static political vision nor a timeless political theory. It is an unaccomplished project, which is constantly evolving in response to the new problems which history is raising relentlessly. Flexibility – which is the specific character of federal institutions – is particularly adapted to answering the need of combining unity with diversity that is required by the globalization era. Therefore, federalism is a political tool suitable for governing the social transformations under way in the contemporary world. It appears to be a very efficient institutional device for political integration, for ensuring the functioning of pluralistic societies, for protecting minorities, for solving ethnic, religious and national conflicts, and for answering the need for peace and international solidarity.

Published
2018
Full Text
View/download PDF

13. FTG+PM: An Integrated Framework for Investigating Model Transformation Chains

Author

Lúcio, Levi, Mustafiz, Sadaf, Denil, Joachim, Vangheluwe, Hans, Jukss, Maris, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Khendek, Ferhat, editor, Toeroe, Maria, editor, Gherbi, Abdelouahed, editor, and Reed, Rick, editor

Published
2013
Full Text
View/download PDF

14. MoDeVVa 2011 Workshop Summary

Author

Lúcio, Levi, Weißleder, Stephan, Fondement, Frédéric, Cichos, Harald, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, and Kienzle, Jörg, editor

Published
2012
Full Text
View/download PDF

15. MoDeVVa 2010 Workshop Summary

Author

Lúcio, Levi, Vieira, Elisangela, Weißleder, Stephan, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Sudan, Madhu, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Vardi, Moshe Y., Series editor, Weikum, Gerhard, Series editor, Dingel, Juergen, editor, and Solberg, Arnor, editor

Published
2011
Full Text
View/download PDF

16. DSLTrans: A Turing Incomplete Transformation Language

Author

Barroca, Bruno, Lúcio, Levi, Amaral, Vasco, Félix, Roberto, Sousa, Vasco, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Sudan, Madhu, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Vardi, Moshe Y., Series editor, Weikum, Gerhard, Series editor, Malloy, Brian, editor, Staab, Steffen, editor, and van den Brand, Mark, editor

Published
2011
Full Text
View/download PDF

17. A Technique for Automatic Validation of Model Transformations

Author

Lúcio, Levi, Barroca, Bruno, Amaral, Vasco, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Petriu, Dorina C., editor, Rouquette, Nicolas, editor, and Haugen, Øystein, editor

Published
2010
Full Text
View/download PDF

18. Model Checking Techniques for Test Generation from Business Process Models

Author

Buchs, Didier, Lucio, Levi, Chen, Ang, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Sudan, Madhu, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Vardi, Moshe Y., Series editor, Weikum, Gerhard, Series editor, Kordon, Fabrice, editor, and Kermarrec, Yvon, editor

Published
2009
Full Text
View/download PDF

19. Formal Test Generation from UML Models

Author

Buchs, Didier, Pedro, Luis, Lúcio, Levi, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Dough, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Kohlas, Jürg, editor, Meyer, Bertrand, editor, and Schiper, André, editor

Published
2006
Full Text
View/download PDF

20. Prototyping Domain Specific Languages with COOPN

Author

Pedro, Luis, Lucio, Levi, Buchs, Didier, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Sudan, Madhu, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Dough, Series editor, Vardi, Moshe Y., Series editor, Weikum, Gerhard, Series editor, Guelfi, Nicolas, editor, and Savidis, Anthony, editor

Published
2006
Full Text
View/download PDF

21. A Methodology and a Framework for Model-Based Testing

Author

Lucio, Levi, Pedro, Luis, Buchs, Didier, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Dough, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, and Guelfi, Nicolas, editor

Published
2005
Full Text
View/download PDF

22. 12 Technology of Test-Case Generation

Author

Lúcio, Levi, Samer, Marko, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Dough, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Broy, Manfred, editor, Jonsson, Bengt, editor, Katoen, Joost-Pieter, editor, Leucker, Martin, editor, and Pretschner, Alexander, editor

Published
2005
Full Text
View/download PDF

23. MoDeVVa Workshop Summary

Author

Lúcio, Levi, Weißleder, Stephan, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, and Ghosh, Sudipto, editor

Published
2010
Full Text
View/download PDF

26. Replica Management in the European DataGrid Project

Author

Cameron, David, Casey, James, Guy, Leanne, Kunszt, Peter, Lemaitre, Sophie, McCance, Gavin, Stockinger, Heinz, Stockinger, Kurt, Andronico, Giuseppe, Bell, William, Ben-Akiva, Itzhak, Bosio, Diana, Chytracek, Radovan, Domenici, Andrea, Donno, Flavia, Hoschek, Wolfgang, Laure, Erwin, Lucio, Levi, Millar, Paul, Salconi, Livio, Segal, Ben, and Silander, Mika

Published
2004
Full Text
View/download PDF

30. Albert Einstein : dal pacifismo all'idea del governo mondiale

Author

AA.VV, Lucio Levi, AA.VV, and Lucio Levi

Abstract

Albert Einstein è stato uno dei promotori del movimento per la pace in Europa all'inizio del XX secolo, denunciando instancabilmente l'imperfezione della nostra società determinata dalla presenza di una istituzione primitiva come la guerra, e dedicando le sue energie alla messa al bando della guerra stessa. Dopo l'ascesa al potere di Hitler, ha però abbandonato il pacifismo per abbracciare una visione federalista, secondo la quale la causa principale della guerra risiede nella divisione del mondo in stati sovrani e l'unico possibile veicolo di pace non può essere che il governo mondiale. Questo libro si occupa della visione di Einstein sulla guerra e sulla pace, e traccia l'evoluzione del suo pensiero su tali questioni, frutto dei numerosi confronti con fisici come Bohr, Planck e Szilard e intellettuali come Dewey, Freud, Gandhi, Mann Mumford, Rolland, Russell, Schweitzer e Tagore. I concetti chiave al centro di queste discussioni sono stati le cause della guerra – incluso il dibattito Einstein-Freud sulle ragioni psicologiche e politiche della guerra – e i mezzi per prevenirla, la distinzione tra antimilitarismo, pacifismo, internazionalismo e federalismo, la linea di demarcazione tra organizzazioni intergovernative e organizzazioni sovranazionali.

Published
2021

32. Albert Einstein From Pacifism to the Idea of World Government

Author

Lucio Levi and Lucio Levi

Abstract

Albert Einstein was one of the initiators of the peace movement in Europe in the early twentieth century. He tirelessly denounced the imperfections of society due to the primitive institution of war and devoted his energies to outlawing war. After Hitler's rise to power, he abandoned pacifism and instead embraced a federalist vision　according to which the root cause of war lies in the division of the world into sovereign states and the vehicle of peace is world government. This book explores Einstein's outlook on war and peace and traces the evolution of his thinking on these topics. In particular, Einstein developed a dialogue on war and peace with physicists like Bohr, Planck and Szilard as well intellectuals like Dewey, Freud, Gandhi, Mann, Mumford, Rolland Russell, Schweitzer and Tagore. The key concepts that were the focus of these discussions were the cause of war (included the Einstein–Freud debate on　psychological　and political causes of war) and the means to prevent it; the distinction between antimilitarism, pacifism, internationalism and federalism; and the dividing line between intergovernmental and supranational organizations.

Published
2020

39. Debugging of model transformations and contracts in SyVOLT

Author

Vangheluwe, Hans, Verbrugge, Clark, and Lucio, Levi

Subjects
Computer. Automation
Abstract

The SyVOLT tool verifies DSLTrans transformations by generating a state-space for the transformation’s execution, and then proving structural contracts on that state-space. As with any verification activity, it is non-trivial to ensure that these contracts are error-free and correspond to the user’s intention. SyVOLT detects and localizes errors in the input artefacts for the verification activity to provide the user with assistance in debugging the transformation and/or the contracts. This experience report details the techniques built into the analysis, monitoring, and reporting stages of the tool. These techniques include detection of invalid rules and contracts, a form of reachability analysis during state-space generation, and assist

Published
2018

44. Federalism : A Political Theory for Our Time

Author

Lucio Levi, Giampiero Bordino, Antonio Mosconi, Lucio Levi, Giampiero Bordino, and Antonio Mosconi

Subjects
Political science--Philosophy, Federal government--Philosophy
Abstract

This volume is a collection of essays published between 1999 and 2015 in the review The Federalist Debate. The book highlights the issue of federalism intended as a theoretical paradigm to interpret the major problems of our age, and in particular the issues of peace and war in a world characterized by an uncontrolled globalization.

Published
2016

50. Advances in model-driven security

Author

Lucio, Levi, Zhang, Qin, Nguyen, Phu H., Amrani, Moussa, Klein, Jacques, Vangheluwe, Hans, and Le Traon, Yves

Subjects
Computer. Automation
Abstract

Sound methodologies for constructing security-critical systems are extremely important in order to confront the increasingly varied security threats. As a response to this need, Model-Driven Security has emerged in the early 2000s as a specialized Model-Driven Engineering approach for supporting the development of security-critical systems. In this chapter we summarize the most important developments of Model-Driven Security during the past decade. In order to do so we start by building a taxonomy of the most important concepts of this domain. We then use our taxonomy to describe and evaluate a set of representative and influential Model-Driven Security approaches in the literature. In our development of this topic we concentrate on the concepts shared by Model-Driven Engineering and Model-Driven Security. This allows us to identify and debate the advantages, disadvantages, and open issues when applying Model-Driven Engineering to the Information Security domain. This chapter provides a broad view of Model-Driven Security and is intended as an introduction to Model-Driven Security for students, researchers, and practitioners.

Published
2014

Catalog

Books, media, physical & digital resources
See catalog results