Search results for "critical"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
20	Matthias Giese, Tomasz Mistrzyk, Andreas Pfau, Gerd Szwillus, Michael von Detten	AMBOSS: A Task Modeling Approach for Safety-Critical Systems.	TAMODIA/HCSE	2008	DBLP DOI BibTeX RDF	task editor, simulation, task modeling, safety-critical systems, socio-technical systems, task patterns
20	Yves Lafont, Pierre Rannou	Diagram Rewriting for Orthogonal Matrices: A Study of Critical Peaks.	RTA	2008	DBLP DOI BibTeX RDF	critical pair, diagram rewriting, Zamolodchikov, orthogonal matrix
20	Luis E. Mendoza Morales, Manuel I. Capel, María A. Pérez, Kawtar Benghazi Akhlaki	Compositional Model-Checking Verification of Critical Systems.	ICEIS	2008	DBLP DOI BibTeX RDF	Critical software systems, Model-checking, Formal methods, Case study, Compositional verification
20	Andrea Carcano, Igor Nai Fovino, Marcelo Masera, Alberto Trombetta	Scada Malware, a Proof of Concept.	CRITIS	2008	DBLP DOI BibTeX RDF	Security, Malware, Critical infrastructures, SCADA Systems
20	Zeshan Kurd, Tim Kelly, Jim Austin	Developing artificial neural networks for safety critical systems.	Neural Comput. Appl.	2007	DBLP DOI BibTeX RDF	Symbolic knowledge, Neural network, Faults, Safety critical, Lifecycle, Hazards, Criteria
20	Philippe A. Palanque, Sandra Basnyat, Regina Bernhaupt, Ronald L. Boring, Chris W. Johnson 0001, Peter Johnson 0001	Beyond usability for safety critical systems: how to be sure (safe, usable, reliable, and evolvable)?	CHI Extended Abstracts	2007	DBLP DOI BibTeX RDF	reliability safety critical systems, usability, safety, human error
20	Mark Blythe	The digital music box: using cultural and critical theory to inform design.	CHI Extended Abstracts	2007	DBLP DOI BibTeX RDF	cultural and critical theory, concept design, experience-centered design
20	Benjamin L. Schooley, Michael J. Marich, Thomas A. Horan	Devising an architecture for time-critical information services: inter-organizational performance data components for emergency medical service (EMS).	DG.O	2007	DBLP BibTeX RDF	time-critical information services, performance, architecture, e-government, emergency response, emergency medical services
20	Slo-Li Chu	Critical Block Scheduling: A Thread-Level Parallelizing Mechanism for a Heterogeneous Chip Multiprocessor Architecture.	LCPC	2007	DBLP DOI BibTeX RDF	Critical Block Scheduling, Octans, Chip Multiprocessor (CMP), Processor-in-Memory
20	Shiann-Tsong Sheu, Yue-Ru Chuang	A Pipeline-Based Genetic Algorithm Accelerator for Time-Critical Processes in Real-Time Systems.	IEEE Trans. Computers	2006	DBLP DOI BibTeX RDF	genetic algorithms (GAs), time-critical processes, optimization, Evolutionary computing, pipeline
20	Tao Xie 0004, Xiao Qin 0001	Scheduling Security-Critical Real-Time Applications on Clusters.	IEEE Trans. Computers	2006	DBLP DOI BibTeX RDF	security-critical applications, security overhead model, Clusters, scheduling, real-time systems
20	Yinfeng Xu, Huahai Yan	Real Time Critical Edge of the Shortest Path in Transportation Networks.	TAMC	2006	DBLP DOI BibTeX RDF	Real Time Critical Edge, The Shortest Path, Algorithm, Transportation Networks
20	Phoebe Sengers, John C. McCarthy, Paul Dourish	Reflective HCI: articulating an agenda for critical practice.	CHI Extended Abstracts	2006	DBLP DOI BibTeX RDF	reflective HCI, critical technical practice
20	Thomas A. Horan, Michael J. Marich, Benjamin L. Schooley	Time-critical information services: analysis and workshop findings on technology, organizational, and policy dimensions to emergency response and related e-governmental services.	DG.O	2006	DBLP DOI BibTeX RDF	emergency medical services and response, time-critical information services, performance evaluation, e-government
20	Jian Wang 0039, Huiqiang Wang, Guosheng Zhao	ERAS - an Emergency Response Algorithm for Survivability of Critical Services.	IMSCCS (2)	2006	DBLP DOI BibTeX RDF	critical service, resource reconfiguration, survivability, emergency response
20	Márton Albert Hajnal, András Lörincz	Critical Echo State Networks.	ICANN (1)	2006	DBLP DOI BibTeX RDF	prediction, time series, phase transition, critical point, echo state network
20	Karsten Bsufka, Olaf Kroll-Peters, Sahin Albayrak	Intelligent Network-Based Early Warning Systems.	CRITIS	2006	DBLP DOI BibTeX RDF	multi agent systems, intrusion detection, critical infrastructures, early warning system
20	Cristina Alcaraz, Rodrigo Roman	Applying Key Infrastructures for Sensor Networks in CIP/CIIP Scenarios.	CRITIS	2006	DBLP DOI BibTeX RDF	Critical Information Infrastructures, Key Infrastructures, Sensor Networks, Key Management
20	Paolo Santi	The Critical Transmitting Range for Connectivity in Mobile Ad Hoc Networks.	IEEE Trans. Mob. Comput.	2005	DBLP DOI BibTeX RDF	Critical transmitting range, ad hoc networks, connectivity, mobility modeling, random waypoint model
20	Seok Won Lee, Robin A. Gandhi, Gail-Joon Ahn	Establishing trustworthiness in services of the critical infrastructure through certification and accreditation.	ACM SIGSOFT Softw. Eng. Notes	2005	DBLP DOI BibTeX RDF	Security and Standardization, information security requirements engineering, information systems certification and accreditation, risk assessment, ontological engineering, critical infrastructure protection
20	Alan Wassyng, Mark Lawford, Xiayong Hu	Timing Tolerances in Safety-Critical Software.	FM	2005	DBLP DOI BibTeX RDF	timing tolerances, real-time, requirements, safety-critical
20	Jesús Fernández-Conde, Krithi Ramamritham	Adaptive Dissemination of Data in Time-Critical Asymmetric Communication Environments.	Mob. Networks Appl.	2004	DBLP DOI BibTeX RDF	broadcast data dissemination, time-critical data, asymmetric communication, push-based techniques, scheduling
20	Alexandros Kallantzis, Sergios Lambropoulos	Correspondence of activity relationships and critical path between time-location diagrams and CPM.	Oper. Res.	2004	DBLP DOI BibTeX RDF	Linear projects, time-location diagrams, critical path method
20	Kensuke Habuka, Yoshihisa Shinagawa	Image Interpolation Using Enhanced Multiresolution Critical-Point Filters.	Int. J. Comput. Vis.	2004	DBLP DOI BibTeX RDF	multiresolution critical-point filter, optical flow, image matching, correspondence problem, image interpolation
20	Jan Jürjens, Pasha Shabalin	A Foundation for Tool-Supported Critical Systems Development with UML.	ECBS	2004	DBLP DOI BibTeX RDF	formal models of object-oriented design, UML, verification, specification, tool support, secure computing, critical systems
20	Ron Fulbright	Teaching critical thinking skills in IT using PINE-TRIZ.	SIGITE Conference	2004	DBLP DOI BibTeX RDF	IT curriculum design, analytical thinking, critical thinking skills, lateral thinking, logical thinking
20	Menahem Lowy, Neal Butler, Rosanne Tinkler	Low power VLSI sequential circuit architecture using critical race control.	ACM Great Lakes Symposium on VLSI	2003	DBLP DOI BibTeX RDF	critical races, low-power VLSI circuits, asynchronous circuits
20	D. K. Busse, B. Holland	Implementation of Critical Incident Reporting in a Neonatal Intensive Care Unit.	Cogn. Technol. Work.	2002	DBLP DOI BibTeX RDF	Critical incident reporting, Incident reporting form design, Neonatal intensive care, Patient safety
20	Fernando M. Gonçalves, Marcelino B. Santos, Isabel C. Teixeira, João Paulo Teixeira 0001	Design and Test of a Certifiable ASIC for a Safety-Critical Gas Burner Control System.	J. Electron. Test.	2002	DBLP DOI BibTeX RDF	fault simulation, safety-critical, self-checking
20	Guido Wimmel, Jan Jürjens	Specification-Based Test Generation for Security-Critical Systems Using Mutations.	ICFEM	2002	DBLP DOI BibTeX RDF	E-Commerce Systems, Security-Critical Systems, Validation and Analysis, Computer-aided Software Engineering (CASE), Formal Methods, Test Case Generation, Test Specification, AutoFocus
20	Michael Mahemoff, Andrew Hussey, Lorraine Johnston	Pattern-Based Reuse of Successful Designs: Usability of Safety-Critical Systems.	Australian Software Engineering Conference	2001	DBLP DOI BibTeX RDF	usability, user-interface, design patterns, Safety-critical
20	Alberto Coen-Porisini, Giovanni Denaro, Carlo Ghezzi, Mauro Pezzè	Using symbolic execution for verifying safety-critical systems.	ESEC / SIGSOFT FSE	2001	DBLP DOI BibTeX RDF	verification, formal methods, C, symbolic execution, safety-critical system
20	Julia Rose Galliers, Alistair G. Sutcliffe, Shailey Minocha	An impact analysis method for safety-critical user interface design.	ACM Trans. Comput. Hum. Interact.	1999	DBLP DOI BibTeX RDF	scenario-based casual analysis, human error, Bayesian belief networks, safety-critical
20	Haiying Tu, Fangmei Wu	How to Design an Environment Simulator for Safety Critical Software Testing.	Asian Test Symposium	1999	DBLP DOI BibTeX RDF	Simulation, Software Testing, Object-Oriented Design, Fault-Injection, Safety-Critical Software, Black-Box Testing
20	Fredrik Kahl, Bill Triggs	Critical Motions in Euclidean Structure from Motion.	CVPR	1999	DBLP DOI BibTeX RDF	critical motions, structure from motion, projective geometry, autocalibration, algebraic geometry, absolute conic
20	Satish Subramanian, Sanjai Rayadurgam, Wei-Tek Tsai	Design for Constraint Violation Detection in Safety-Critical Systems.	HASE	1998	DBLP DOI BibTeX RDF	design patterns, object-oriented design, Safety-critical systems, implantable medical devices
20	Christophe Aussaguès, Vincent David	A Method and a Technique to Model and Ensure Timeliness in Safety Critical Real-Time Systems.	ICECCS	1998	DBLP DOI BibTeX RDF	modeling, real-time, analysis, safety critical systems, timeliness
20	Shaoying Liu, Masashi Asuka, Kiyotoshi Komaya, Yasuaki Nakamura	An Approach to Specifying and Verifying Safety-Critical Systems with Practical Formal Method SOFL.	ICECCS	1998	DBLP DOI BibTeX RDF	railway crossing controller, verification, formal specification, formal methods, Safety-critical systems, functional requirements, safety requirements
20	Bev Littlewood, David Wright 0001	Some Conservative Stopping Rules for the Operational Testing of Safety-Critical Software.	IEEE Trans. Software Eng.	1997	DBLP DOI BibTeX RDF	operational testing, testing stopping rule, software reliability, Safety-critical software, statistical testing
20	Wolfgang A. Halang, Matjaz Colnaric	On Safety--Critical Computer Control Systems.	CBMS	1997	DBLP DOI BibTeX RDF	computer control systems, safety licensing, real-time systems, safety critical systems
20	Ajay Khoche, Erik Brunvand	Critical hazard free test generation for asynchronous circuits.	VTS	1997	DBLP DOI BibTeX RDF	self-timed control circuits, critical hazard-free tests, six-valued algebra, macro-module library, partial scan based DFT environment, unbounded delay model, asynchronous circuits, asynchronous circuits, D-algorithm
20	Calvin Ko, Manfred Ruschitzka, Karl N. Levitt	Execution Monitoring of Security-Critical Programs in Distributed Systems: A Specification-Based Approach.	S&P	1997	DBLP DOI BibTeX RDF	security-critical program execution monitoring, specification-based approach, program vulnerabilities, security specifications, real-time intrusion detection system, Unix setuid root programs, system attack detection, security violations, distributed systems, synchronization, system monitoring, audit trails, formal framework
20	Lloyd G. Williams	Assessment of Safety-Critical Specifications.	IEEE Softw.	1994	DBLP DOI BibTeX RDF	safety-critical system specifications, specification ambiguity, software cost reduction method, Vienna Definition Method, semantic capabilities, assessment criteria, formal specification, formal methods, formal verification, formal verification, software reliability, safety, software cost estimation, understandability, VDM, Vienna development method
20	Hong Zhu 0002, Patrick A. V. Hall, John H. R. May, T. Cockram	Injecting Faults into Environment Simulators for Testing Safety Critical Software.	EDCC	1994	DBLP DOI BibTeX RDF	Simulation, Software testing, Program transformation, Fault injection, Safety critical software
20	Ricky W. Butler, George B. Finelli	The Infeasibility of Quantifying the Reliability of Life-Critical Real-Time Software.	IEEE Trans. Software Eng.	1993	DBLP DOI BibTeX RDF	life-critical real-time software, multiversion software experiments, real-time systems, reliability, fault tolerant computing, software reliability, safety, software fault tolerance, statistical methods, fault-tolerant software, growth models
20	Vincenzo Grassi, Lorenzo Donatiello, Salvatore Tucci	On the Optimal Checkpointing of Critical Tasks and Transaction-Oriented Systems.	IEEE Trans. Software Eng.	1992	DBLP DOI BibTeX RDF	optimal checkpointing, transaction-oriented systems, checkpointing rollback recovery technique, single critical task, Laplace-Stieltjes transform form, checkpointing strategies, performance criteria, maximum system unavailability, real-time systems, optimisation, database management systems, transaction processing, probability distribution, moments, overhead, real time constraints, Laplace transforms, inversion methods
20	H. Keith Nishihara, P. A. Crossley	Measuring Photolithographic Overlay Accuracy and Critical Dimensions by Correlating Binarized Laplacian of Gaussian Convolutions.	IEEE Trans. Pattern Anal. Mach. Intell.	1988	DBLP DOI BibTeX RDF	positioning accuracy measurement, convolution correlation, picture element clusters, resist alignment, photolithographic overlay accuracy, critical dimensions, binarized Laplacian of Gaussian convolutions, IC manufacture, interference fringes, edge topology differences, low-contrast images, bar grating, integrated circuit technology, photolithography, pattern recognition, computer vision, computer vision, computerised pattern recognition, feature matching, Laplace transforms, noise tolerance
20	Amir Roth, Gurindar S. Sohi	Speculative Data-Driven Multithreading.	HPCA	2001	DBLP DOI BibTeX RDF
20	Richard I. Hartley	Ambiguous Configurations for 3-View Projective Reconstruction.	ECCV (1)	2000	DBLP DOI BibTeX RDF
20	Hong-ning Zhu, Bin Zhang 0001, Xian-wen Gao	A Service Selection Method of Non-critical Task in Parallel Structure.	WKDD	2009	DBLP DOI BibTeX RDF
20	Kyriakos Christou, Maria K. Michael, Spyros Tragoudas	Implicit Critical PDF Test Generation with Maximal Test Efficiency.	DFT	2006	DBLP DOI BibTeX RDF
20	Xianming Chen, Elaine Cohen, Richard F. Riesenfeld	Tracking Point-Curve Critical Distances.	GMP	2006	DBLP DOI BibTeX RDF
20	Ian Sommerville	Extreme Programming for Critical Systems?.	XP	2005	DBLP DOI BibTeX RDF
20	Jan Jürjens, Pasha Shabalin	Tools for Critical Systems Development with UML (Tool Demo).	UML Satellite Activities	2004	DBLP DOI BibTeX RDF
20	Jiong Yan, Ji Wang 0001, Huowang Chen	UML Based Statistical Testing Acceleration of Distributed Safety-Critical Software.	ISPA	2004	DBLP DOI BibTeX RDF
20	Yao Chen 0001, Joe Zhu	DEA Models for Identifying Critical Performance Measures.	Ann. Oper. Res.	2003	DBLP DOI BibTeX RDF	performance, efficiency, mathematical programming, Data Envelopment Analysis (DEA), tradeoffs
20	Fredrik Kahl, Richard I. Hartley	Critical Curves and Surfaces for Euclidean Reconstruction.	ECCV (2)	2002	DBLP DOI BibTeX RDF
20	Gerard A. Allan, Anthony J. Walton	Efficient extra material critical area algorithms.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1999	DBLP DOI BibTeX RDF
19	Gérard Berry	Synchronous Design and Verification of Critical Embedded Systems Using SCADE and Esterel.	FMICS	2007	DBLP DOI BibTeX RDF
19	Paulo Veríssimo, Nuno Ferreira Neves, Miguel Correia 0001	CRUTIAL: The Blueprint of a Reference Critical Information Infrastructure Architecture.	CRITIS	2006	DBLP DOI BibTeX RDF
19	May R. Permann	Genetic algorithms for agent-based infrastructure interdependency modeling and analysis.	SpringSim (2)	2007	DBLP BibTeX RDF	critical sub-network, genetic algorithms, optimization, decision support system, critical infrastructure
19	Bob Fields, Peter C. Wright, Michael D. Harrison	A task centered approach to analysing human error tolerance requirements.	RE	1995	DBLP DOI BibTeX RDF	task centered approach, human error tolerance requirements, human operators, operator tasks, software engineering notation, structured tasks, human error forms, formal specification, software development, human factors, systems engineering, user centred design, safety critical systems, task analysis, safety-critical software, operator models, system safety
19	Elisa Canzani, Helmut Kaufmann, Ulrike Lechner	An Operator-Driven Approach for Modeling Interdependencies in Critical Infrastructures Based on Critical Services and Sectors.	CRITIS	2016	DBLP DOI BibTeX RDF
19	Kelvin Nilsen, Adrian Larkham	Applying Java™ Technologies to Mission-Critical and Safety-Critical Development.	SSS	2005	DBLP DOI BibTeX RDF
19	Charles Lee, Jon Garnsworthy, Morris F. Chudleigh, Duncan Bishop	Issues in Managing a Safety-Critical System Development Project.	SSS	1998	DBLP DOI BibTeX RDF
19	Graham Buckle	Static Analysis of Safety Critical Software (Techniques, Tools, and Experiences).	SSS	1998	DBLP DOI BibTeX RDF
19	Paul E. Bennett	Small Modules as Configuration Items in Certified Safety Critical Systems.	SSS	1998	DBLP DOI BibTeX RDF
19	Morris F. Chudleigh, Chris Berridge, Jenny Butler, Rodney May, Ian Poole	SADLI: Functional Programming in a Safety Critical Application.	SSS	1996	DBLP DOI BibTeX RDF
19	Rachel Burnett	Anticipate and Prevent - Managing the Legal Risks in Safety Critical Systems.	SSS	1996	DBLP DOI BibTeX RDF
19	Ulas Basar Gezgin	An invitation to critical social science of big data: from critical theory and critical research to omniresistance.	AI Soc.	2020	DBLP DOI BibTeX RDF
19	Vincent Chapurlat, Nicolas Daclin, Aurelia Bonydandrieux, Jérôme Tixier, Daouda Kamissoko, Frédérick Bénaben, Blazo Nastov	Towards a Model-Based Method for Resilient Critical Infrastructure Engineering How to model Critical Infrastructures and evaluate its Resilience? : How to model Critical Infrastructures and evaluate its Resilience?	SoSE	2018	DBLP DOI BibTeX RDF
19	Laure Petrucci, Cristina Seceleanu, Ana Cavalcanti 0001 (eds.)	Critical Systems: Formal Methods and Automated Verification - Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems - and - 17th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2017, Turin, Italy, September 18-20, 2017, Proceedings	FMICS-AVoCS	2017	DBLP DOI BibTeX RDF
19	Felipe J. Montana, Jun Liu 0015, Tony J. Dodd	Sampling-Based Path Planning for Multi-robot Systems with Co-Safe Linear Temporal Logic Specifications.	FMICS-AVoCS	2017	DBLP DOI BibTeX RDF
19	Alessandro Fantechi, Stefania Gnesi, Laura Semini	Optimizing Feature Interaction Detection.	FMICS-AVoCS	2017	DBLP DOI BibTeX RDF
19	Hallan William Veiga, Max Hering de Queiroz, Jean-Marie Farines, Marcelo Lopes de Lima	Automatic Conformance Testing of Safety Instrumented Systems for Offshore Oil Platforms.	FMICS-AVoCS	2017	DBLP DOI BibTeX RDF
19	Paul Gainer, Clare Dixon, Kerstin Dautenhahn, Michael Fisher 0001, Ullrich Hustadt, Joe Saunders, Matt Webster	CRutoN: Automatic Verification of a Robotic Assistant's Behaviours.	FMICS-AVoCS	2017	DBLP DOI BibTeX RDF
19	Samuel Huang 0001, Rance Cleaveland	Query Checking for Linear Temporal Logic.	FMICS-AVoCS	2017	DBLP DOI BibTeX RDF
19	Rutger van Beusekom, Jan Friso Groote, Paul F. Hoogendijk, Robert Howe, Wieger Wesselink, Rob Wieringa, Tim A. C. Willemse	Formalising the Dezyne Modelling Language in mCRL2.	FMICS-AVoCS	2017	DBLP DOI BibTeX RDF
19	Paul Fiterau-Brostean, Falk Howar	Learning-Based Testing the Sliding Window Behavior of TCP Implementations.	FMICS-AVoCS	2017	DBLP DOI BibTeX RDF
19	Björn Lisper	Verifying Event-Based Timing Constraints by Translation into Presburger Formulae.	FMICS-AVoCS	2017	DBLP DOI BibTeX RDF
19	Alexander Graf-Brill, Holger Hermanns	Model-Based Testing for Asynchronous Systems.	FMICS-AVoCS	2017	DBLP DOI BibTeX RDF
19	Thibaut Balabonski, Pierre Courtieu, Lionel Rieg, Sébastien Tixeuil, Xavier Urbain	Certified Gathering of Oblivious Mobile Robots: Survey of Recent Results and Open Problems.	FMICS-AVoCS	2017	DBLP DOI BibTeX RDF
19	Fabrizio Biondi, Mounir Chadli, Thomas Given-Wilson, Axel Legay	Information Leakage as a Scheduling Resource.	FMICS-AVoCS	2017	DBLP DOI BibTeX RDF
19	Felipe J. Montana, Jun Liu 0015, Tony J. Dodd	Sampling-Based Reactive Motion Planning with Temporal Logic Constraints and Imperfect State Information.	FMICS-AVoCS	2017	DBLP DOI BibTeX RDF
19	Étienne André	A Unified Formalism for Monoprocessor Schedulability Analysis Under Uncertainty.	FMICS-AVoCS	2017	DBLP DOI BibTeX RDF
19	Maurice H. ter Beek, Stefania Gnesi, Alexander Knapp (eds.)	Critical Systems: Formal Methods and Automated Verification - Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, Pisa, Italy, September 26-28, 2016, Proceedings	FMICS-AVoCS	2016	DBLP DOI BibTeX RDF
19	Alessandro Fantechi	Formal Techniques for a Data-Driven Certification of Advanced Railway Signalling Systems.	FMICS-AVoCS	2016	DBLP DOI BibTeX RDF
19	Yu Lu 0001, Alice A. Miller, Ruth Hoffmann, Christopher W. Johnson 0001	Towards the Automated Verification of Weibull Distributions for System Failure Rates.	FMICS-AVoCS	2016	DBLP DOI BibTeX RDF
19	Hadrien Bride, Olga Kouchnarenko, Fabien Peureux, Guillaume Voiron	Workflow Nets Verification: SMT or CLP?	FMICS-AVoCS	2016	DBLP DOI BibTeX RDF
19	Ning Ge 0002, Eric Jenn, Nicolas Breton, Yoann Fonteneau	Formal Verification of a Rover Anti-collision System.	FMICS-AVoCS	2016	DBLP DOI BibTeX RDF
19	Takuro Kutsuna, Yoshinao Ishii	Analyzing Unsatisfiability in Bounded Model Checking Using Max-SMT and Dual Slicing.	FMICS-AVoCS	2016	DBLP DOI BibTeX RDF
19	Mounir Chadli, Jin Hyun Kim, Axel Legay, Louis-Marie Traonouez, Stefan Naujokat, Bernhard Steffen, Kim Guldstrand Larsen	A Model-Based Framework for the Specification and Analysis of Hierarchical Scheduling Systems.	FMICS-AVoCS	2016	DBLP DOI BibTeX RDF
19	Mahmoud Mohsen, Bart Jacobs 0002	One Step Towards Automatic Inference of Formal Specifications Using Automated VeriFast.	FMICS-AVoCS	2016	DBLP DOI BibTeX RDF
19	Somsak Vanit-Anunchai	Application of Coloured Petri Nets in Modelling and Simulating a Railway Signalling System.	FMICS-AVoCS	2016	DBLP DOI BibTeX RDF
19	Christian Dernehl, Norman Hansen, Stefan Kowalewski	Abstract Interpretation of MATLAB Code with Interval Sets.	FMICS-AVoCS	2016	DBLP DOI BibTeX RDF
19	Irina Mariuca Asavoae, Hoang Nga Nguyen, Markus Roggenbach, Siraj Ahmed Shaikh	Utilising $${\mathbb {K}}$$ Semantics for Collusion Detection in Android Applications.	FMICS-AVoCS	2016	DBLP DOI BibTeX RDF
19	Steffen Beringer, Heike Wehrheim	Verification of AUTOSAR Software Architectures with Timed Automata.	FMICS-AVoCS	2016	DBLP DOI BibTeX RDF
19	Jan Peleska 0001, Wen-ling Huang	Model-Based Testing Strategies and Their (In)dependence on Syntactic Model Representations.	FMICS-AVoCS	2016	DBLP DOI BibTeX RDF
19	Axel Habermaier, Alexander Knapp, Johannes Leupolz, Wolfgang Reif	Fault-Aware Modeling and Specification for Efficient Formal Safety Analysis.	FMICS-AVoCS	2016	DBLP DOI BibTeX RDF
19	Richard J. Ormerod	Should critical realism really be critical for OR? A comment on Mingers (2000): the contribution of critical realism as an underpinning philosophy for OR/MS and systems.	J. Oper. Res. Soc.	2002	DBLP DOI BibTeX RDF