Search results for "ambients"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
77	Hua Jiang, Xinxing Tan, Xiang Li	Boxed Safe Ambients with Password and Application on the Internet.	ICNSC	2008	DBLP DOI BibTeX RDF
77	Bogdan Aman, Gabriel Ciobanu	Timed Mobile Ambients for Network Protocols.	FORTE	2008	DBLP DOI BibTeX RDF
77	Bogdan Aman, Gabriel Ciobanu	Mobile Ambients with Timers and Types.	ICTAC	2007	DBLP DOI BibTeX RDF
77	Francesca Levi	A typed encoding of boxed into safe ambients.	Acta Informatica	2006	DBLP DOI BibTeX RDF
75	Giorgio Delzanno, Roberto Montagna	Reachability analysis of fragments of mobile ambients in AC term rewriting.	Formal Aspects Comput.	2008	DBLP DOI BibTeX RDF	Petri nets, Term rewriting, Reachability, Mobile ambients
75	Hong Zhang, Lei Liu	An Abstract Interpretation Frame of the Calculus of Boxed Ambients Based on the Ambient Occurrence Counting.	ISECS	2008	DBLP DOI BibTeX RDF	Boxed Ambients, the ambient occurrence counting, abstract interpretation
68	Roberta Gori, Francesca Levi	A New Occurrence Counting Analysis for BioAmbients.	APLAS	2005	DBLP DOI BibTeX RDF	Mobile Ambients and BioAmbients calculus, static analysis, abstract interpretation
63	Virginia N. L. Franqueira, Raul H. C. Lopes, Pascal van Eck	Multi-step attack modelling and simulation (MsAMS) framework based on mobile ambients.	SAC	2009	DBLP DOI BibTeX RDF	hypergraph, attack graph, vulnerability assessment, network attack
63	Fabio Gadducci, Giacoma Valentina Monreale	A Decentralized Implementation of Mobile Ambients.	ICGT	2008	DBLP DOI BibTeX RDF
63	Yuxi Fu	Fair ambients.	Acta Informatica	2007	DBLP DOI BibTeX RDF
63	Bogdan Aman, Gabriel Ciobanu	Timers and Proximities for Mobile Ambients.	CSR	2007	DBLP DOI BibTeX RDF
63	Massimo Merro, Matthew Hennessy	A bisimulation-based semantic theory of Safe Ambients.	ACM Trans. Program. Lang. Syst.	2006	DBLP DOI BibTeX RDF	distributed systems, Mobile agents, bisimulation
63	Gabriel Ciobanu, Vladimir A. Zakharov	Encoding Mobile Ambients into the pi -Calculus.	Ershov Memorial Conference	2006	DBLP DOI BibTeX RDF
63	Nadia Busi, Gianluigi Zavattaro	Reachability Analysis in Boxed Ambients.	ICTCS	2005	DBLP DOI BibTeX RDF
63	David Teller, Pascal Zimmer, Daniel Hirschkoff	Using ambients to control resources.	Int. J. Inf. Sec.	2004	DBLP DOI BibTeX RDF	Type system, Process algebra, Resource control, Global computing
63	Michele Bugliesi, Giuseppe Castagna, Silvia Crafa	Access control for mobile agents: The calculus of boxed ambients.	ACM Trans. Program. Lang. Syst.	2004	DBLP DOI BibTeX RDF	Ambient calculi, access control systems, mobile computation, type systems, type safety
63	Francesca Levi, Chiara Bodei	A Control Flow Analysis for Safe and Boxed Ambients.	ESOP	2004	DBLP DOI BibTeX RDF
63	Eduardo Bonelli, Adriana B. Compagnoni, Mariangiola Dezani-Ciancaglini, Pablo Garralda	Boxed Ambients with Communication Interfaces.	MFCS	2004	DBLP DOI BibTeX RDF
63	David Teller, Pascal Zimmer, Daniel Hirschkoff	Using Ambients to Control Resources.	CONCUR	2002	DBLP DOI BibTeX RDF
63	Michele Bugliesi, Silvia Crafa, Massimo Merro, Vladimiro Sassone	Communication Interference in Mobile Boxed Ambients.	FSTTCS	2002	DBLP DOI BibTeX RDF
63	Michele Bugliesi, Giuseppe Castagna	Secure safe ambients.	POPL	2001	DBLP DOI BibTeX RDF
63	Davide Sangiorgi, Andrea Valente	A Distributed Abstract Machine for Safe Ambients.	ICALP	2001	DBLP DOI BibTeX RDF
63	Jérôme Feret	Abstract Interpretation-Based Static Analysis of Mobile Ambients.	SAS	2001	DBLP DOI BibTeX RDF
63	Michele Bugliesi, Giuseppe Castagna, Silvia Crafa	Boxed Ambients.	TACS	2001	DBLP DOI BibTeX RDF
63	Francesca Levi, Davide Sangiorgi	Controlling Interference in Ambients.	POPL	2000	DBLP DOI BibTeX RDF
63	Mariangiola Dezani-Ciancaglini, Ivano Salvo	Security Types for Mobile Safe Ambients.	ASIAN	2000	DBLP DOI BibTeX RDF
61	Pablo Garralda, Adriana B. Compagnoni, Mariangiola Dezani-Ciancaglini	BASS: boxed ambients with safe sessions.	PPDP	2006	DBLP DOI BibTeX RDF	boxed ambients, session types, ambient calculus
61	Huimin Lin	Predicate µ-Calculus for Mobile Ambients.	J. Comput. Sci. Technol.	2005	DBLP DOI BibTeX RDF	model checking, mu-calculus, fixpoints, spatial logic, mobile ambients
56	Hanne Riis Nielson, Flemming Nielson, Mikael Buchholtz	Security for Mobility.	FOSAD	2002	DBLP DOI BibTeX RDF
49	Virginia N. L. Franqueira, Pascal van Eck, Roel J. Wieringa, Raul H. C. Lopes	A Mobile Ambients-Based Approach for Network Attack Modelling and Simulation.	ARES	2009	DBLP DOI BibTeX RDF
49	Giorgio Delzanno, Roberto Montagna	Reachability Analysis of Mobile Ambients in Fragments of AC Term Rewriting.	ICTAC	2006	DBLP DOI BibTeX RDF
49	Francesca Levi, Davide Sangiorgi	Mobile safe ambients.	ACM Trans. Program. Lang. Syst.	2003	DBLP DOI BibTeX RDF	behavioral equivalences, Mobility, interferences
49	Francesca Levi	Types for Evolving Communication in Safe Ambients.	VMCAI	2003	DBLP DOI BibTeX RDF
49	Linda Brodo, Pierpaolo Degano, Corrado Priami	Reflecting Mobile Ambients into the p-Calculus.	Global Computing	2003	DBLP DOI BibTeX RDF
49	Witold Charatonik, Andrew D. Gordon 0001, Jean-Marc Talbot	Finite-Control Mobile Ambients.	ESOP	2002	DBLP DOI BibTeX RDF
49	Massimo Merro, Vladimiro Sassone	Typing and Subtyping Mobility in Boxed Ambients.	CONCUR	2002	DBLP DOI BibTeX RDF
49	Gian-Luigi Ferrari 0002, Ugo Montanari, Emilio Tuosto	A LTS Semantics of Ambients via Graph Synchronization with Mobility.	ICTCS	2001	DBLP DOI BibTeX RDF
49	Michele Bugliesi, Giuseppe Castagna, Silvia Crafa	Reasoning about Security in Mobile Ambients.	CONCUR	2001	DBLP DOI BibTeX RDF
49	Pierpaolo Degano, Francesca Levi, Chiara Bodei	Safe Ambients: Control Flow Analysis and Security.	ASIAN	2000	DBLP DOI BibTeX RDF
49	Luca Cardelli, Andrew D. Gordon 0001, Giorgio Ghelli	Mobility Types for Mobile Ambients.	ICALP	1999	DBLP DOI BibTeX RDF
42	Andrew Phillips, Nobuko Yoshida, Susan Eisenbach	A Distributed Abstract Machine for Boxed Ambient Calculi.	ESOP	2004	DBLP DOI BibTeX RDF
42	Elio Giovannetti	Ambient Calculi with Types: A Tutorial.	Global Computing	2003	DBLP DOI BibTeX RDF
40	Doina Bucur, Mogens Nielsen	Secure Data Flow in a Calculus for Context Awareness.	Concurrency, Graphs and Models	2008	DBLP DOI BibTeX RDF	security, Ubiquitous Computing, context awareness, type system, Mobile Ambients
40	Thomas Bolander, René Rydhof Hansen	Hybrid Logical Analyses of the Ambient Calculus.	WoLLIC	2007	DBLP DOI BibTeX RDF	static analysis, Hybrid logic, mobile ambients
40	Alan Schmitt, Jean-Bernard Stefani	The Kell Calculus: A Family of Higher-Order Distributed Process Calculi.	Global Computing	2004	DBLP DOI BibTeX RDF	higher-order bisimulation, components, distributed programming, mobile code, Process calculi, ambients, higher-order languages
35	Filippo Bonchi, Fabio Gadducci, Giacoma Valentina Monreale	Reactive Systems, Barbed Semantics, and the Mobile Ambients.	FoSSaCS	2009	DBLP DOI BibTeX RDF
35	Rongde Lin, Jianqing Xi, Yubin Guo	Dormancy and Spatial Logic of Mobile Ambients.	FSKD (1)	2008	DBLP DOI BibTeX RDF
35	Julian Rathke, Pawel Sobocinski 0001	Deriving Structural Labelled Transitions for Mobile Ambients.	CONCUR	2008	DBLP DOI BibTeX RDF
35	Massimo Merro, Francesco Zappa Nardelli	Behavioral theory for mobile ambients.	J. ACM	2005	DBLP DOI BibTeX RDF	Behavioral theories, concurrency, programming languages, bisimulation, process calculi
35	Dino Distefano	A Parametric Model for the Analysis of Mobile Ambients.	APLAS	2005	DBLP DOI BibTeX RDF
35	Nadia Busi, Gianluigi Zavattaro	Deciding Reachability in Mobile Ambients.	ESOP	2005	DBLP DOI BibTeX RDF
35	Daniel Hirschkoff, Damien Pous, Davide Sangiorgi	A Correct Abstract Machine for Safe Ambients.	COORDINATION	2005	DBLP DOI BibTeX RDF
35	Massimo Merro, Francesco Zappa Nardelli	Bisimulation Proof Methods for Mobile Ambients.	ICALP	2003	DBLP DOI BibTeX RDF
35	Chiara Braghin, Agostino Cortesi, Stefano Filippone, Riccardo Focardi, Flaminia L. Luccio, Carla Piazza	BANANA - A Tool for Boundary Ambients Nesting ANAlysis.	TACAS	2003	DBLP DOI BibTeX RDF
35	Massimo Merro, Matthew Hennessy	Bisimulation congruences in safe ambients.	POPL	2002	DBLP DOI BibTeX RDF
35	Mario Coppo, Mariangiola Dezani-Ciancaglini	A Fully Abstract Model for Higher-Order Mobile Ambients.	VMCAI	2002	DBLP DOI BibTeX RDF
35	Gian-Luigi Ferrari 0002, Emilio Tuosto	A debugging calculus for mobile ambients.	SAC	2001	DBLP DOI BibTeX RDF
35	Torben Amtoft, A. J. Kfoury, Santiago M. Pericás-Geertsen	What Are Polymorphically-Typed Ambients?	ESOP	2001	DBLP DOI BibTeX RDF
35	Francesca Levi, Sergio Maffeis	An Abstract Interpretation Framework for Analysing Mobile Ambients.	SAS	2001	DBLP DOI BibTeX RDF
35	Witold Charatonik, Jean-Marc Talbot	The Decidability of Model Checking Mobile Ambients.	CSL	2001	DBLP DOI BibTeX RDF
35	Silvano Dal-Zilio	Spatial Congruence for Ambients Is Decidable.	ASIAN	2000	DBLP DOI BibTeX RDF
35	Cédric Fournet, Jean-Jacques Lévy, Alan Schmitt	An Asynchronous, Distributed Implementation of Mobile Ambients.	IFIP TCS	2000	DBLP DOI BibTeX RDF
35	Flemming Nielson, Hanne Riis Nielson, René Rydhof Hansen, Jacob Grydholt Jensen	Validating Firewalls in Mobile Ambients.	CONCUR	1999	DBLP DOI BibTeX RDF
28	Mario Coppo, Federico Cozzi, Mariangiola Dezani-Ciancaglini, Elio Giovannetti, Rosario Pugliese	A Mobility Calculus with Local and Dependent Types.	Processes, Terms and Cycles	2005	DBLP DOI BibTeX RDF
28	Iain Phillips 0001, Maria Grazia Vigliotti	Electoral Systems in Ambient Calculi.	FoSSaCS	2004	DBLP DOI BibTeX RDF
26	Thomas A. Kuhn, David von Oheimb	Interacting State Machines for Mobility.	FME	2003	DBLP DOI BibTeX RDF	dynamic communication, boxed ambients, Interacting State Machines, verification, mobility, mobile agents, formal modeling
21	François Siewe	Towards the Formal Analysis of UML Activity Diagrams in a Calculus of Context-aware Ambients.	COMPSAC	2023	DBLP DOI BibTeX RDF
21	Kirstin Peters, Uwe Nestmann	Distributability of mobile ambients.	Inf. Comput.	2020	DBLP DOI BibTeX RDF
21	Einar Broch Johnsen, Martin Steffen, Johanna Beate Stumpf	Assumption-Commitment Types for Resource Management in Virtually Timed Ambients.	ISoLA (1)	2020	DBLP DOI BibTeX RDF
21	François Siewe, Vasileios Germanos, Wen Zeng	Analysing Petri Nets in a Calculus of Context-Aware Ambients.	COMPSAC	2020	DBLP DOI BibTeX RDF
21	Einar Broch Johnsen, Martin Steffen, Johanna Beate Stumpf	Virtually timed ambients: A calculus of nested virtualization.	J. Log. Algebraic Methods Program.	2018	DBLP DOI BibTeX RDF
21	Linda Brodo	On the expressiveness of π-calculus for encoding mobile ambients.	Math. Struct. Comput. Sci.	2018	DBLP DOI BibTeX RDF
21	Kirstin Peters, Uwe Nestmann	On the Distributability of Mobile Ambients (Technical Report).	CoRR	2018	DBLP BibTeX RDF
21	Einar Broch Johnsen, Martin Steffen, Johanna Beate Stumpf	Assumption Commitment Types for Resource Management in Virtually Timed Ambients.	CoRR	2018	DBLP BibTeX RDF
21	Kirstin Peters, Uwe Nestmann	On the Distributability of Mobile Ambients.	EXPRESS/SOS	2018	DBLP DOI BibTeX RDF
21	Lei Zhang, Yue Long, Yongzhi Cao, Hanpin Wang	Probabilistic Context-Aware Ambients.	ICCSIP (1)	2018	DBLP DOI BibTeX RDF
21	Einar Broch Johnsen, Martin Steffen, Johanna Beate Stumpf, Lars Tveito	Checking Modal Contracts for Virtually Timed Ambients.	ICTAC	2018	DBLP DOI BibTeX RDF
21	Einar Broch Johnsen, Martin Steffen, Johanna Beate Stumpf, Lars Tveito	Resource-Aware Virtually Timed Ambients.	IFM	2018	DBLP DOI BibTeX RDF
21	Xuansong Li, Wei Song, Haibo Ye	ALChecker: A Tool for Checking Mobile Ambients.	SmartWorld/SCALCOM/UIC/ATC/CBDCom/IOP/SCI	2018	DBLP DOI BibTeX RDF
21	René Rydhof Hansen, Christian W. Probst	Modelling and Analysing Overlay Networks by Ambients with Wormholes.	ICMU	2018	DBLP DOI BibTeX RDF
21	Johanna Beate Stumpf	Virtually Timed Ambients: A Calculus for Resource Management in Cloud Computing.		2018	RDF
21	Luca Cerina, Sara Notargiacomo, Matteo GrecoLuca Paccanit, Marco Domenico Santambrogio	A fog-computing architecture for preventive healthcare and assisted living in smart ambients.	RTSI	2017	DBLP DOI BibTeX RDF
21	Sara Hassan, Nour Ali, Rami Bahsoon	Microservice Ambients: An Architectural Meta-Modelling Approach for Microservice Granularity.	ICSA	2017	DBLP DOI BibTeX RDF
21	Susanne Göbel	A Polynomial Translation of Mobile Ambients into Safe Petri Nets - Understanding a Calculus of Hierarchical Protection Domains		2016	DOI RDF
21	Einar Broch Johnsen, Martin Steffen, Johanna Beate Stumpf	A Calculus of Virtually Timed Ambients.	WADT	2016	DBLP DOI BibTeX RDF
21	Vincenzo De Florio	On ambients as systemic exoskeletons: Crosscutting optimizers and antifragility enablers.	CoRR	2015	DBLP BibTeX RDF
21	N. V. Narendra Kumar, R. K. Shyamasundar	Labelled mobile ambients model for information flow security in distributed systems.	SIN	2015	DBLP DOI BibTeX RDF
21	François Siewe, Ahmed Al-alshuhai	From use case diagrams to executable context-aware ambients.	ICITST	2015	DBLP DOI BibTeX RDF
21	François Siewe	A Privacy Type System for Context-aware Mobile Ambients.	ANT/SEIT	2015	DBLP DOI BibTeX RDF
21	Filippo Bonchi, Fabio Gadducci, Giacoma Valentina Monreale	RPO semantics for mobile ambients.	Math. Struct. Comput. Sci.	2014	DBLP DOI BibTeX RDF
21	Nour Ali, Fei Chen, Carlos Solís	Modeling Support for Mobile Ambients in Service Oriented Architecture.	IEEE MS	2012	DBLP DOI BibTeX RDF
21	Bogdan Aman, Gabriel Ciobanu	Coordinating Parallel Mobile Ambients to Solve SAT Problem in Polynomial Number of Steps.	COORDINATION	2012	DBLP DOI BibTeX RDF
21	Zining Cao	A Calculus of Higher Order Safe Ambients and Its Bisimulations.	TASE	2012	DBLP DOI BibTeX RDF
21	Fabio Gadducci, Giacoma Valentina Monreale	A decentralised graphical implementation of mobile ambients.	J. Log. Algebraic Methods Program.	2011	DBLP DOI BibTeX RDF
21	François Siewe, Hussein Zedan, Antonio Cau	The Calculus of Context-aware Ambients.	J. Comput. Syst. Sci.	2011	DBLP DOI BibTeX RDF
21	Seiji Umatani, Masahiro Yasugi, Taiichi Yuasa	Abstract Machines for Safe Ambients in Wide-Area and Mobile Networks.	COORDINATION	2011	DBLP DOI BibTeX RDF
21	Giacoma Valentina Monreale	Adequacy Issues in Reactive Systems: Barbed Semantics for Mobile Ambients.		2011	RDF
21	Bogdan Aman, Gabriel Ciobanu	Computational Aspects of Mobile Membranes, Brane Calculi and Mobile Ambients.	Scholarpedia	2010	DBLP DOI BibTeX RDF
21	Nour Ali, Isidro Ramos, Carlos Solís	Ambient-PRISMA: Ambients in mobile aspect-oriented software architecture.	J. Syst. Softw.	2010	DBLP DOI BibTeX RDF
21	Julian Rathke, Pawel Sobocinski 0001	Deriving structural labelled transitions for mobile ambients.	Inf. Comput.	2010	DBLP DOI BibTeX RDF