Search results for "safeness"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
64	Niels Jørgensen	Safeness of Make-Based Incremental Recompilation.	FME	2002	DBLP DOI BibTeX RDF	incremental recompilation, semantic model, Make
50	Tue Becher Jensen, Terkel K. Tolstrup, Michael R. Hansen	Generating web-based systems from specifications.	SAC	2004	DBLP DOI BibTeX RDF	navigation safeness, type safeness, specification, Web engineering, automatic generation
43	Sea Ling, Heinz W. Schmidt	Towards Analysing a Class of Object Petri Nets.	Australian Software Engineering Conference	1996	DBLP DOI BibTeX RDF	Petri nets, analysis, liveness, safeness, object-based
43	Peter Grün, Petru Eles, Krzysztof Kuchcinski, Zebo Peng	Automatic Parallelization of a Petri Net-Based Design Representation for High-Level Synthesis.	EUROMICRO	1996	DBLP DOI BibTeX RDF	Petri net-based design representation, internal design representation, hardware structures, conflict freeness, hierarchical Petri net structure, CAMAD, complexity, parallelization process, Petri nets, high-level synthesis, automatic parallelization, design environment, safeness
43	Wilfried Brauer, Robert Gold, Walter Vogler	A survey of behaviour and equivalence preserving refinements of Petri nets.	Applications and Theory of Petri Nets	1989	DBLP DOI BibTeX RDF	place/transition net, history preserving bisimulation, Petri net, refinement, deadlocking, liveness, Concurrent system, interval order, partial order semantics, safeness, top-down design, failures semantics
35	Victor Felea, Marian Razvan Balta	On Equivalence of Queries Using Views.	SYNASC	2007	DBLP DOI BibTeX RDF
35	Xu Wang 0001, Marta Z. Kwiatkowska	On process-algebraic verification of asynchronous circuits.	ACSD	2006	DBLP DOI BibTeX RDF
35	Patricia M. Hill, Roberto Bagnara, Enea Zaffanella	The Correctness of Set-Sharing.	SAS	1998	DBLP DOI BibTeX RDF	occur-check, rational trees, set-sharing, logic programming, abstract interpretation
28	Saif Aldeen Madi, Giuseppe Pirrò	Node-Centric Community Deception Based on Safeness.	IEEE Trans. Comput. Soc. Syst.	2024	DBLP DOI BibTeX RDF
28	Grygoriy Zholtkevych, Artem Panchenko	About One Possible Tool for Analysing Safeness of Discrete Dynamic Systems.	DESSERT	2023	DBLP DOI BibTeX RDF
28	Fabio Garzia, Francesco Borghini, Ekaterina Makshanova, Mara Lombardi, Soodamani Ramalingam	Emotional analysis of safeness and risk perception of cybersecurity attacks during the COVID-19 pandemic.	ICCST	2022	DBLP DOI BibTeX RDF
28	Mohamed Kechar, Ladjel Bellatreche	Safeness: Suffix Arrays Driven Materialized View Selection Framework for Large-Scale Workloads.	DaWaK	2022	DBLP DOI BibTeX RDF
28	Marcin Wojnakowski, Mateusz Poplawski, Remigiusz Wisniewski, Grzegorz Bazydlo	Hippo-CPS: Verification of Boundedness, Safeness and Liveness of Petri Net-Based Cyber-Physical Systems.	DoCEIS	2022	DBLP DOI BibTeX RDF
28	Xu Zhang, Yuanyuan Zou 0001, Shaoyuan Li	Semi-supervised generative adversarial network with guaranteed safeness for industrial quality prediction.	Comput. Chem. Eng.	2021	DBLP DOI BibTeX RDF
28	Marcin Wojnakowski, Remigiusz Wisniewski, Grzegorz Bazydlo, Mateusz Poplawski	Analysis of safeness in a Petri net-based specification of the control part of cyber-physical systems.	Int. J. Appl. Math. Comput. Sci.	2021	DBLP DOI BibTeX RDF
28	Zisheng Yu, Zhongyuan Jiang, Jianfeng Ma 0001, Yu Zheng 0004	Safeness-Based Community Penetration.	IEEE Trans. Circuits Syst. II Express Briefs	2021	DBLP DOI BibTeX RDF
28	Flavio Corradini, Andrea Morichetta 0001, Chiara Muzi, Barbara Re 0001, Francesco Tiezzi 0001	Well-structuredness, safeness and soundness: A formal classification of BPMN collaborations.	J. Log. Algebraic Methods Program.	2021	DBLP DOI BibTeX RDF
28	S. Appavu alias Balamurugan, K. R. Saranya, S. Sasikala, G. Chinthana	Statistical and Machine Learning Approaches for Clinical Decision on Drug Usage in Diabetes with Reference to Competence and Safeness.	Int. J. Comput. Intell. Syst.	2021	DBLP DOI BibTeX RDF
28	Fabio Garzia, Francesco Borghini, Luca Canfora, Mara Lombardi, Soodamani Ramalingam	Emotional analysis of safeness and risk perception of London and Rome railway stations during the COVID-19 pandemic.	ICCST	2021	DBLP DOI BibTeX RDF
28	Fabio Garzia, Francesco Borghini, Antonello Castagnolo, Mara Lombardi, Soodamani Ramalingam	Emotional analysis of safeness and risk perception of drones during the COVID-19 pandemic in Italy.	ICCST	2021	DBLP DOI BibTeX RDF
28	Fabio Garzia, Francesco Borghini, Mattia Zita, Mara Lombardi, Soodamani Ramalingam	Emotional analysis of safeness and risk perception of London and Rome airports during the COVID-19 pandemic.	ICCST	2021	DBLP DOI BibTeX RDF
28	Fabio Garzia, Francesco Borghini, Antonio Moretti, Mara Lombardi, Soodamani Ramalingam	Emotional analysis of safeness and risk perception of transports and travels by car and motorcycle in London and Rome during the COVID-19 pandemic.	ICCST	2021	DBLP DOI BibTeX RDF
28	Zhihao Zhang, Zhe Wu 0004, David Rincón 0002, Carlos Garcia, Panagiotis D. Christofides	Operational safety of chemical processes via Safeness-Index based MPC: Two large-scale case studies.	Comput. Chem. Eng.	2019	DBLP DOI BibTeX RDF
28	Lan-Zhe Guo, Yu-Feng Li, Ming Li 0005, Jinfeng Yi, Bowen Zhou, Zhi-Hua Zhou	Reliable Weakly Supervised Learning: Maximize Gain and Maintain Safeness.	CoRR	2019	DBLP BibTeX RDF
28	Zhihao Zhang, Zhe Wu 0004, David Rincón 0002, Panagiotis D. Christofides	Integrating Safeness Index-Based Model Predictive Control and Safety Relief Valve Activation for Operational Safety of Chemical Processes.	ACC	2019	DBLP DOI BibTeX RDF
28	Flavio Corradini, Chiara Muzi, Barbara Re 0001, Francesco Tiezzi 0001	A Classification of BPMN Collaborations based on Safeness and Soundness Notions.	CoRR	2018	DBLP BibTeX RDF
28	Fahad Albalawi, Helen Durand, Panagiotis D. Christofides	Distributed Economic Model Predictive Control with Safeness-Index Based Constraints of a Nonlinear Chemical Process.	ACC	2018	DBLP DOI BibTeX RDF
28	Fahad Albalawi, Helen Durand, Panagiotis D. Christofides	Process operational safety using model predictive control based on a process Safeness Index.	Comput. Chem. Eng.	2017	DBLP DOI BibTeX RDF
28	Fahad Albalawi, Helen Durand, Panagiotis D. Christofides	Distributed economic model predictive control with Safeness-Index based constraints for nonlinear systems.	Syst. Control. Lett.	2017	DBLP DOI BibTeX RDF
28	Fahad Albalawi, Helen Durand, Anas Alanqar, Panagiotis D. Christofides	Process safeness index: Its definition and use in economic model predictive control to ensure process operational safety.	ACC	2017	DBLP DOI BibTeX RDF
28	Yasuyuki Awashima, Hiromitsu Fujii, Yusuke Tamura, Keiji Nagatani, Atsushi Yamashita, Hajime Asama	Safeness visualization of terrain for teleoperation of mobile robot using 3D environment map and dynamic simulator.	SII	2017	DBLP DOI BibTeX RDF
28	Moritz Y. Becker, Jason F. Mackay	Relaxed Safeness in Datalog-Based Policies.	RuleML America	2011	DBLP DOI BibTeX RDF
28	Michael Köhler-Bußmeier, Frank Heitmann	Safeness for Object Nets.	Fundam. Informaticae	2010	DBLP DOI BibTeX RDF
28	Tsong Yueh Chen, Yuen-Tak Yu	The universal safeness of test allocation strategies for partition testing.	Inf. Sci.	2000	DBLP DOI BibTeX RDF
28	Teruo Higashino, Mamoru Fujii, Kenichi Taniguchi, Tadao Kasami, Masaaki Mori	Verification of safeness and mutual exclusion properties of algebraically specified token ring LAN protocol.	Syst. Comput. Jpn.	1989	DBLP DOI BibTeX RDF
28	Paolo Corsini, Lanfranco Lopriore, Lorenzo Strigini	Fail-safeness in a multiprocessor system. a distributed strategy based on backward error recovery.	Softw. Microsystems	1983	DBLP DOI BibTeX RDF
28	Hans-Peter Kriegel, Y. S. Kwong	Insertion-Safeness in Balanced Trees.	Inf. Process. Lett.	1983	DBLP DOI BibTeX RDF
25	Victor Felea	A New Algorithm for the Containment Problem of Conjunctive Queries with Safe Negation.	DBKDA	2010	DBLP DOI BibTeX RDF	negation, query containment, safeness
25	Wim H. Hesselink	An assertional proof for a construction of an atomic variable.	Formal Aspects Comput.	2004	DBLP DOI BibTeX RDF	Invariant, Atomicity, Wait-free, Safeness
25	Luis Mateu, José M. Piquer	Safe-Threads: A New Model for Object-Oriented Multi-Threaded Languages.	SCCC	1999	DBLP DOI BibTeX RDF	Concurrency, object oriented programming, monitors, threads, safeness
25	Martin Gogolla, Uwe Hohenstein	Towards a Semantic View of an Extended Entity-Relationship Model.	ACM Trans. Database Syst.	1991	DBLP DOI BibTeX RDF	relational completeness, abstract data type, formal semantics, entity-relationship model, calculus, semantic data model, aggregate function, safeness
25	Ernst-Rüdiger Olderog	Strong bisimilarity on nets: a new concept for comparing net semantics.	REX Workshop	1988	DBLP DOI BibTeX RDF	Strong bisimilarity, labelled place/transitions nets, causal nets, process terms, COSY, operational and compositional net semantics, CSP, CCS, safeness
18	Jackey Z. Yan, Chris Chu, Wai-Kei Mak	SafeChoice: a novel clustering algorithm for wirelength-driven placement.	ISPD	2010	DBLP DOI BibTeX RDF	vlsi placement, physical design, hypergraph clustering
18	Juan A. Botía Blaya, José T. Palma, Ana Villa, David Pérez, Emilio Iborra	Ontology Based Approach to the Detection of Domestics Problems for Independent Senior People.	IWINAC (2)	2009	DBLP DOI BibTeX RDF
18	Alessandro Giua, Carla Seatzu	Modeling and Supervisory Control of Railway Networks Using Petri Nets.	IEEE Trans Autom. Sci. Eng.	2008	DBLP DOI BibTeX RDF
18	Theo Härder, Andreas Bühmann	Value complete, column complete, predicate complete.	VLDB J.	2008	DBLP DOI BibTeX RDF	Cache constraints, Predicate completeness, Query processing, Database caching
18	Riccardo Rosati 0001	On Combining Description Logic Ontologies and Nonrecursive Datalog Rules.	RR	2008	DBLP DOI BibTeX RDF
18	Hans L. Bodlaender, Eelko Penninkx	A Linear Kernel for Planar Feedback Vertex Set.	IWPEC	2008	DBLP DOI BibTeX RDF
18	Hojung Bang, Tai Hyo Kim, Sung Deok Cha	An Iterative Refinement Framework for Tighter Worst-Case Execution Time Calculation.	ISORC	2007	DBLP DOI BibTeX RDF
18	Naiqi Wu, Feng Chu 0001, Chengbin Chu, MengChu Zhou	Schedulability analysis of short-term schedule for crude oil operations using Petri nets.	SMC	2007	DBLP DOI BibTeX RDF
18	Jing Mei, Zuoquan Lin, Harold Boley	ALCuP: An Integration of Description Logic and General Rules.	RR	2007	DBLP DOI BibTeX RDF
18	Sang-Hoon Kim, Youngjae Lee, Jin-Soo Kim 0001	FlexRPC: A flexible Remote Procedure Call facility for modern cluster file systems.	CLUSTER	2007	DBLP DOI BibTeX RDF
18	Victor Khomenko, Alex Kondratyev, Maciej Koutny, Walter Vogler	Merged processes: a new condensed representation of Petri net behaviour.	Acta Informatica	2006	DBLP DOI BibTeX RDF
18	Jing Mei, Harold Boley, Jie Li, Virendrakumar C. Bhavsar, Zuoquan Lin	DatalogDL: Datalog Rules Parameterized by Description Logics.	CSWWS	2006	DBLP DOI BibTeX RDF
18	Yu-Liang Chi, Ming-Hung Tsai, Chih-Wei Lee	A Petri-Net based Validator in Reliability of a Composite Service.	EEE	2005	DBLP DOI BibTeX RDF
18	Victor Khomenko, Alex Kondratyev, Maciej Koutny, Walter Vogler	Merged Processes - A New Condensed Representation of Petri Net Behaviour.	CONCUR	2005	DBLP DOI BibTeX RDF
18	Young Sin Kim, Eui-nam Huh, Jun Hwang, Byungwook Lee	An Efficient Key Agreement Protocol for Secure Authentication.	ICCSA (1)	2004	DBLP DOI BibTeX RDF
18	Avik Sinha, Carol S. Smidts, Andrew Moran	Enhanced Testing of Domain Specific Applications by Automatic Extraction of Axioms from Functional Specifications.	ISSRE	2003	DBLP DOI BibTeX RDF
18	Bart Demoen, Phuong-Lan Nguyen, Ruben Vandeginste	Copying Garbage Collection for the WAM: To Mark or Not to Mark?	ICLP	2002	DBLP DOI BibTeX RDF
18	Josep Carmona 0001, Jordi Cortadella	Input/Output Compatibility of Reactive Systems.	FMCAD	2002	DBLP DOI BibTeX RDF	Input/Output compatibility, Synchronous product, Petri nets, Reactive systems, Conformation, Observational equivalence, Trace theory
18	Elisa Bertino, Piero A. Bonatti, Elena Ferrari	TRBAC: A temporal role-based access control model.	ACM Trans. Inf. Syst. Secur.	2001	DBLP DOI BibTeX RDF	Role triggers, role-based access control, temporal constraints
18	A. Diagne	Control Properties in Object-Oriented Specifications.	Concurrent Object-Oriented Programming and Petri Nets	2001	DBLP DOI BibTeX RDF	Object Methodology, Control Properties, Verification & Validation, Petri Nets
18	Andrey Collison, Hanspeter Bieri	A component-based system for storing and manipulating graphics objects of different representations.	Vis. Comput.	2000	DBLP DOI BibTeX RDF	Graphics database, GSCOPE, Components, Reuse, Representations, Graphics system, Graphics objects, Type model
18	Thomas Genet, Francis Klay	Rewriting for Cryptographic Protocol Verification.	CADE	2000	DBLP DOI BibTeX RDF
18	Elisa Bertino, Piero A. Bonatti, Elena Ferrari	TRBAC: a temporal role-based access control model.	ACM Workshop on Role-Based Access Control	2000	DBLP DOI BibTeX RDF
18	Wojciech Fraczak, Elisabeth Pelz	Improved Implementations via a New Structural Equivalence on Labelled Nets.	ICATPN	1997	DBLP DOI BibTeX RDF
18	Jean-Hugues Réty	The Notion of Floundering for SLDNF-Resolution Revisited	PLILP	1995	DBLP DOI BibTeX RDF
18	Kimon P. Valavanis, Srinivasan Ramaswamy, Steve P. Landry	Extended Petri net-based modeling, analysis and simulation of an intelligent materials handling system.	J. Intell. Robotic Syst.	1994	DBLP DOI BibTeX RDF	Intelligent materials handling system, diagnostic intelligence, extended Petri nets, hierarchical decomposition
18	Bernd J. Krämer	Specifying concurrent objects.	OOPSLA/ECOOP Workshop on Object-based Concurrent Programming	1988	DBLP DOI BibTeX RDF
18	Peter E. Lauer, Roy H. Campbell	A Description of Path Expressions by Petri Nets.	POPL	1975	DBLP DOI BibTeX RDF