Search results for "unwinding"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
132	Heiko Mantel	Unwinding Possibilistic Security Properties.	ESORICS	2000	DBLP DOI BibTeX RDF	unwinding, refinement, information flow, security models
71	David von Oheimb	Information Flow Control Revisited: Noninfluence = Noninterference + Nonleakage.	ESORICS	2004	DBLP DOI BibTeX RDF
60	Annalisa Bossi, Carla Piazza, Sabina Rossi	Unwinding Conditions for Security in Imperative Languages.	LOPSTR	2004	DBLP DOI BibTeX RDF
53	Xinyu Feng 0001, Zhong Shao, Alexander Vaynberg, Sen Xiang, Zhaozhong Ni	Modular verification of assembly code with stack-based control abstractions.	PLDI	2006	DBLP DOI BibTeX RDF	assembly code verification, control abstractions, stack-based, modularity, proof-carrying code
42	Annalisa Bossi, Riccardo Focardi, Carla Piazza, Sabina Rossi	Bisimulation and Unwinding for Verifying Possibilistic Security Properties.	VMCAI	2003	DBLP DOI BibTeX RDF
36	Takeshi Ogasawara, Hideaki Komatsu, Toshio Nakatani	EDO: Exception-directed optimization in java.	ACM Trans. Program. Lang. Syst.	2006	DBLP DOI BibTeX RDF	Feedback-directed dynamic optimization, exception handling, dynamic compilers, inlining
36	Silvia Crafa, Sabina Rossi	A Theory of Noninterference for the pi-Calculus.	TGC	2005	DBLP DOI BibTeX RDF
36	Annalisa Bossi, Carla Piazza, Sabina Rossi	Modelling Downgrading in Information Flow Security.	CSFW	2004	DBLP DOI BibTeX RDF
36	Yasuhiko Kitamura, Takuya Murao	Agent Based Risk Management Methods for Speculative Actions.	PRIMA	2004	DBLP DOI BibTeX RDF
36	Orna Kupferman	Augmenting Branching Temporal Logics with Existential Quantification over Atomic Propositions.	CAV	1995	DBLP DOI BibTeX RDF
36	Richard A. Steenblik, Dar-Veig Ho	Numerical modeling of the conformational transition of a spiral focusing surface.	Annual Simulation Symposium	1990	DBLP DOI BibTeX RDF	FORTRAN
36	Edmund M. Clarke, Yulin Feng	Escher-a geometrical layout system for recursively defined circuits.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1988	DBLP DOI BibTeX RDF
36	Edmund M. Clarke, Yulin Feng	Escher - a geometrical layout system for recursively defined circuits.	DAC	1986	DBLP DOI BibTeX RDF
25	Xiaodong Shao, Qinglei Hu, Daochun Li, Yang Shi 0001, Bowen Yi	Composite Adaptive Control for Anti-Unwinding Attitude Maneuvers: An Exponential Stability Result Without Persistent Excitation.	IEEE Trans. Aerosp. Electron. Syst.	2023	DBLP DOI BibTeX RDF
25	Yuxin Su 0002	Comments on "Anti-unwinding terminal sliding mode attitude tracking control for rigid spacecraft" [Automatica 145 (2022) 110567].	Autom.	2023	DBLP DOI BibTeX RDF
25	Arul K. Mathivanan, Jasper De Viaene, Yentl Thielemans, Jeroen D. M. De Kooning, Kurt Stockman	Non-linear Friction Characterisation of the Unwinding Group in a Web Processing Machine.	AIM	2023	DBLP DOI BibTeX RDF
25	Viktor Malík, Frantisek Necas, Peter Schrammel, Tomás Vojnar	2LS: Arrays and Loop Unwinding - (Competition Contribution).	TACAS (2)	2023	DBLP DOI BibTeX RDF
25	Rui-Qi Dong, Ai-Guo Wu 0001, Ying Zhang 0026	Anti-Unwinding Sliding Mode Attitude Maneuver Control for Rigid Spacecraft.	IEEE Trans. Autom. Control.	2022	DBLP DOI BibTeX RDF
25	Rui-Qi Dong, Ai-Guo Wu 0001, Ying Zhang 0026, Guang-Ren Duan 0001, Bin Li 0005	Anti-unwinding terminal sliding mode attitude tracking control for rigid spacecraft.	Autom.	2022	DBLP DOI BibTeX RDF
25	Markku Suomalainen, Basak Sakcak, Adhi Widagdo, Juho Kalliokoski, Katherine J. Mimnaugh, Alexis P. Chambers, Timo Ojala, Steven M. LaValle	Unwinding Rotations Improves User Comfort with Immersive Telepresence Robots.	CoRR	2022	DBLP BibTeX RDF
25	Markku Suomalainen, Basak Sakcak, Adhi Widagdo, Juho Kalliokoski, Katherine J. Mimnaugh, Alexis P. Chambers, Timo Ojala, Steven M. LaValle	Unwinding Rotations Improves User Comfort with Immersive Telepresence Robots.	HRI	2022	DBLP DOI BibTeX RDF
25	Yongfei Wu, Liming Zhang 0002, Tao Qian 0001, Xilin Liu, Qiwei Xie	Content-adaptive image encryption with partial unwinding decomposition.	Signal Process.	2021	DBLP DOI BibTeX RDF
25	Rui-Qi Dong, Ai-Guo Wu 0001, Ying Zhang 0026, Guangren Duan 0001	Anti-unwinding sliding mode attitude control via two modified Rodrigues parameter sets for spacecraft.	Autom.	2021	DBLP DOI BibTeX RDF
25	Ming Hsiung	Unwinding Modal Paradoxes on Digraphs.	J. Philos. Log.	2021	DBLP DOI BibTeX RDF
25	Xiaodong Shao, Qinglei Hu, Daochun Li, Yang Shi 0001, Bowen Yi	Composite Adaptive Control for Anti-Unwinding Attitude Maneuvers: An Exponential Stability Result Without Persistent Excitation.	CoRR	2021	DBLP BibTeX RDF
25	Costanza Armanini, Conor Messer, Anup Teejo Mathew, Frédéric Boyer, Christian Duriez, Federico Renda	Soft Robots Modeling: a Literature Unwinding.	CoRR	2021	DBLP BibTeX RDF
25	Robert H. C. Moir, Robert M. Corless, David J. Jeffrey	An unwinding number pair for continuous expressions of integrals.	J. Symb. Comput.	2021	DBLP DOI BibTeX RDF
25	Yingying Xu, Bingyi Zhang, Guihong Feng	Analysis of Unwinding Stator Module Combined Permanent Magnet Synchronous Machine.	IEEE Access	2020	DBLP DOI BibTeX RDF
25	Cheng Jiang, Hengsheng Wang, Li-Wei Hou, Liang-Liang Jiang	Sliding Mode Compensation Control for Diaphragm Tension in Unwinding Process of Lithium Battery Diaphragm Slitting Machine.	IEEE Access	2020	DBLP DOI BibTeX RDF
25	Yong Hao, Yushan He, Yaen Xie, Cong Sun, Kun Zhao 0012	Neural-Network Based Finite-Time Coordinated Formation Control for Spacecraft Without Unwinding.	IEEE Access	2020	DBLP DOI BibTeX RDF
25	Julian Kilker	Beyond accessibility Design ethics, edge users, and the role of active proxies in unwinding the spiral of exclusion.	First Monday	2020	DBLP DOI BibTeX RDF
25	Rui-Qi Dong, Ai-Guo Wu 0001, Ying Zhang 0026	Anti-Unwinding Sliding Mode Attitude Maneuver Control for Rigid Spacecraft.	CoRR	2020	DBLP BibTeX RDF
25	Rui-Qi Dong, Ai-Guo Wu 0001, Ying Zhang 0026	Sliding Mode Attitude Maneuver Control for Rigid Spacecraft without Unwinding.	CoRR	2020	DBLP BibTeX RDF
25	Théophile Bastian, Stephen Kell, Francesco Zappa Nardelli	Reliable and fast DWARF-based stack unwinding.	Proc. ACM Program. Lang.	2019	DBLP DOI BibTeX RDF
25	Yanting Li, Jun-Wei Jin	A Novel Two-Dimensional Unwinding Decomposition for Image Signals.	IEEE Access	2019	DBLP DOI BibTeX RDF
25	Chunyu Tan, Liming Zhang 0002, Hau-Tieng Wu	A Novel Blaschke Unwinding Adaptive-Fourier-Decomposition-Based Signal Compression Algorithm With Application on ECG Signals.	IEEE J. Biomed. Health Informatics	2019	DBLP DOI BibTeX RDF
25	Yanting Li, Liming Zhang 0002, Tao Qian 0001	2D Partial Unwinding - A Novel Non-Linear Phase Decomposition of Images.	IEEE Trans. Image Process.	2019	DBLP DOI BibTeX RDF
25	Umair Javaid	Anti-unwinding Attitude Control of Spacecraft using Back-Stepping Technique with Finite Time Convergence.	ICARCV	2018	DBLP DOI BibTeX RDF
25	Danko Ilik	Perspectives for Proof Unwinding by Programming Languages Techniques.	FLAP	2017	DBLP BibTeX RDF
25	Ronald R. Coifman, Stefan Steinerberger, Hau-Tieng Wu	Carrier Frequencies, Holomorphy, and Unwinding.	SIAM J. Math. Anal.	2017	DBLP DOI BibTeX RDF
25	Angeliki Aktypi, Jason R. C. Nurse, Michael Goldsmith	Unwinding Ariadne's Identity Thread: Privacy Risks with Fitness Trackers and Online Social Networks.	MPS@CCS	2017	DBLP DOI BibTeX RDF
25	Danko Ilik	Perspectives for proof unwinding by programming languages techniques.	CoRR	2016	DBLP BibTeX RDF
25	Yangchun Fu, Junghwan Rhee, Zhiqiang Lin, Zhichun Li, Hui Zhang 0002, Guofei Jiang	Detecting Stack Layout Corruptions with Robust Stack Unwinding.	RAID	2016	DBLP DOI BibTeX RDF
25	Robert H. C. Moir, Robert M. Corless, David J. Jeffrey	Unwinding paths on the Riemann sphere for continuous integrals of rational functions.	ACM Commun. Comput. Algebra	2015	DBLP DOI BibTeX RDF
25	Alberto Casagrande, Carla Piazza	Unwinding biological systems.	Theor. Comput. Sci.	2015	DBLP DOI BibTeX RDF
25	Navid Dianati	Unwinding the "hairball" graph: a pruning algorithm for weighted complex networks.	CoRR	2015	DBLP BibTeX RDF
25	Pasquale Noce	The Ipurge Unwinding Theorem for CSP Noninterference Security.	Arch. Formal Proofs	2015	DBLP BibTeX RDF
25	Pasquale Noce	The Generic Unwinding Theorem for CSP Noninterference Security.	Arch. Formal Proofs	2015	DBLP BibTeX RDF
25	Pasquale Noce	The Inductive Unwinding Theorem for CSP Noninterference Security.	Arch. Formal Proofs	2015	DBLP BibTeX RDF
25	Ermenegildo Tomasco, Omar Inverso, Bernd Fischer 0002, Salvatore La Torre, Gennaro Parlato	Verifying Concurrent Programs by Memory Unwinding.	TACAS	2015	DBLP DOI BibTeX RDF
25	Martín Ochoa, Jorge Cuéllar, Alexander Pretschner, Per A. Hallgren	Idea: Unwinding Based Model-Checking and Testing for Non-Interference on EFSMs.	ESSoS	2015	DBLP DOI BibTeX RDF
25	Mary Aprahamian, Nicholas J. Higham	The Matrix Unwinding Function, with an Application to Computing the Matrix Exponential.	SIAM J. Matrix Anal. Appl.	2014	DBLP DOI BibTeX RDF
25	J. Frechard, Dominique Knittel, P. Dessagne, J. S. Pellé, G. Gaudiot, J. C. Caspar, G. Heitz	Modelling and fast position control of a new unwinding-winding mechanism design.	Math. Comput. Simul.	2013	DBLP DOI BibTeX RDF
25	Christopher G. Mayhew, Ricardo G. Sanfelice, Andrew R. Teel	On Path-Lifting Mechanisms and Unwinding in Quaternion-Based Attitude Control.	IEEE Trans. Autom. Control.	2013	DBLP DOI BibTeX RDF
25	Sebastian Eggert, Ron van der Meyden, Henning Schnoor, Thomas Wilke	Complexity and Unwinding for Intransitive Noninterference.	CoRR	2013	DBLP BibTeX RDF
25	Zoë Terken, Roy Haex, Luuk Beursgens, Elvira Arslanova, Maria Vrachni, Jacques M. B. Terken, Dalila Szostak	Unwinding after work: an in-car mood induction system for semi-autonomous driving.	AutomotiveUI	2013	DBLP DOI BibTeX RDF
25	Vincent Gassmann, Dominique Knittel, Prabhakar R. Pagilla, Marie-Ange Bueno	Fixed-Order H∞ Tension Control in the Unwinding Section of a Web Handling System Using a Pendulum Dancer.	IEEE Trans. Control. Syst. Technol.	2012	DBLP DOI BibTeX RDF
25	Dimiter Milushev, Dave Clarke 0001	Coinductive Unwinding of Security-Relevant Hyperproperties.	NordSec	2012	DBLP DOI BibTeX RDF
25	Benjamin Wells	Unwinding performance and power on Colossus, an unconventional computer.	Nat. Comput.	2011	DBLP DOI BibTeX RDF
25	Chenyi Zhang	Conditional Information Flow Policies and Unwinding Relations.	TGC	2011	DBLP DOI BibTeX RDF
25	Christopher G. Mayhew, Ricardo G. Sanfelice, Andrew R. Teel	On quaternion-based attitude control and the unwinding phenomenon.	ACC	2011	DBLP DOI BibTeX RDF
25	Chenyi Zhang	Unwinding Conditional Noninterference	CoRR	2010	DBLP BibTeX RDF
25	Teddy Furon, Gwenaël J. Doërr	Tracing Pirated Content on the Internet: Unwinding Ariadne's Thread.	IEEE Secur. Priv.	2010	DBLP DOI BibTeX RDF
25	Vincent Gassmann, Dominique Knittel, Prabhakar R. Pagilla, Marie-Ange Bueno	H∞ unwinding web tension control of a strip processing plant using a pendulum dancer.	ACC	2009	DBLP DOI BibTeX RDF
25	Grigori Mints	Unwinding a Non-effective Cut Elimination Proof.	CSR	2006	DBLP DOI BibTeX RDF
25	Yordan Kyosev, Michail Todorov	Computational Model of 1D Continuum Motion. Case of Textile Yarn Unwinding Without Air Resistance.	Numerical Methods and Applications	2006	DBLP DOI BibTeX RDF
25	Annalisa Bossi, Riccardo Focardi, Damiano Macedonio, Carla Piazza, Sabina Rossi	Unwinding in Information Flow Security.	MEFISTO	2003	DBLP DOI BibTeX RDF
25	Kristyna Stehlikova, Hana Kostrhunova, Jana Kasparkova, Viktor Brabec	DNA bending and unwinding due to the major 1, 2-GG intrastrand cross-link formed by antitumor cis-diamminedichloroplatinum(II) are flanking-base independent.	Nucleic Acids Res.	2002	DBLP DOI BibTeX RDF
25	Yulin Xu, Michel de Mathelin, Dominique Knittel	Adaptive rejection of quasi-periodic tension disturbances in the unwinding of a non-circular roll.	ACC	2002	DBLP DOI BibTeX RDF
25	Bindu Nanduri, Robert L. Eoff, Alan J. Tackett, Kevin D. Raney	Measurement of steady-state kinetic parameters for DNA unwinding by the bacteriophage T4 Dda helicase: use of peptide nucleic acids to trap single-stranded DNA products of helicase reactions.	Nucleic Acids Res.	2001	DBLP DOI BibTeX RDF
25	Robert M. Corless, David J. Jeffrey	The unwinding number.	SIGSAM Bull.	1996	DBLP DOI BibTeX RDF
25	Jonathan K. Millen	Unwinding Forward Correctability.	J. Comput. Secur.	1995	DBLP DOI BibTeX RDF
25	Qiurong Xiao, Tyson V. Sharp, Ian W. Jeffrey, Marion C. James, Ger J. M. Pruijn, Walther J. van Venrooij, Michael J. Clemens	The La antigen inhibits the activation of the interferon-inducible protein kinase PKR by sequestering and unwinding double-stranded RNA.	Nucleic Acids Res.	1994	DBLP DOI BibTeX RDF
25	Jonathan K. Millen	Unwinding Forward Correctability.	CSFW	1994	DBLP DOI BibTeX RDF
25	Ulrich Kohlenbach	Effective Moduli from Ineffective Uniqueness Proofs. An Unwinding of de La Vallée Poussin's Proof for Chebycheff Approximation.	Ann. Pure Appl. Log.	1993	DBLP DOI BibTeX RDF
25	Sandra Rawlings Murphy, Stephen D. Crocker, Timothy Redmond	Unwinding and the LOCK Proof Referees Study.	CSFW	1992	DBLP DOI BibTeX RDF
25	Margherita Bignami, D. P. Lane	O6-methylguanine in the SV40 origin of replication inhibits binding but increases unwinding by viral large T antigen.	Nucleic Acids Res.	1990	DBLP DOI BibTeX RDF
25	Todd Fine, J. Thomas Haigh, Richard C. O'Brien, Dana L. Toups	Noninterference and the Unwinding for LOCK.	CSFW	1989	DBLP DOI BibTeX RDF
25	Alexandru Nicolau	Loop Quantization: A Generalized Loop Unwinding Technique.	J. Parallel Distributed Comput.	1988	DBLP DOI BibTeX RDF
25	Alexandru Nicolau	Loop Quantization or Unwinding Done Right.	ICS	1987	DBLP DOI BibTeX RDF
25	Joseph A. Goguen, José Meseguer 0001	Unwinding and Inference Control.	S&P	1984	DBLP DOI BibTeX RDF
18	Luís Dominguez	Fully Abstract Logical Bisimilarity for a Polymorphic Object Calculus.	LICS	2009	DBLP DOI BibTeX RDF
18	Grigori Mints	Proof Search Tree and Cut Elimination.	Pillars of Computer Science	2008	DBLP DOI BibTeX RDF
18	Tobias Schüle, Klaus Schneider 0001	Bounded model checking of infinite state systems.	Formal Methods Syst. Des.	2007	DBLP DOI BibTeX RDF	Temporal logic hierarchy, Global model checking, Local model checking, Bounded model checking, Infinite state systems
18	Ron van der Meyden	What, Indeed, Is Intransitive Noninterference?	ESORICS	2007	DBLP DOI BibTeX RDF
18	Li Jiang, Lingdi Ping, Xuezeng Pan	Extending intransitive noninterference with probabilities in information flow security.	IMSCCS	2007	DBLP DOI BibTeX RDF
18	Valery Sklyarov, Iouliia Skliarova	Recursive and Iterative Algorithms for N-ary Search Problems.	IFIP PPAI	2006	DBLP DOI BibTeX RDF
18	Christophe Doignon, Dominique Knittel	A structured light vision system for out-of-plane vibration frequencies location of a moving web.	Mach. Vis. Appl.	2005	DBLP DOI BibTeX RDF	Web vibrations, Winding systems, Structured light, 3-D reconstruction
18	Tobias Schüle, Klaus Schneider 0001	Bounded model checking of infinite state systems: exploiting the automata hierarchy.	MEMOCODE	2004	DBLP DOI BibTeX RDF
18	Graham Hutton, Joel J. Wright	Compiling Exceptions Correctly.	MPC	2004	DBLP DOI BibTeX RDF
18	Peter Y. A. Ryan	Shedding Light on Haunted Corners of Information Security.	25 Years Communicating Sequential Processes	2004	DBLP DOI BibTeX RDF
18	Dieter Hutter, Axel Schairer	Possibilistic Information Flow Control in the Presence of Encrypted Communication.	ESORICS	2004	DBLP DOI BibTeX RDF
18	Bogdan Smolka, Rastislav Lukac	Segmentation of the Comet Assay Images.	ICIAR (2)	2004	DBLP DOI BibTeX RDF
18	Knut Elgsaas, Håvard Hegna	The Norwegian Computing Center and the Univac 1107 (1963-1970).	History of Nordic Computing	2003	DBLP DOI BibTeX RDF	Central computers, research policy, Simula 67, Univac 1107
18	Pablo Giambiagi, Mads Dam	On the Secure Implementation of Security Protocols.	ESOP	2003	DBLP DOI BibTeX RDF
18	Annalisa Bossi, Riccardo Focardi, Carla Piazza, Sabina Rossi	A Proof System for Information Flow Security.	LOPSTR	2002	DBLP DOI BibTeX RDF
18	Joshua D. Guttman, Amy L. Herzog, F. Javier Thayer	Authentication and Confidentiality via IPSEC.	ESORICS	2000	DBLP DOI BibTeX RDF
18	Peter Y. A. Ryan	Mathematical Models of Computer Security.	FOSAD	2000	DBLP DOI BibTeX RDF
18	Robert M. Corless, James H. Davenport, David J. Jeffrey, Gurjeet Litt, Stephen M. Watt	Reasoning about the Elementary Functions of Complex Analysis.	AISC	2000	DBLP DOI BibTeX RDF	Complex identities, Topics: AI and Symbolic Mathematical Computing, Integration of Logical Reasoning and Computer Algebra, Elementary functions, Branch cuts
18	Peter Y. A. Ryan, Steve A. Schneider	Process Algebra and Non-Interference.	CSFW	1999	DBLP DOI BibTeX RDF