Search results for "immutability"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
177	Yoav Zibin, Alex Potanin, Mahmood Ali, Shay Artzi, Adam Kiezun, Michael D. Ernst	Object and reference immutability using java generics.	ESEC/SIGSOFT FSE	2007	DBLP DOI BibTeX RDF	IGJ, const, java, generic, readonly, immutability
159	Igor Pechtchanski, Vivek Sarkar	Immutability specification and its applications.	Java Grande	2002	DBLP DOI BibTeX RDF	optimization, annotations, immutability
140	Matthew S. Tschantz, Michael D. Ernst	Javari: adding reference immutability to Java.	OOPSLA	2005	DBLP DOI BibTeX RDF	Javari, Java, verification, type system, assignable, readonly, immutability, mutable
122	Adrian Birka, Michael D. Ernst	A practical type system and language for reference immutability.	OOPSLA	2004	DBLP DOI BibTeX RDF	Javari, const, Java, verification, type system, readonly, immutability, mutable
115	Christian Haack, Erik Poll	Type-Based Object Immutability with Flexible Initialization.	ECOOP	2009	DBLP DOI BibTeX RDF
97	K. Rustan M. Leino, Peter Müller 0001, Angela Wallenburg	Flexible Immutability with Frozen Objects.	VSTTE	2008	DBLP DOI BibTeX RDF
86	Shay Artzi, Adam Kiezun, Jaime Quinonez, Michael D. Ernst	Parameter reference immutability: formal definition, inference tool, and comparison.	Autom. Softw. Eng.	2009	DBLP DOI BibTeX RDF	Reference immutability, Combined analysis, Definition, Readonly
86	Mahmood Ali, Yoav Zibin, Matthew M. Papi, Michael D. Ernst	Enforcing reference and object immutability in Java.	OOPSLA Companion	2008	DBLP DOI BibTeX RDF	IGJ, java, verification, compiler, case study, type system, polymorphism, assignable, bug finding, flow-sensitive, readonly, immutability, mutable, javac
79	Yin Liu, Ana L. Milanova	Ownership and Immutability Inference for UML-Based Object Access Control.	ICSE	2007	DBLP DOI BibTeX RDF
72	Christian Haack, Erik Poll, Jan Schäfer, Aleksy Schubert	Immutable Objects for a Java-Like Language.	ESOP	2007	DBLP DOI BibTeX RDF
60	Jaime Quinonez, Matthew S. Tschantz, Michael D. Ernst	Inference of Reference Immutability.	ECOOP	2008	DBLP DOI BibTeX RDF
50	Telmo Luis Correa Jr., Jaime Quinonez, Michael D. Ernst	Tools for enforcing and inferring reference immutability in Java.	OOPSLA Companion	2007	DBLP DOI BibTeX RDF	Javari, Java, verification, type system, assignable, side effects, readonly, immutability, mutable
44	Shay Artzi, Adam Kiezun, David Glasser, Michael D. Ernst	Combined static and dynamic mutability analysis.	ASE	2007	DBLP DOI BibTeX RDF	reference immutability, readonly
44	Charles Kindel	COM: what makes it work, black-box encapsulation through multiple, immutable interfaces.	EDOC	1997	DBLP DOI BibTeX RDF	commercial reality, black box-encapsulation, interface immutability, programming, multiple interfaces, component system, component object model, location transparency
42	Johan Östlund, Tobias Wrigstad, Dave Clarke 0001, Beatrice Åkerblom	Ownership, Uniqueness, and Immutability.	TOOLS (46)	2008	DBLP DOI BibTeX RDF
36	Christopher A. Stein, Michael J. Tucker, Margo I. Seltzer	Building a Reliable Mutable File System on Peer-to-Peer Storage.	SRDS	2002	DBLP DOI BibTeX RDF
36	Marina Biberstein, Joseph Gil, Sara Porat	Sealing, Encapsulation, and Mutability.	ECOOP	2001	DBLP DOI BibTeX RDF
24	Edward Lee, Ondrej Lhoták	Simple Reference Immutability for System F.	Proc. ACM Program. Lang.	2023	DBLP DOI BibTeX RDF
24	Savas Takan	Knowledge graph augmentation: consistency, immutability, reliability, and context.	PeerJ Comput. Sci.	2023	DBLP DOI BibTeX RDF
24	Edward Lee, Ondrej Lhoták	Simple Reference Immutability for System F-sub.	CoRR	2023	DBLP DOI BibTeX RDF
24	Faisal Haque Bappy, Saklain Zaman, Tariqul Islam 0001, Redwan Ahmed Rizvee, Joon S. Park, Kamrul Hasan	Towards Immutability: A Secure and Efficient Auditing Framework for Cloud Supporting Data Integrity and File Version Control.	CoRR	2023	DBLP DOI BibTeX RDF
24	Tobias Runge, Marco Servetto, Alex Potanin, Ina Schaefer	Immutability and Encapsulation for Sound OO Information Flow Control.	ACM Trans. Program. Lang. Syst.	2023	DBLP DOI BibTeX RDF
24	Tiago Guimarães, Ricardo Duarte, João Cunha, Pedro Silva, Manuel Filipe Santos	The Role of Blockchain Technology in Ensuring Security and Immutability of Open Data in Healthcare.	BLOCKCHAIN	2023	DBLP DOI BibTeX RDF
24	Faisal Haque Bappy, Saklain Zaman, Tariqul Islam 0001, Redwan Ahmed Rizvee, Joon S. Park, Kamrul Hasan	Towards Immutability: A Secure and Efficient Auditing Framework for Cloud Supporting Data Integrity and File Version Control.	GLOBECOM	2023	DBLP DOI BibTeX RDF
24	Tiago Guimarães, Ricardo Duarte, João Cunha, Paulo Gomes, Manuel Filipe Santos	Security and Immutability of Open Data in Healthcare.	ANT/EDI40	2023	DBLP DOI BibTeX RDF
24	Hakan Altas, Gökhan Dalkiliç, Umut Can Çabuk	Data immutability and event management via blockchain in the Internet of things.	Turkish J. Electr. Eng. Comput. Sci.	2022	DBLP DOI BibTeX RDF
24	Sandra Wachter	The Theory of Artificial Immutability: Protecting Algorithmic Groups Under Anti-Discrimination Law.	CoRR	2022	DBLP DOI BibTeX RDF
24	Xiaoming Li, Huigang Liang	Blockchain solution benefits for controlling pandemics: Bottom-up decentralization, automation with real-time update, and immutability with privacy preservation.	Comput. Ind. Eng.	2022	DBLP DOI BibTeX RDF
24	Valerio Mandarino, Giuseppe Pappalardo, Emiliano Tramontana	Some Blockchain Design Patterns for Overcoming Immutability, Chain-Boundedness, and Gas Fees.	ACCC	2022	DBLP DOI BibTeX RDF
24	Tobias Roth, Dominik Helm, Michael Reif, Mira Mezini	CiFi: Versatile Analysis of Class and Field Immutability.	Software Engineering	2022	DBLP DOI BibTeX RDF
24	Hrvoje Stancic, Vladimir Bralic	Digital Archives Relying on Blockchain: Overcoming the Limitations of Data Immutability.	Comput.	2021	DBLP DOI BibTeX RDF
24	Seamus Brady	Immutability and Design Patterns in Ruby.	CoRR	2021	DBLP BibTeX RDF
24	Ali Dorri, Fengji Luo, Samuel Karumba, Salil S. Kanhere, Raja Jurdak, Zhao Yang Dong	Temporary immutability: A removable blockchain solution for prosumer-side energy trading.	J. Netw. Comput. Appl.	2021	DBLP DOI BibTeX RDF
24	Vinícius Lima 0001, Filipe Andrade Bernardi, Rui Rijo, Jó Ueyama, Domingos Alves	A Mechanism for Verifying the Integrity and Immutability of Tuberculosis Data Using IOTA Distributed Ledger Technology.	dHealth	2021	DBLP DOI BibTeX RDF
24	Tamás Borbély, Árpád János Wild, Balázs Pintér, Tibor Gregorics	Using Machine Learning to Identify Methods Violating Immutability.	SAI (2)	2021	DBLP DOI BibTeX RDF
24	Tobias Roth, Dominik Helm, Michael Reif, Mira Mezini	CiFi: Versatile Analysis of Class and Field Immutability.	ASE	2021	DBLP DOI BibTeX RDF
24	Fran Casino, Eugenia A. Politou, Efthimios Alepis, Constantinos Patsakis	Immutability and Decentralized Storage: An Analysis of Emerging Threats.	IEEE Access	2020	DBLP DOI BibTeX RDF
24	Bernard Wyrwol	Implementation of the FATI hierarchical fuzzy inference system using the immutability decomposition method.	Fuzzy Sets Syst.	2020	DBLP DOI BibTeX RDF
24	Sören Wallbach, Roland Lehner, Konstantin Roethke, Ralf Elbert, Alexander Benlian	Trust-Building Effects of Blockchain Features - An Empirical Analysis of Immutability, Traceability and Anonymity.	ECIS	2020	DBLP BibTeX RDF
24	Yegor Bugayenko 0001, Sergey V. Zykov	The Impact of Object Immutability on the Java Class Size.	KES	2020	DBLP DOI BibTeX RDF
24	Ivan A. Tarkhanov, Denis V. Fomin-Nilov, Michael V. Fomin	Application of public blockchain to control the immutability of data in online scientific periodicals.	Libr. Hi Tech	2019	DBLP DOI BibTeX RDF
24	Paola Giannini, Marco Servetto, Elena Zucca, James Cone	Flexible recovery of uniqueness and immutability.	Theor. Comput. Sci.	2019	DBLP DOI BibTeX RDF
24	Usman Tariq, Atef Ibrahim, Tariq Ahmad 0001, Yassine Bouteraa, Ahmed M. Elmogy	Blockchain in internet-of-things: a necessity framework for security, reliability, transparency, immutability and liability.	IET Commun.	2019	DBLP DOI BibTeX RDF
24	Pat Helland	The I's Have It: Identity, Immutability, Idempotence, and Interchangeability Form the Backbone of Distributed Computing.	CIDR	2019	DBLP BibTeX RDF
24	Jonathan Eyolfson, Patrick Lam 0001	How C++ developers use immutability declarations: an empirical study.	ICSE	2019	DBLP DOI BibTeX RDF
24	Gowri Sankar Ramachandran, Kwame-Lante Wright, Bhaskar Krishnamachari	Trinity: A Distributed Publish/Subscribe Broker with Blockchain-based Immutability.	CoRR	2018	DBLP BibTeX RDF
24	Ernst-Georg Schmid	Right to Sign: Safeguarding data immutability in blockchain systems with cryptographic signatures over a broad range of available consensus finding scenarios.	CoRR	2018	DBLP BibTeX RDF
24	Paola Giannini, Marco Servetto, Elena Zucca, James Cone	Flexible recovery of uniqueness and immutability (Extended Version).	CoRR	2018	DBLP BibTeX RDF
24	Paola Giannini, Marco Servetto, Elena Zucca	A type and effect system for uniqueness and immutability.	SAC	2018	DBLP DOI BibTeX RDF
24	Hyong S. Kim, Ke Wang	Immutability Measure for Different Blockchain Structures.	Sarnoff Symposium	2018	DBLP DOI BibTeX RDF
24	Jonathan Eyolfson	Enforcing Abstract Immutability.		2018	RDF
24	Philipp Haller, Ludvig Axelsson	Quantifying and Explaining Immutability in Scala.	PLACES@ETAPS	2017	DBLP DOI BibTeX RDF
24	Benjamin Holland, Ganesh Ram Santhanam, Suresh C. Kothari	Transferring State-of-the-Art Immutability Analyses: Experimentation Toolbox and Accuracy Benchmark.	ICST	2017	DBLP DOI BibTeX RDF
24	Nitesh Emmadi, Harika Narumanchi	Reinforcing Immutability of Permissioned Blockchains with Keyless Signatures' Infrastructure.	ICDCN	2017	DBLP BibTeX RDF
24	Sam Weber, Michael J. Coblenz, Brad A. Myers, Jonathan Aldrich, Joshua Sunshine	Empirical Studies on the Security and Usability Impact of Immutability.	SecDev	2017	DBLP DOI BibTeX RDF
24	Frank Hofmann, Simone Wurster, Eyal Ron, Moritz Bohmecke-Schwafert	The immutability concept of blockchains and benefits of early standardization.	Kaleidoscope	2017	DBLP DOI BibTeX RDF
24	Michael Fröwis, Rainer Böhme	In Code We Trust? - Measuring the Control Flow Immutability of All Smart Contracts Deployed on Ethereum.	DPM/CBT@ESORICS	2017	DBLP DOI BibTeX RDF
24	Michael J. Coblenz, Whitney Nelson, Jonathan Aldrich, Brad A. Myers, Joshua Sunshine	Glacier: transitive class immutability for Java.	ICSE	2017	DBLP DOI BibTeX RDF
24	David W. Kravitz	Transaction Immutability and Reputation Traceability: Blockchain as a Platform for Access Controlled IoT and Human Interactivity.	PST	2017	DBLP DOI BibTeX RDF
24	Jon Eyolfson, Patrick Lam 0001	C++ const and Immutability: An Empirical Study of Writes-Through-const (Artifact).	Dagstuhl Artifacts Ser.	2016	DBLP DOI BibTeX RDF
24	Oliver Haase	Abstract Interpretation of Java Bytecode for Immutability Analysis.	J. Comput. Sci.	2016	DBLP DOI BibTeX RDF
24	Pat Helland	Immutability changes everything.	Commun. ACM	2016	DBLP DOI BibTeX RDF
24	Ana L. Milanova, Yao Dong 0001	Inference and Checking of Object Immutability.	PPPJ	2016	DBLP DOI BibTeX RDF
24	Jon Eyolfson, Patrick Lam 0001	C++ const and Immutability: An Empirical Study of Writes-Through-const.	ECOOP	2016	DBLP DOI BibTeX RDF
24	Paola Giannini, Marco Servetto, Elena Zucca	Types for Immutability and Aliasing Control.	ICTCS	2016	DBLP BibTeX RDF
24	Michael J. Coblenz, Joshua Sunshine, Jonathan Aldrich, Brad A. Myers, Sam Weber, Forrest Shull	Exploring language support for immutability.	ICSE	2016	DBLP DOI BibTeX RDF
24	Pat Helland	Immutability Changes Everything.	ACM Queue	2015	DBLP DOI BibTeX RDF
24	Michael J. Coblenz, Joshua Sunshine, Brad A. Myers, Sam Weber, Forrest Shull	Comparing transitive to non-transitive object immutability.	PLATEAU@SPLASH	2015	DBLP DOI BibTeX RDF
24	Pat Helland	Immutability Changes Everything.	CIDR	2015	DBLP BibTeX RDF
24	Andreea Costea, Asankhaya Sharma, Cristina David	HIPimm: verifying granular immutability guarantees.	PEPM	2014	DBLP DOI BibTeX RDF
24	Alex Potanin, Johan Östlund, Yoav Zibin, Michael D. Ernst	Immutability.	Aliasing in Object-Oriented Programming	2013	DBLP DOI BibTeX RDF
24	Ana L. Milanova, Wei Huang 0001	Composing polymorphic information flow systems with reference immutability.	FTfJP@ECOOP	2013	DBLP DOI BibTeX RDF
24	Wei Huang 0001, Ana L. Milanova, Werner Dietl, Michael D. Ernst	Reim & ReImInfer: checking and inference of reference immutability and method purity.	OOPSLA	2012	DBLP DOI BibTeX RDF
24	Colin S. Gordon, Matthew J. Parkinson, Jared Parsons, Aleks Bromfield, Joe Duffy	Uniqueness and reference immutability for safe parallelism.	OOPSLA	2012	DBLP DOI BibTeX RDF
24	Julian Mackay, Hannes Mehnert, Alex Potanin, Lindsay Groves, Nicholas Cameron 0001	Encoding Featherweight Java with assignment and immutability using the Coq proof assistant.	FTfJP@ECOOP	2012	DBLP DOI BibTeX RDF
24	Fredrik Kjolstad, Danny Dig, Gabriel Acevedo, Marc Snir	Transformation for class immutability.	ICSE	2011	DBLP DOI BibTeX RDF
24	Yoav Zibin, Alex Potanin, Paley Li, Mahmood Ali, Michael D. Ernst	Ownership and immutability in generic Java.	OOPSLA	2010	DBLP DOI BibTeX RDF
24	Igor Pechtchanski, Vivek Sarkar	Immutability specification and its applications.	Concurr. Pract. Exp.	2005	DBLP DOI BibTeX RDF
24	Katrin Jonsson, Jonny Holmström	Ubiquitous Computing and the Double Immutability of Remote Diagnostics Technology: An Exploration into Six Cases of Remote Diagnostics Technology Use.	Designing Ubiquitous Information Environments	2005	DBLP DOI BibTeX RDF
24	Einar Mykletun, Maithili Narasimha, Gene Tsudik	Signature Bouquets: Immutability for Aggregated/Condensed Signatures.	IACR Cryptol. ePrint Arch.	2004	DBLP BibTeX RDF
24	Einar Mykletun, Maithili Narasimha, Gene Tsudik	Signature Bouquets: Immutability for Aggregated/Condensed Signatures.	ESORICS	2004	DBLP DOI BibTeX RDF
24	Tom Head	Deciding the Immutability of Regular Codes and Languages Under Finite Transductions.	Inf. Process. Lett.	1989	DBLP DOI BibTeX RDF
24	Renato M. Capocelli, Luisa Gargano, Ugo Vaccaro	An efficient algorithm for testing immutability of variable-length codes.	IEEE Trans. Inf. Theory	1989	DBLP DOI BibTeX RDF
24	Ernst L. Leiss	On testing for immutability of codes.	IEEE Trans. Inf. Theory	1987	DBLP DOI BibTeX RDF
18	Di Ma, Gene Tsudik	A new approach to secure logging.	ACM Trans. Storage	2009	DBLP DOI BibTeX RDF	Secure logging, forward secure sequential aggregate (FssAgg) authentication, forward-secure stream integrity, MACs, signatures, truncation attack
18	Yin Liu, Ana L. Milanova	Practical static analysis for inference of security-related program properties.	ICPC	2009	DBLP DOI BibTeX RDF
18	Christina Brzuska, Marc Fischlin, Tobias Freudenreich, Anja Lehmann, Marcus Page, Jakob Schelbert, Dominique Schröder, Florian Volk	Security of Sanitizable Signatures Revisited.	Public Key Cryptography	2009	DBLP DOI BibTeX RDF
18	Ian Rogers, Jisheng Zhao, Chris C. Kirkham, Ian Watson	Constraint based optimization of stationary fields.	PPPJ	2008	DBLP DOI BibTeX RDF
18	Kevin R. B. Butler, Stephen E. McLaughlin, Patrick D. McDaniel	Rootkit-resistant disks.	CCS	2008	DBLP DOI BibTeX RDF	security, storage, labels, rootkits
18	Swaroop Sridhar, Jonathan S. Shapiro, Scott F. Smith 0001	Sound and Complete Type Inference for a Systems Programming Language.	APLAS	2008	DBLP DOI BibTeX RDF
18	Sergey Bratus, Nihal D'Cunha, Evan R. Sparks, Sean W. Smith	TOCTOU, Traps, and Trusted Computing.	TRUST	2008	DBLP DOI BibTeX RDF
18	Meihua Wang, Kefeng Fan, Qingqi Pei, Shuguang Wang, Shan Cao	A Novel Digital Content Protection System Based on Iris Biometric.	FSKD (4)	2007	DBLP DOI BibTeX RDF
18	Frank Kargl, Stefan Schlott, Michael Weber 0001	Identification in Ad Hoc Networks.	HICSS	2006	DBLP DOI BibTeX RDF
18	Joseph Gil, Itay Maman	Micro patterns in Java code.	OOPSLA	2005	DBLP DOI BibTeX RDF	implementation patterns, object-oriented programming, design patterns, program analysis
18	Wei-Ngan Chin, Siau-Cheng Khoo, Shengchao Qin, Corneliu Popeea, Huu Hai Nguyen	Verifying safety policies with size properties and alias controls.	ICSE	2005	DBLP DOI BibTeX RDF	alias control, object-based programs, size properties, dependent types, safety verification
18	P. Krishna Gummadi, Richard J. Dunn, Stefan Saroiu, Steven D. Gribble, Henry M. Levy, John Zahorjan	Measurement, modeling, and analysis of a peer-to-peer file-sharing workload.	SOSP	2003	DBLP DOI BibTeX RDF	multimedia workloads, modeling, peer-to-peer, measurement, Zipf's law
18	Yang-Koo Kang, Moon-Hyun Kim	Real-Time Fingerprints Recognition Mechanism-Based on Digital Contents Protection System for Interaction on Web.	PRDC	2001	DBLP DOI BibTeX RDF	Digital Contents protection, Digital Rights Providers, Fingerprint Recognition Mechanism, DRM
18	L. McClaren	Manuals that meet market demands.	SIGDOC	1989	DBLP DOI BibTeX RDF
18	Colin Low	A Shared, Persistent Object Store.	ECOOP	1988	DBLP DOI BibTeX RDF	immutable objects, distributed systems, object-oriented programming, persistence, Smalltalk-80, atomic transactions